The lattice of bi-numerations of arithmetic. I.
Commentationes Mathematicae Universitatis Carolinae (1971)
- Volume: 012, Issue: 1, page 81-104
- ISSN: 0010-2628
Access Full Article
topHow to cite
topHájková, Marie. "The lattice of bi-numerations of arithmetic. I.." Commentationes Mathematicae Universitatis Carolinae 012.1 (1971): 81-104. <http://eudml.org/doc/16415>.
@article{Hájková1971,
author = {Hájková, Marie},
journal = {Commentationes Mathematicae Universitatis Carolinae},
language = {eng},
number = {1},
pages = {81-104},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {The lattice of bi-numerations of arithmetic. I.},
url = {http://eudml.org/doc/16415},
volume = {012},
year = {1971},
}
TY - JOUR
AU - Hájková, Marie
TI - The lattice of bi-numerations of arithmetic. I.
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1971
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 012
IS - 1
SP - 81
EP - 104
LA - eng
UR - http://eudml.org/doc/16415
ER -
References
top- S. FEFERMAN, Arithmetization of metamathematice in a general setting, Fundamenta Math. XLIX (1960-1961), 35-91. (1960) MR0147397
- H. HERMES, Einführung in die Verbandstheorie, Springer Verlag Berlin - Heidelberg - New York 1967. (1967) Zbl0153.33203MR0220634
- 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) MR0189983
- A. MOSTOWSKI, A generalization of the incompleteness theorems, Fundament. Math. XLIX (1960-1961), 205-323. (1960) MR0130174
- M. HÁJKOVÁ, The lattice of bi-numerations of arithmetic. II, To appear in this journal. MR0290970
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.