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