| Title:
|
The axiom of reflection (English) |
| Author:
|
Sochor, Antonín |
| Author:
|
Vopěnka, Petr |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
22 |
| Issue:
|
1 |
| Year:
|
1981 |
| Pages:
|
87-111 |
| . |
| Category:
|
math |
| . |
| MSC:
|
02H13 |
| MSC:
|
02H20 |
| MSC:
|
02K10 |
| MSC:
|
02K99 |
| MSC:
|
03C20 |
| MSC:
|
03E65 |
| MSC:
|
03E70 |
| MSC:
|
03H20 |
| MSC:
|
03H99 |
| idZBL:
|
Zbl 0454.03027 |
| idMR:
|
MR609938 |
| . |
| Date available:
|
2008-06-05T21:07:12Z |
| Last updated:
|
2012-04-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/106055 |
| . |
| Reference:
|
[V] P. VOPĚNKA: Mathematics in the alternative set theory.Teubner-Texte, Leipzig 1979. MR 0581368 |
| Reference:
|
[S 1] A. SOCHOR: Metamathematics of the alternative set theory, I.Comment. Math. Univ. Carolinae 20 (1979), 697-722. Zbl 0433.03028, MR 0555184 |
| Reference:
|
[S-V 1] A. SOCHOR P. VOPĚNKA: Endomorphic universes and their standard extensions.Comment. Math. Univ. Carolinae 20 (1979), 605-629. MR 0555178 |
| Reference:
|
[S-V 2] A. SOCHOR P. VOPĚNKA: Revealments.Comment. Math. Univ. Carolinae 21 (1980), 97-118. MR 0566243 |
| . |
