Uniformization in Superstructures Over Some Extensions of R

作者：Aleksandrova S A^*

来源：Algebra and Logic, 2015, 54(4): 273-278.

DOI：10.1007/s10469-015-9347-4

• hereditarily finite list superstructure over real exponential field
• uniformization theorem

The uniformization theorem for I -predicates pound in a hereditarily finite superstructure over the real exponential field proved in [1] is generalized to the case of an arbitrary I - pound predicate P aS dagger a"i(a"e (exp) ) xa"i(a"e (exp) ).

• 出版日期2015-9