Metamathematics of the alternative set theory. III.
Sochor, Antonín
Commentationes Mathematicae Universitatis Carolinae, Tome 024 (1983), p. 137-154 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1983-01-01
Classification:  03E70,  03H05,  03H99 
@article{106212,
     author = {Anton\'\i n Sochor},
     title = {Metamathematics of the alternative set theory. III.},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {024},
     year = {1983},
     pages = {137-154},
     zbl = {0531.03031},
     mrnumber = {703933},
     language = {en},
     url = {http://dml.mathdoc.fr/item/106212}
}

Sochor, Antonín. Metamathematics of the alternative set theory. III.. Commentationes Mathematicae Universitatis Carolinae, Tome 024 (1983) pp. 137-154. http://gdmltest.u-ga.fr/item/106212/

J. Barwise J. Schlipf An introduction to recursively saturated and resplendent models, JSL 41 (1976), 531-536. (1976) | MR 0403952

M. Raškovič On extendability of models of $ZF_{Fin}$ set theory to the models of Alternative set theory, to appear.

A. Sochor Metamathematics of the alternative set theory II, Comment. Math. Univ. Carolinae 23 (1982), 55-79. (1982) | MR 0653351 | Zbl 0493.03030

A. Sochor P. Vopěnka The axiom of reflection, Comment. Math. Univ. Carolinae 22 (1981), 87-111. (1981) | MR 0609938

P. Vopěnka The lattice of indiscernibility equivalences, Cooment. Math. Univ. Carolinae 20 (1979), 631-638. (1979) | MR 0555179

A. Vencovská Independence of the axiom of choice in the alternative set theory, to appear.

A. Sochor Metamathematics of the alternative set theory I, Comment. Math. Univ. Carolinae 20 (1979), 697-722. (1979) | MR 0555184 | Zbl 0433.03028