The lattice of bi-numerations of arithmetic. I.

Marie Hájková

Commentationes Mathematicae Universitatis Carolinae (1971)

  • Volume: 012, Issue: 1, page 81-104
  • ISSN: 0010-2628

How to cite

top

Há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
  1. S. FEFERMAN, Arithmetization of metamathematice in a general setting, Fundamenta Math. XLIX (1960-1961), 35-91. (1960) MR0147397
  2. H. HERMES, Einführung in die Verbandstheorie, Springer Verlag Berlin - Heidelberg - New York 1967. (1967) Zbl0153.33203MR0220634
  3. S. C. KLEENE, Introduction to metamathematice, Amsterdam 1952. (1952) 
  4. A. LÉVY, A hierarchy of formulas in set theory, Memoirs of the American Mathematical Society 57 (1965). (1965) MR0189983
  5. A. MOSTOWSKI, A generalization of the incompleteness theorems, Fundament. Math. XLIX (1960-1961), 205-323. (1960) MR0130174
  6. M. HÁJKOVÁ, The lattice of bi-numerations of arithmetic. II, To appear in this journal. MR0290970

NotesEmbed ?

top

You must be logged in to post comments.