@article{CMUC_1986_27_3_a2,
author = {\v{C}uda, Karel},
title = {A nonstandard treatment with quantities},
journal = {Commentationes Mathematicae Universitatis Carolinae},
pages = {437--447},
year = {1986},
volume = {27},
number = {3},
mrnumber = {873618},
zbl = {0617.03035},
language = {en},
url = {http://geodesic.mathdoc.fr/item/CMUC_1986_27_3_a2/}
}
Čuda, Karel. A nonstandard treatment with quantities. Commentationes Mathematicae Universitatis Carolinae, Tome 27 (1986) no. 3, pp. 437-447. http://geodesic.mathdoc.fr/item/CMUC_1986_27_3_a2/
[V] P.VOPĚNKA: Mathematics in the Alternative Set Theory. Teubner-Texte, Leipzig 1979. | MR | Zbl
[BB] B. BALCAR: Teorie polomnožin. (Theory of Semisets), CSc-thesis, Prague 1973.
[Č] K. ČUDA: A Nonstandard Set Theory. Comment. Math. Univ. Carolinae 17 (1976), 647-663. | MR
[Č 3] K. ČUDA: Nonstandard models of arithmetic as an alternative basis for continuum considerations. Comment. Math. Univ. Carolinae 24 (1983),415-430. | MR
[Č 5] K. ČUDA: The consistency of the measurability of projective semisets. Comment. Math. Univ. Carolinae 27 (1986), 103-121. | MR
[ČV 1] K. ČUDA P. VOPĚNKA: Real and imaginary classes in the alternative set theory. Comment. Math. Univ. Carolinae 20 (1979), 639-653. | MR
[N] E. NELSON: Internal set theory: A new approach to nonstandard analysis. BAMS vol. 83 (1977), 1165-1198. | MR | Zbl
[PS] P. PUDLÁK A. SOCHOR: Models of the alternative set theory. Journ. Sym. Log. 49 (1984), 570-585. | MR
[VH] P. VOPĚNKA P. HÁJEK: The Theory of Semisets. North-Holland Publ. Comp. 1972. | MR
[S 1] A. SOCHOR: Metamathematics of the alternative set theory I. Comment. Math. Univ. Carolinae 20 (1979),697-722. | MR | Zbl