An elimination of the predicate “to be a standard member” in nonstandard models of arithmetic
Commentationes Mathematicae Universitatis Carolinae (1982)
- Volume: 023, Issue: 4, page 785-803
- ISSN: 0010-2628
Access Full Article
topHow to cite
topČuda, Karel. "An elimination of the predicate “to be a standard member” in nonstandard models of arithmetic." Commentationes Mathematicae Universitatis Carolinae 023.4 (1982): 785-803. <http://eudml.org/doc/17222>.
@article{Čuda1982,
author = {Čuda, Karel},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {nonstandard model of Peano arithmetic; nonstandard model of ZFfin; external; internal},
language = {eng},
number = {4},
pages = {785-803},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {An elimination of the predicate “to be a standard member” in nonstandard models of arithmetic},
url = {http://eudml.org/doc/17222},
volume = {023},
year = {1982},
}
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
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 023
IS - 4
SP - 785
EP - 803
LA - eng
KW - nonstandard model of Peano arithmetic; nonstandard model of ZFfin; external; internal
UR - http://eudml.org/doc/17222
ER -
References
top- K. ČUDA, The relation between procedures and the infinitely small in nonstandard methods, Set Theory and Hierarchy Theory V, Lecture Notes in Mathematics 619. MR0505469
- K. ČUDA, An elimination of infinitely small quantities and infinitely large numbers, (within the framework of AST), Comment. Math. Univ. Carolinae 21 (1980). 433-445. (1980) MR0590124
- P. VOPĚNKA, Mathematics in the alternative set theory, Teubner-Texte Leipzig 1979. (1979) MR0581368
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.