| Title:
|
Model-theoretical constructions in AST. I. (English) |
| Author:
|
Čuda, Karel |
| Author:
|
Vojtášková-Kussová, Blanka |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
27 |
| Issue:
|
3 |
| Year:
|
1986 |
| Pages:
|
581-604 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03C30 |
| MSC:
|
03C50 |
| MSC:
|
03E70 |
| idZBL:
|
Zbl 0617.03036 |
| idMR:
|
MR873630 |
| . |
| Date available:
|
2008-06-05T21:26:11Z |
| Last updated:
|
2012-04-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/106478 |
| . |
| Reference:
|
[V] P. VOPĚNKA: Mathematics in the Alternative Set Theory.Teubner-Texte, Leipzig 1979. MR 0581368 |
| Reference:
|
[Č-Vo] K. ČUDA B. VOJTÁŠK0VÁ: Models of AST without choice.Comment. Math. Univ. Carolinae 25 (1984), 555-589. MR 0782009 |
| Reference:
|
[S1] A. SOCHOR: Metamathematics of the alternative set theory I.Comment. Math. Univ. Carolinae 20 (1979), 697-722. Zbl 0433.03028, MR 0555184 |
| Reference:
|
[S2] A. SOCHOR: Metamathematics of the alternative set theory II.Comment. Math. Univ. Carolinae 23 (1982), 55-79. Zbl 0493.03030, MR 0653351 |
| Reference:
|
[CH-K] C. C. CHANG H. J. KEISLER: Model theory.vol. 73, North-Holland Publ. Company, 1973. MR 0409165 |
| . |
