[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 0441731
[Č 3] K. ČUDA:
Nonstandard models of arithmetic as an alternative basis for continuum considerations. Comment. Math. Univ. Carolinae 24 (1983),415-430.
MR 0730137
[Č 5] K. ČUDA:
The consistency of the measurability of projective semisets. Comment. Math. Univ. Carolinae 27 (1986), 103-121.
MR 0843424
[Č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 0555180
[N] E. NELSON:
Internal set theory: A new approach to nonstandard analysis. BAMS vol. 83 (1977), 1165-1198.
MR 0469763 |
Zbl 0373.02040
[PS] P. PUDLÁK A. SOCHOR:
Models of the alternative set theory. Journ. Sym. Log. 49 (1984), 570-585.
MR 0745386
[VH] P. VOPĚNKA P. HÁJEK:
The Theory of Semisets. North-Holland Publ. Comp. 1972.
MR 0444473
[S 1] A. SOCHOR:
Metamathematics of the alternative set theory I. Comment. Math. Univ. Carolinae 20 (1979),697-722.
MR 0555184 |
Zbl 0433.03028