Geodesic
An elimination of the predicate “to be a standard member” in nonstandard models of arithmetic
Commentationes Mathematicae Universitatis Carolinae, Tome 23 (1982) no. 4, pp. 785-803.

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

Classification : 03E70, 03H05, 03H10, 03H15 
@article{CMUC_1982__23_4_a14,
     author = {\v{C}uda, Karel},
     title = {An elimination of the predicate {\textquotedblleft}to be a standard member{\textquotedblright} in nonstandard models of arithmetic},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {785--803},
     publisher = {mathdoc},
     volume = {23},
     number = {4},
     year = {1982},
     mrnumber = {687572},
     zbl = {0522.03059},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1982__23_4_a14/}
}
TY  - JOUR
AU  - Čuda, Karel
TI  - An elimination of the predicate “to be a standard member” in nonstandard models of arithmetic
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1982
SP  - 785
EP  - 803
VL  - 23
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CMUC_1982__23_4_a14/
LA  - en
ID  - CMUC_1982__23_4_a14
ER  - 
%0 Journal Article
%A Čuda, Karel
%T An elimination of the predicate “to be a standard member” in nonstandard models of arithmetic
%J Commentationes Mathematicae Universitatis Carolinae
%D 1982
%P 785-803
%V 23
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CMUC_1982__23_4_a14/
%G en
%F CMUC_1982__23_4_a14
Čuda, Karel. An elimination of the predicate “to be a standard member” in nonstandard models of arithmetic. Commentationes Mathematicae Universitatis Carolinae, Tome 23 (1982) no. 4, pp. 785-803. http://geodesic.mathdoc.fr/item/CMUC_1982__23_4_a14/