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

Hájková, Marie. The lattice of bi-numerations of arithmetic. I.. Commentationes Mathematicae Universitatis Carolinae, Tome 012 (1971) pp. 81-104. http://gdmltest.u-ga.fr/item/105331/

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

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

S. C. Kleene Introduction to metamathematice, Amsterdam 1952. (1952)

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

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

M. Hájková The lattice of bi-numerations of arithmetic. II, To appear in this journal. | MR 0290970