The uniformization problem for $\Sigma$-predicates in a hereditarily finite list superstructure over the real exponential field
Algebra i logika, Tome 53 (2014) no. 1, pp. 3-14
Voir la notice de l'article provenant de la source Math-Net.Ru
We prove a uniformization theorem for $\Sigma$-predicates and show that there exists a universal function for $\Sigma$-definable functions in a hereditarily finite list superstructure over the real exponential field.
Keywords:
$\Sigma$-definability, uniformization theorem, hereditarily finite list superstructure.
@article{AL_2014_53_1_a0,
author = {S. A. Aleksandrova},
title = {The uniformization problem for $\Sigma$-predicates in a~hereditarily finite list superstructure over the real exponential field},
journal = {Algebra i logika},
pages = {3--14},
publisher = {mathdoc},
volume = {53},
number = {1},
year = {2014},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_2014_53_1_a0/}
}
TY - JOUR AU - S. A. Aleksandrova TI - The uniformization problem for $\Sigma$-predicates in a hereditarily finite list superstructure over the real exponential field JO - Algebra i logika PY - 2014 SP - 3 EP - 14 VL - 53 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_2014_53_1_a0/ LA - ru ID - AL_2014_53_1_a0 ER -
%0 Journal Article %A S. A. Aleksandrova %T The uniformization problem for $\Sigma$-predicates in a hereditarily finite list superstructure over the real exponential field %J Algebra i logika %D 2014 %P 3-14 %V 53 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/AL_2014_53_1_a0/ %G ru %F AL_2014_53_1_a0
S. A. Aleksandrova. The uniformization problem for $\Sigma$-predicates in a hereditarily finite list superstructure over the real exponential field. Algebra i logika, Tome 53 (2014) no. 1, pp. 3-14. http://geodesic.mathdoc.fr/item/AL_2014_53_1_a0/