Geodesic
The lattice of bi-numerations of arithmetic. I
Commentationes Mathematicae Universitatis Carolinae, Tome 12 (1971) no. 1, pp. 81-104 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 02-74, 02D99, 03B30, 06D99 
@article{CMUC_1971_12_1_a10,
     author = {H\'ajkov\'a, Marie},
     title = {The lattice of bi-numerations of arithmetic. {I}},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {81--104},
     year = {1971},
     volume = {12},
     number = {1},
     mrnumber = {0284336},
     zbl = {0216.28901},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1971_12_1_a10/}
}
TY  - JOUR
AU  - Hájková, Marie
TI  - The lattice of bi-numerations of arithmetic. I
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1971
SP  - 81
EP  - 104
VL  - 12
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/CMUC_1971_12_1_a10/
LA  - en
ID  - CMUC_1971_12_1_a10
ER  - 
%0 Journal Article
%A Hájková, Marie
%T The lattice of bi-numerations of arithmetic. I
%J Commentationes Mathematicae Universitatis Carolinae
%D 1971
%P 81-104
%V 12
%N 1
%U http://geodesic.mathdoc.fr/item/CMUC_1971_12_1_a10/
%G en
%F CMUC_1971_12_1_a10
Hájková, Marie. The lattice of bi-numerations of arithmetic. I. Commentationes Mathematicae Universitatis Carolinae, Tome 12 (1971) no. 1, pp. 81-104. http://geodesic.mathdoc.fr/item/CMUC_1971_12_1_a10/

[1] S. FEFERMAN: Arithmetization of metamathematice in a general setting. Fundamenta Math. XLIX (1960-1961), 35-91. | MR

[2] H. HERMES: Einführung in die Verbandstheorie. Springer Verlag Berlin - Heidelberg - New York 1967. | MR | Zbl

[3] S. C. KLEENE: Introduction to metamathematice. Amsterdam 1952.

[4] A. LÉVY: A hierarchy of formulas in set theory. Memoirs of the American Mathematical Society 57 (1965). | MR

[5] A. MOSTOWSKI: A generalization of the incompleteness theorems. Fundament. Math. XLIX (1960-1961), 205-323. | MR

[6] M. HÁJKOVÁ: The lattice of bi-numerations of arithmetic. II. To appear in this journal. | MR