The lattice of bi-numerations of arithmetic. I.

Previous | Up | Next

Article

The lattice of bi-numerations of arithmetic. I. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 12 (1971), issue 1, pp. 81-104

MSC: 02-74, 02D99, 03B30, 06D99 | MR 0284336 | Zbl 0216.28901

References:

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

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

[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 0189983

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

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

Partner of