Metamathematics of the alternative set theory. III.

 Access to full text

 Full (PDF)

1. J. BARWISE J. SCHLIPF, An introduction to recursively saturated and resplendent models, JSL 41 (1976), 531-536. (1976) MR0403952
2. M. RAŠKOVIČ, On extendability of models of $Z{F}_{Fin}$ set theory to the models of Alternative set theory, to appear. 
3. A. SOCHOR, Metamathematics of the alternative set theory II, Comment. Math. Univ. Carolinae 23 (1982), 55-79. (1982) Zbl0493.03030MR0653351
4. A. SOCHOR P. VOPĚNKA, The axiom of reflection, Comment. Math. Univ. Carolinae 22 (1981), 87-111. (1981) MR0609938
5. P. VOPĚNKA, The lattice of indiscernibility equivalences, Cooment. Math. Univ. Carolinae 20 (1979), 631-638. (1979) MR0555179
6. A. VENCOVSKÁ, Independence of the axiom of choice in the alternative set theory, to appear. 
7. A. SOCHOR, Metamathematics of the alternative set theory I, Comment. Math. Univ. Carolinae 20 (1979), 697-722. (1979) Zbl0433.03028MR0555184

1. Michal Resl, Antonín Sochor, Provability in the alternative set theory
2. Nando Prati, Alternative set theory with elementary classes
3. Antonín Sochor, Constructibility and shiftings of view
4. Antonín Sochor, Complexity of the axioms of the alternative set theory