| Title:
|
Indiscernibles in the alternative set theory (English) |
| Author:
|
Sochor, Antonín |
| Author:
|
Vencovská, Alena |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
22 |
| Issue:
|
4 |
| Year:
|
1981 |
| Pages:
|
785-798 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03E70 |
| MSC:
|
03H15 |
| MSC:
|
03H99 |
| idZBL:
|
Zbl 0493.03029 |
| idMR:
|
MR647026 |
| . |
| Date available:
|
2008-06-05T21:10:11Z |
| Last updated:
|
2012-04-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/106120 |
| . |
| Reference:
|
[P] J. B. PARIS: On models of arithmetic.in Conference in Mathematical Logic - London '70, LN 255 Springer-Verlag 1972. Zbl 0236.02042, MR 0392552 |
| Reference:
|
[S 1] A. SOCHOR: Metamathematics of the alternative set theory.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 |
| Reference:
|
[S-V 4] A. SOCHOR P. VOPĚNKA: Ultrafliters of sets.ibid., 22 (1981), 689-699. MR 0647017 |
| Reference:
|
[Ve 2] A. VENCOVSKÁ: Constructions of endomorphic universes and endomorphisms.to appear in Comment. Math. Univ. Carolinae. |
| Reference:
|
[V] P. VOPĚNKA: Mathematics in Alternative Set Theory.Teubner-Texte, Leipzig 1979. MR 0581368 |
| Reference:
|
[V 1] P. VOPĚNKA: The lattice of indiscernibility equivalence.Comment. Math. Univ. Carolinae 20 (1979), 631-638. MR 0555179 |
| . |
