The lattices of numerations of theories containing Peano's arithmetic
Palúch, Stanislav
Commentationes Mathematicae Universitatis Carolinae, Tome 014 (1973), p. 339-359 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1973-01-01
Classification:  02G99,  03B99,  03D99,  03F99 
@article{105495,
     author = {Stanislav Pal\'uch},
     title = {The lattices of numerations of theories containing Peano's arithmetic},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {014},
     year = {1973},
     pages = {339-359},
     zbl = {0268.02033},
     mrnumber = {0360253},
     language = {en},
     url = {http://dml.mathdoc.fr/item/105495}
}

Palúch, Stanislav. The lattices of numerations of theories containing Peano's arithmetic. Commentationes Mathematicae Universitatis Carolinae, Tome 014 (1973) pp. 339-359. http://gdmltest.u-ga.fr/item/105495/

Feferman S. Arithmetization of metamathematics in a general setting, Fund. Math. XLIX (1960), 36-92. (1960) | MR 0147397 | Zbl 0095.24301

Hájková M. The lattice of bi-numerations of arithmetic, Comment. Math. Univ. Carolinae 12 (1971), 81-104, 281-306. (1971)

Mendelson E. Introduction to mathematical logic, Moskva, 1971. (1971)

Tarski A.; Mostowski A.; Robinson R. M. Undecidable theories, Amsterdam, 1953. (1953) | Zbl 0053.00401