@article{106241, author = {Karel \v Cuda}, title = {Nonstandard models of arithmetic as an alternative basis for continuum considerations}, journal = {Commentationes Mathematicae Universitatis Carolinae}, volume = {024}, year = {1983}, pages = {415-430}, zbl = {0531.03045}, mrnumber = {730137}, language = {en}, url = {http://dml.mathdoc.fr/item/106241} }
Čuda, Karel. Nonstandard models of arithmetic as an alternative basis for continuum considerations. Commentationes Mathematicae Universitatis Carolinae, Tome 024 (1983) pp. 415-430. http://gdmltest.u-ga.fr/item/106241/
Real and imaginary classes in the alternative set theory, Comment. Math. Univ. Carolinae 20 (1979), 639-653. (1979) | MR 0555180
Elementary Calculus: An Approach Using Infinitesimals, Prindle, Weber Schmidt, Boston, Massachusetts.
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) | MR 0491157
Diagonal methods and strong cuts in models of arithmetic, (preprint). | MR 0519812 | Zbl 0458.03021
Mathematics in the alternative set theory, Teubner-Texte, Leipzig, 1979. (1979) | MR 0581368