| Title:
|
Metamathematics of the alternative set theory. III. (English) |
| Author:
|
Sochor, Antonín |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
24 |
| Issue:
|
1 |
| Year:
|
1983 |
| Pages:
|
137-154 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03E70 |
| MSC:
|
03H05 |
| MSC:
|
03H99 |
| idZBL:
|
Zbl 0531.03031 |
| idMR:
|
MR703933 |
| . |
| Date available:
|
2008-06-05T21:14:17Z |
| Last updated:
|
2012-04-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/106212 |
| . |
| Related article:
|
http://dml.cz/handle/10338.dmlcz/105962 |
| Related article:
|
http://dml.cz/handle/10338.dmlcz/106132 |
| . |
| Reference:
|
[B-S] J. BARWISE J. SCHLIPF: An introduction to recursively saturated and resplendent models.JSL 41 (1976), 531-536. MR 0403952 |
| Reference:
|
[Ra] M. RAŠKOVIČ: On extendability of models of $ZF_{Fin}$ set theory to the models of Alternative set theory.to appear. |
| Reference:
|
[S 2] A. SOCHOR: Metamathematics of the alternative set theory II.Comment. Math. Univ. Carolinae 23 (1982), 55-79. Zbl 0493.03030, MR 0653351 |
| Reference:
|
[S-V 3] A. SOCHOR P. VOPĚNKA: The axiom of reflection.Comment. Math. Univ. Carolinae 22 (1981), 87-111. MR 0609938 |
| Reference:
|
[V 1] P. VOPĚNKA: The lattice of indiscernibility equivalences.Cooment. Math. Univ. Carolinae 20 (1979), 631-638. MR 0555179 |
| Reference:
|
[Ve 3] A. VENCOVSKÁ: Independence of the axiom of choice in the alternative set theory.to appear. |
| 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 |
| . |
