The lattice of bi-numerations of arithmetic. II.

Previous | Up | Next

Article

The lattice of bi-numerations of arithmetic. II. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 12 (1971), issue 2, pp. 281-306

MSC: 02D99, 02F25, 03B30, 06D99 | MR 0290970 | Zbl 0232.02025

References:

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

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

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

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

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

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

Partner of