A nonstandard treatment with quantities
Commentationes Mathematicae Universitatis Carolinae (1986)
- Volume: 027, Issue: 3, page 437-447
- ISSN: 0010-2628
Access Full Article
topHow to cite
topReferences
top- P.VOPĚNKA, Mathematics in the Alternative Set Theory, Teubner-Texte, Leipzig 1979. (1979) Zbl0499.03042MR0581368
- B. BALCAR, Teorie polomnožin, (Theory of Semisets), CSc-thesis, Prague 1973. (1973)
- K. ČUDA, A Nonstandard Set Theory, Comment. Math. Univ. Carolinae 17 (1976), 647-663. (1976) MR0441731
- K. ČUDA, Nonstandard models of arithmetic as an alternative basis for continuum considerations, Comment. Math. Univ. Carolinae 24 (1983),415-430. (1983) MR0730137
- K. ČUDA, The consistency of the measurability of projective semisets, Comment. Math. Univ. Carolinae 27 (1986), 103-121. (1986) MR0843424
- K. ČUDA P. VOPĚNKA, Real and imaginary classes in the alternative set theory, Comment. Math. Univ. Carolinae 20 (1979), 639-653. (1979) MR0555180
- E. NELSON, Internal set theory: A new approach to nonstandard analysis, BAMS vol. 83 (1977), 1165-1198. (1977) Zbl0373.02040MR0469763
- P. PUDLÁK A. SOCHOR, Models of the alternative set theory, Journ. Sym. Log. 49 (1984), 570-585. (1984) MR0745386
- P. VOPĚNKA P. HÁJEK, The Theory of Semisets, North-Holland Publ. Comp. 1972. (1972) MR0444473
- A. SOCHOR, Metamathematics of the alternative set theory I, Comment. Math. Univ. Carolinae 20 (1979),697-722. (1979) Zbl0433.03028MR0555184