Uniformization in superstructures over some extensions of $\mathbb R$

S. A. Aleksandrova

Novosibirsk State University, ul. Pirogova 2, Novosibirsk, 630090, Russia

Abstract: The uniformization theorem for $\Sigma$-predicates in a hereditarily finite superstructure over the real exponential field proved in [Algebra i Logika, 53, No. 1, 3–14 (2014)] is generalized to the case of an arbitrary $\Sigma$-predicate $P\subseteq\mathbb{HW(R}_{exp})\times\mathbb{HW(R}_{exp})$.

Keywords: hereditarily finite list superstructure over real exponential field, uniformization theorem.

UDC: 510.5

Received: 10.09.2014

DOI: 10.17377/alglog.2015.54.401

 English version: Algebra and Logic, 2015, 54:4, 273–278

Bibliographic databases:

• 
• 
•