The lattice of bi-numerations of arithmetic. II.
Hájková, Marie
Commentationes Mathematicae Universitatis Carolinae, Tome 012 (1971), p. 281-306 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1971-01-01
Classification:  02D99,  02F25,  03B30,  06D99 
@article{105345,
     author = {Marie H\'ajkov\'a},
     title = {The lattice of bi-numerations of arithmetic. II.},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {012},
     year = {1971},
     pages = {281-306},
     zbl = {0232.02025},
     mrnumber = {0290970},
     language = {en},
     url = {http://dml.mathdoc.fr/item/105345}
}

Hájková, Marie. The lattice of bi-numerations of arithmetic. II.. Commentationes Mathematicae Universitatis Carolinae, Tome 012 (1971) pp. 281-306. http://gdmltest.u-ga.fr/item/105345/

Feferman S. Arithmetization of metamathematics in a general setting, Fundamenta Math. XLIX (1960-1961), 35-91. (1960) | MR 0147397 | Zbl 0095.24301

Hermes H. Einführung in die Verbandstheorie, Springer Verlag Berlin - Heidelberg - New York 1967. (1967) | MR 0220634 | Zbl 0153.33203

Kleene S. C. Introduction to metamathematics, Amaterdam 1952. (1952) | MR 0051790 | Zbl 0047.00703

Lévy A. A hierarchy of formulas in set theory, Memoirs of the American Mathematical Society 57 (1965). (1965) | MR 0189983

Mostowski A. A generalisation of the incompleteness theorems, Fundamenta Math. XLIX (1960-1961), 205-323. (1960) | MR 0130174

Hájková M. The lattice of bi-numerations of arithmetic, Comment. Math. Univ. Carolinae 12 (1971), 81-104. (1971) | MR 0284336