The lattice of bi-numerations of arithmetic. II.
Commentationes Mathematicae Universitatis Carolinae (1971)
- Volume: 012, Issue: 2, page 281-306
- ISSN: 0010-2628
Access Full Article
topHow to cite
topHájková, Marie. "The lattice of bi-numerations of arithmetic. II.." Commentationes Mathematicae Universitatis Carolinae 012.2 (1971): 281-306. <http://eudml.org/doc/16428>.
@article{Hájková1971,
author = {Hájková, Marie},
journal = {Commentationes Mathematicae Universitatis Carolinae},
language = {eng},
number = {2},
pages = {281-306},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {The lattice of bi-numerations of arithmetic. II.},
url = {http://eudml.org/doc/16428},
volume = {012},
year = {1971},
}
TY - JOUR
AU - Hájková, Marie
TI - The lattice of bi-numerations of arithmetic. II.
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1971
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 012
IS - 2
SP - 281
EP - 306
LA - eng
UR - http://eudml.org/doc/16428
ER -
References
top- FEFERMAN S., Arithmetization of metamathematics in a general setting, Fundamenta Math. XLIX (1960-1961), 35-91. (1960) Zbl0095.24301MR0147397
- HERMES H., Einführung in die Verbandstheorie, Springer Verlag Berlin - Heidelberg - New York 1967. (1967) Zbl0153.33203MR0220634
- KLEENE S. C., Introduction to metamathematics, Amaterdam 1952. (1952) Zbl0047.00703MR0051790
- LÉVY A., A hierarchy of formulas in set theory, Memoirs of the American Mathematical Society 57 (1965). (1965) MR0189983
- MOSTOWSKI A., A generalisation of the incompleteness theorems, Fundamenta Math. XLIX (1960-1961), 205-323. (1960) MR0130174
- HÁJKOVÁ M., The lattice of bi-numerations of arithmetic, Comment. Math. Univ. Carolinae 12 (1971), 81-104. (1971) MR0284336
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.