| Title:
|
The lattice of bi-numerations of arithmetic. II. (English) |
| Author:
|
Hájková, Marie |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
12 |
| Issue:
|
2 |
| Year:
|
1971 |
| Pages:
|
281-306 |
| . |
| Category:
|
math |
| . |
| MSC:
|
02D99 |
| MSC:
|
02F25 |
| MSC:
|
03B30 |
| MSC:
|
06D99 |
| idZBL:
|
Zbl 0232.02025 |
| idMR:
|
MR0290970 |
| . |
| Date available:
|
2008-06-05T20:35:21Z |
| Last updated:
|
2012-04-27 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/105345 |
| . |
| Related article:
|
http://dml.cz/handle/10338.dmlcz/105331 |
| . |
| Reference:
|
[1] FEFERMAN S.: Arithmetization of metamathematics in a general setting.Fundamenta Math. XLIX (1960-1961), 35-91. Zbl 0095.24301, MR 0147397 |
| Reference:
|
[2] HERMES H.: Einführung in die Verbandstheorie.Springer Verlag Berlin - Heidelberg - New York 1967. Zbl 0153.33203, MR 0220634 |
| Reference:
|
[3] KLEENE S. C.: Introduction to metamathematics.Amaterdam 1952. Zbl 0047.00703, MR 0051790 |
| Reference:
|
[4] LÉVY A.: A hierarchy of formulas in set theory.Memoirs of the American Mathematical Society 57 (1965). MR 0189983 |
| Reference:
|
[5] MOSTOWSKI A.: A generalisation of the incompleteness theorems.Fundamenta Math. XLIX (1960-1961), 205-323. MR 0130174 |
| Reference:
|
[6] HÁJKOVÁ M.: The lattice of bi-numerations of arithmetic.Comment. Math. Univ. Carolinae 12 (1971), 81-104. MR 0284336 |
| . |
