Geodesic
Metamathematics of the alternative set theory. III
Commentationes Mathematicae Universitatis Carolinae, Tome 24 (1983) no. 1, pp. 137-154 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03E70, 03H05, 03H99 
@article{CMUC_1983_24_1_a12,
     author = {Sochor, Anton{\'\i}n},
     title = {Metamathematics of the alternative set theory. {III}},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {137--154},
     year = {1983},
     volume = {24},
     number = {1},
     mrnumber = {703933},
     zbl = {0531.03031},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1983_24_1_a12/}
}
TY  - JOUR
AU  - Sochor, Antonín
TI  - Metamathematics of the alternative set theory. III
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1983
SP  - 137
EP  - 154
VL  - 24
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/CMUC_1983_24_1_a12/
LA  - en
ID  - CMUC_1983_24_1_a12
ER  - 
%0 Journal Article
%A Sochor, Antonín
%T Metamathematics of the alternative set theory. III
%J Commentationes Mathematicae Universitatis Carolinae
%D 1983
%P 137-154
%V 24
%N 1
%U http://geodesic.mathdoc.fr/item/CMUC_1983_24_1_a12/
%G en
%F CMUC_1983_24_1_a12
Sochor, Antonín. Metamathematics of the alternative set theory. III. Commentationes Mathematicae Universitatis Carolinae, Tome 24 (1983) no. 1, pp. 137-154. http://geodesic.mathdoc.fr/item/CMUC_1983_24_1_a12/

[B-S] J. BARWISE J. SCHLIPF: An introduction to recursively saturated and resplendent models. JSL 41 (1976), 531-536. | MR

[Ra] M. RAŠKOVIČ: On extendability of models of $ZF_{Fin}$ set theory to the models of Alternative set theory. to appear.

[S 2] A. SOCHOR: Metamathematics of the alternative set theory II. Comment. Math. Univ. Carolinae 23 (1982), 55-79. | MR | Zbl

[S-V 3] A. SOCHOR P. VOPĚNKA: The axiom of reflection. Comment. Math. Univ. Carolinae 22 (1981), 87-111. | MR

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

[Ve 3] A. VENCOVSKÁ: Independence of the axiom of choice in the alternative set theory. to appear.

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