Geodesic
Indiscernibles in the alternative set theory
Commentationes Mathematicae Universitatis Carolinae, Tome 22 (1981) no. 4, pp. 785-798 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03E70, 03H15, 03H99 
@article{CMUC_1981_22_4_a13,
     author = {Sochor, Anton{\'\i}n and Vencovsk\'a, Alena},
     title = {Indiscernibles in the alternative set theory},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {785--798},
     year = {1981},
     volume = {22},
     number = {4},
     mrnumber = {647026},
     zbl = {0493.03029},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1981_22_4_a13/}
}
TY  - JOUR
AU  - Sochor, Antonín
AU  - Vencovská, Alena
TI  - Indiscernibles in the alternative set theory
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1981
SP  - 785
EP  - 798
VL  - 22
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/CMUC_1981_22_4_a13/
LA  - en
ID  - CMUC_1981_22_4_a13
ER  - 
%0 Journal Article
%A Sochor, Antonín
%A Vencovská, Alena
%T Indiscernibles in the alternative set theory
%J Commentationes Mathematicae Universitatis Carolinae
%D 1981
%P 785-798
%V 22
%N 4
%U http://geodesic.mathdoc.fr/item/CMUC_1981_22_4_a13/
%G en
%F CMUC_1981_22_4_a13
Sochor, Antonín; Vencovská, Alena. Indiscernibles in the alternative set theory. Commentationes Mathematicae Universitatis Carolinae, Tome 22 (1981) no. 4, pp. 785-798. http://geodesic.mathdoc.fr/item/CMUC_1981_22_4_a13/

[P] J. B. PARIS: On models of arithmetic. in Conference in Mathematical Logic - London '70, LN 255 Springer-Verlag 1972. | MR | Zbl

[S 1] A. SOCHOR: Metamathematics of the alternative set theory. Comment, Math. Univ. Carolinae 20 (1979), 697-722. | MR | Zbl

[S-V 1] A. SOCHOR P. VOPĚNKA: Endomorphic universes and their standard extensions. Comment. Math. Univ. Carolinae 20 (1979), 605-629. | MR

[S-V 2] A. SOCHOR P. VOPĚNKA: Revealments. Comment. Math. Univ. Carolinae 21 (1980), 97-118. | MR

[S-V 4] A. SOCHOR P. VOPĚNKA: Ultrafliters of sets. ibid., 22 (1981), 689-699. | MR

[Ve 2] A. VENCOVSKÁ: Constructions of endomorphic universes and endomorphisms. to appear in Comment. Math. Univ. Carolinae.

[V] P. VOPĚNKA: Mathematics in Alternative Set Theory. Teubner-Texte, Leipzig 1979. | MR

[V 1] P. VOPĚNKA: The lattice of indiscernibility equivalence. Comment. Math. Univ. Carolinae 20 (1979), 631-638. | MR