| Title:
|
A contribution to relations between Gödelian and Zermelian set theories (English) |
| Author:
|
Renc, Zdeněk |
| Language:
|
English |
| Journal:
|
Časopis pro pěstování matematiky |
| ISSN:
|
0528-2195 |
| Volume:
|
93 |
| Issue:
|
4 |
| Year:
|
1968 |
| Pages:
|
429-436 |
| . |
| Category:
|
math |
| . |
| MSC:
|
02-60 |
| idZBL:
|
Zbl 0165.31401 |
| idMR:
|
MR0244029 |
| DOI:
|
10.21136/CPM.1968.117635 |
| . |
| Date available:
|
2009-09-23T08:02:30Z |
| Last updated:
|
2020-07-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/117635 |
| . |
| Reference:
|
[I] Б. Бaлцap, T. Ex: Moдeли тeopии мнoжecтв oбpaзoвaнныe coвepшeнным oтнoшeниeм.Čas. pro pěst. mat., 90 (1965), 430-440. |
| Reference:
|
[2] Bukovský L., Hájek P.: On the Standardness and Regularity of Normal Syntactic Models of the Set Theory.Bull. Acad. Sci. Polon., XIV, 3 (1966), 101-105. MR 0201280 |
| Reference:
|
[3] Gödel K.: The Consistency of the Axiom of Choice etc.Princeton Univ. Press, 1940. |
| Reference:
|
[4] Hájek P.: Syntactic Models of Axiomatic Theories.Bull. Acad. Sci. Polon. XIII, 4 (1965), 273-278. MR 0184857 |
| Reference:
|
[5] Mostowski A.: An Undecidable Arithmetical Statement.Fund. Math. XXXVI (1949). Zbl 0039.00802, MR 0035721 |
| Reference:
|
[6] Mostowski A.: Some Impredicative Defìnitions in the Axiomatic Set Theory.Fund. Math. XXXVII (1950), 111-124. Zbl 0039.27601, MR 0041083 |
| Reference:
|
[7] Novak L. I.: A Construction for Consistent Systems.Fund. Math. XXXVII (1950), 87-110. |
| Reference:
|
[8] Rosser J. B., Wang Hao: Non-standard Models for Formal Logics.Journ. of Symb. Logics. 15 (1950), 113-129. Zbl 0037.29502, MR 0038307 |
| Reference:
|
[9] Shoenfield J. R.: A Relative Consistency Proof.Journ. of Symb. Logic. 19 (1954), 21-28. Zbl 0055.00404, MR 0060433 |
| Reference:
|
[10] Boneнкa П.: Moдeли тeopии мнoжecтв.Zeitschr. f. mat. Logik, 8 (1962), 281 - 292. |
| Reference:
|
[II] Vopěnka P.: A New Proof of the Gödeľs Result on Non-provability of Consistency.Bull. Acad. Sci. Polon. ХIV, 3 (1966), 111-116. |
| . |
