Geodesic
A contribution to relations between Gödelian and Zermelian set theories
Časopis pro pěstování matematiky, Tome 93 (1968) no. 4, pp. 429-436

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

DOI MR   Zbl

DOI : 10.21136/CPM.1968.117635
Classification : 02-60 
Renc, Zdeněk. A contribution to relations between Gödelian and Zermelian set theories. Časopis pro pěstování matematiky, Tome 93 (1968) no. 4, pp. 429-436. doi: 10.21136/CPM.1968.117635
@article{10_21136_CPM_1968_117635,
     author = {Renc, Zden\v{e}k},
     title = {A contribution to relations between {G\"odelian} and {Zermelian} set theories},
     journal = {\v{C}asopis pro p\v{e}stov\'an{\'\i} matematiky},
     pages = {429--436},
     year = {1968},
     volume = {93},
     number = {4},
     doi = {10.21136/CPM.1968.117635},
     mrnumber = {0244029},
     zbl = {0165.31401},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/CPM.1968.117635/}
}
TY  - JOUR
AU  - Renc, Zdeněk
TI  - A contribution to relations between Gödelian and Zermelian set theories
JO  - Časopis pro pěstování matematiky
PY  - 1968
SP  - 429
EP  - 436
VL  - 93
IS  - 4
UR  - http://geodesic.mathdoc.fr/articles/10.21136/CPM.1968.117635/
DO  - 10.21136/CPM.1968.117635
LA  - en
ID  - 10_21136_CPM_1968_117635
ER  - 
%0 Journal Article
%A Renc, Zdeněk
%T A contribution to relations between Gödelian and Zermelian set theories
%J Časopis pro pěstování matematiky
%D 1968
%P 429-436
%V 93
%N 4
%U http://geodesic.mathdoc.fr/articles/10.21136/CPM.1968.117635/
%R 10.21136/CPM.1968.117635
%G en
%F 10_21136_CPM_1968_117635

[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.

[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

[3] Gödel K.: The Consistency of the Axiom of Choice etc. Princeton Univ. Press, 1940.

[4] Hájek P.: Syntactic Models of Axiomatic Theories. Bull. Acad. Sci. Polon. XIII, 4 (1965), 273-278. | MR

[5] Mostowski A.: An Undecidable Arithmetical Statement. Fund. Math. XXXVI (1949). | MR | Zbl

[6] Mostowski A.: Some Impredicative Defìnitions in the Axiomatic Set Theory. Fund. Math. XXXVII (1950), 111-124. | MR | Zbl

[7] Novak L. I.: A Construction for Consistent Systems. Fund. Math. XXXVII (1950), 87-110.

[8] Rosser J. B., Wang Hao: Non-standard Models for Formal Logics. Journ. of Symb. Logics. 15 (1950), 113-129. | MR | Zbl

[9] Shoenfield J. R.: A Relative Consistency Proof. Journ. of Symb. Logic. 19 (1954), 21-28. | MR | Zbl

[10] Boneнкa П.: Moдeли тeopии мнoжecтв. Zeitschr. f. mat. Logik, 8 (1962), 281 - 292.

[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.

Cité par Sources :