Indiscernibles in the alternative set theory
Sochor, Antonín ; Vencovská, Alena
Commentationes Mathematicae Universitatis Carolinae, Tome 022 (1981), p. 785-798 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1981-01-01
Classification:  03E70,  03H15,  03H99 
@article{106120,
     author = {Anton\'\i n Sochor and Alena Vencovsk\'a},
     title = {Indiscernibles in the alternative set theory},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {022},
     year = {1981},
     pages = {785-798},
     zbl = {0493.03029},
     mrnumber = {647026},
     language = {en},
     url = {http://dml.mathdoc.fr/item/106120}
}

Sochor, Antonín; Vencovská, Alena. Indiscernibles in the alternative set theory. Commentationes Mathematicae Universitatis Carolinae, Tome 022 (1981) pp. 785-798. http://gdmltest.u-ga.fr/item/106120/

J. B. Paris On models of arithmetic, in Conference in Mathematical Logic - London '70, LN 255 Springer-Verlag 1972. (1972) | MR 0392552 | Zbl 0236.02042

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

A. Sochor P. Vopěnka Endomorphic universes and their standard extensions, Comment. Math. Univ. Carolinae 20 (1979), 605-629. (1979) | MR 0555178

A. Sochor P. Vopěnka Revealments, Comment. Math. Univ. Carolinae 21 (1980), 97-118. (1980) | MR 0566243

A. Sochor P. Vopěnka Ultrafliters of sets, ibid., 22 (1981), 689-699. (1981) | MR 0647017

A. Vencovská Constructions of endomorphic universes and endomorphisms, to appear in Comment. Math. Univ. Carolinae.

P. Vopěnka Mathematics in Alternative Set Theory, Teubner-Texte, Leipzig 1979. (1979) | MR 0581368

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