Geodesic
The axiom of reflection
Commentationes Mathematicae Universitatis Carolinae, Tome 22 (1981) no. 1, pp. 87-111 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 02H13, 02H20, 02K10, 02K99, 03C20, 03E65, 03E70, 03H20, 03H99 
@article{CMUC_1981_22_1_a6,
     author = {Sochor, Anton{\'\i}n and Vop\v{e}nka, Petr},
     title = {The axiom of reflection},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {87--111},
     year = {1981},
     volume = {22},
     number = {1},
     mrnumber = {609938},
     zbl = {0454.03027},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1981_22_1_a6/}
}
TY  - JOUR
AU  - Sochor, Antonín
AU  - Vopěnka, Petr
TI  - The axiom of reflection
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1981
SP  - 87
EP  - 111
VL  - 22
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/CMUC_1981_22_1_a6/
LA  - en
ID  - CMUC_1981_22_1_a6
ER  - 
%0 Journal Article
%A Sochor, Antonín
%A Vopěnka, Petr
%T The axiom of reflection
%J Commentationes Mathematicae Universitatis Carolinae
%D 1981
%P 87-111
%V 22
%N 1
%U http://geodesic.mathdoc.fr/item/CMUC_1981_22_1_a6/
%G en
%F CMUC_1981_22_1_a6
Sochor, Antonín; Vopěnka, Petr. The axiom of reflection. Commentationes Mathematicae Universitatis Carolinae, Tome 22 (1981) no. 1, pp. 87-111. http://geodesic.mathdoc.fr/item/CMUC_1981_22_1_a6/

[V] P. VOPĚNKA: Mathematics in the alternative set theory. Teubner-Texte, Leipzig 1979. | MR

[S 1] A. SOCHOR: Metamathematics of the alternative set theory, I. 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