| Title:
|
The lattices of numerations of theories containing Peano's arithmetic (English) |
| Author:
|
Palúch, Stanislav |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
14 |
| Issue:
|
2 |
| Year:
|
1973 |
| Pages:
|
339-359 |
| . |
| Category:
|
math |
| . |
| MSC:
|
02G99 |
| MSC:
|
03B99 |
| MSC:
|
03D99 |
| MSC:
|
03F99 |
| idZBL:
|
Zbl 0268.02033 |
| idMR:
|
MR0360253 |
| . |
| Date available:
|
2008-06-05T20:42:06Z |
| Last updated:
|
2012-04-27 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/105495 |
| . |
| Reference:
|
[1] FEFERMAN S.: Arithmetization of metamathematics in a general setting.Fund. Math. XLIX (1960), 36-92. Zbl 0095.24301, MR 0147397 |
| Reference:
|
[2] HÁJKOVÁ M.: The lattice of bi-numerations of arithmetic.Comment. Math. Univ. Carolinae 12 (1971), 81-104, 281-306. |
| Reference:
|
[3] MENDELSON E.: Introduction to mathematical logic.Moskva, 1971. |
| Reference:
|
[4] TARSKI A., MOSTOWSKI A., ROBINSON R. M.: Undecidable theories.Amsterdam, 1953. Zbl 0053.00401 |
| . |
