Geodesic
Order with successors is not interprétable in RCF
Fundamenta Mathematicae, Tome 143 (1993) no. 3, pp. 281-285

Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences

Using the monotonicity theorem of L. van den Dries for RCF-definable real functions, and a further result of that author about RCF-definable equivalence relations on ℝ, we show that the theory of order with successors is not interpretable in the theory RCF. This confirms a conjecture by J. Mycielski, P. Pudlák and A. Stern.
DOI : 10.4064/fm-143-3-281-285

S. Świerczkowski 1

1 
@article{10_4064_fm_143_3_281_285,
     author = {S. \'Swierczkowski},
     title = {Order with successors is not interpr\'etable in {RCF}},
     journal = {Fundamenta Mathematicae},
     pages = {281--285},
     publisher = {mathdoc},
     volume = {143},
     number = {3},
     year = {1993},
     doi = {10.4064/fm-143-3-281-285},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-143-3-281-285/}
}
TY  - JOUR
AU  - S. Świerczkowski
TI  - Order with successors is not interprétable in RCF
JO  - Fundamenta Mathematicae
PY  - 1993
SP  - 281
EP  - 285
VL  - 143
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm-143-3-281-285/
DO  - 10.4064/fm-143-3-281-285
LA  - en
ID  - 10_4064_fm_143_3_281_285
ER  - 
%0 Journal Article
%A S. Świerczkowski
%T Order with successors is not interprétable in RCF
%J Fundamenta Mathematicae
%D 1993
%P 281-285
%V 143
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-143-3-281-285/
%R 10.4064/fm-143-3-281-285
%G en
%F 10_4064_fm_143_3_281_285
S. Świerczkowski. Order with successors is not interprétable in RCF. Fundamenta Mathematicae, Tome 143 (1993) no. 3, pp. 281-285. doi: 10.4064/fm-143-3-281-285

Cité par Sources :