|
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.
Received: 10.09.2014
Citation:
S. A. Aleksandrova, “Uniformization in superstructures over some extensions of $\mathbb R$”, Algebra Logika, 54:4 (2015), 431–438; Algebra and Logic, 54:4 (2015), 273–278
Linking options:
https://www.mathnet.ru/eng/al702 https://www.mathnet.ru/eng/al/v54/i4/p431
|
Statistics & downloads: |
Abstract page: | 188 | Full-text PDF : | 38 | References: | 38 | First page: | 15 |
|