Nonstandard models of arithmetic as an alternative basis for continuum considerations
Commentationes Mathematicae Universitatis Carolinae (1983)
- Volume: 024, Issue: 3, page 415-430
- ISSN: 0010-2628
Access Full Article
topHow to cite
topČuda, Karel. "Nonstandard models of arithmetic as an alternative basis for continuum considerations." Commentationes Mathematicae Universitatis Carolinae 024.3 (1983): 415-430. <http://eudml.org/doc/17263>.
@article{Čuda1983,
author = {Čuda, Karel},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {nonstandard model of Peano arithmetic; alternative set theory; strong cut; indiscernibility relation; prolongation},
language = {eng},
number = {3},
pages = {415-430},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Nonstandard models of arithmetic as an alternative basis for continuum considerations},
url = {http://eudml.org/doc/17263},
volume = {024},
year = {1983},
}
TY - JOUR
AU - Čuda, Karel
TI - Nonstandard models of arithmetic as an alternative basis for continuum considerations
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1983
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 024
IS - 3
SP - 415
EP - 430
LA - eng
KW - nonstandard model of Peano arithmetic; alternative set theory; strong cut; indiscernibility relation; prolongation
UR - http://eudml.org/doc/17263
ER -
References
top- K. ČUBA P. VOPĚNKA, Real and imaginary classes in the alternative set theory, Comment. Math. Univ. Carolinae 20 (1979), 639-653. (1979) MR0555180
- H. J. KEISLER, Elementary Calculus: An Approach Using Infinitesimals, Prindle, Weber Schmidt, Boston, Massachusetts.
- L. KIRBY J. PARIS, Initital segments of models of Peano's axioms, Set Theory and Hierarchy Theory V, Bierutowice, Poland 1976, Lect. Notes in Math. 619, 211-226. (1976) MR0491157
- K. Mc ALOON, Diagonal methods and strong cuts in models of arithmetic, (preprint). Zbl0458.03021MR0519812
- 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.