Provability in the alternative set theory
Resl, Michal ; Sochor, Antonín
Commentationes Mathematicae Universitatis Carolinae, Tome 022 (1981), p. 655-660 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1981-01-01
Classification:  03E70,  03F99,  03H99 
@article{106108,
     author = {Michal Resl and Anton\'\i n Sochor},
     title = {Provability in the alternative set theory},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {022},
     year = {1981},
     pages = {655-660},
     zbl = {0493.03027},
     mrnumber = {647014},
     language = {en},
     url = {http://dml.mathdoc.fr/item/106108}
}

Resl, Michal; Sochor, Antonín. Provability in the alternative set theory. Commentationes Mathematicae Universitatis Carolinae, Tome 022 (1981) pp. 655-660. http://gdmltest.u-ga.fr/item/106108/

M. Resl On models in the alternative set theory, Comment. Math. Univ. Carolinae 20 (1979), 723-736. (1979) | MR 0555185 | Zbl 0433.03032

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

A. Sochor Metamathematica of the alternative set theory III, to appear in the Comment. Math. Univ. Carolinae. | MR 0703933

P. Vopěnka Mathematics in the alternative set theory, Teubner-Texte, Leipzig 1979. (1979) | MR 0581368

P. Vopěnka P. Hájek The Theory of Semisets, North-Holland, Amsterdam and Academia, Prague, 1972. (1972) | MR 0444473