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

Voir la notice de l'article

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

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

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

[3] KLEENE S. C.: Introduction to metamathematics. Amaterdam 1952. | MR | Zbl

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

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

[6] HÁJKOVÁ M.: The lattice of bi-numerations of arithmetic. Comment. Math. Univ. Carolinae 12 (1971), 81-104. | MR