Geodesic
The lattices of numerations of theories containing Peano's arithmetic
Commentationes Mathematicae Universitatis Carolinae, Tome 14 (1973) no. 2, pp. 339-359 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 02G99, 03B99, 03D99, 03F99 
@article{CMUC_1973_14_2_a12,
     author = {Pal\'uch, Stanislav},
     title = {The lattices of numerations of theories containing {Peano's} arithmetic},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {339--359},
     year = {1973},
     volume = {14},
     number = {2},
     mrnumber = {0360253},
     zbl = {0268.02033},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1973_14_2_a12/}
}
TY  - JOUR
AU  - Palúch, Stanislav
TI  - The lattices of numerations of theories containing Peano's arithmetic
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1973
SP  - 339
EP  - 359
VL  - 14
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/CMUC_1973_14_2_a12/
LA  - en
ID  - CMUC_1973_14_2_a12
ER  - 
%0 Journal Article
%A Palúch, Stanislav
%T The lattices of numerations of theories containing Peano's arithmetic
%J Commentationes Mathematicae Universitatis Carolinae
%D 1973
%P 339-359
%V 14
%N 2
%U http://geodesic.mathdoc.fr/item/CMUC_1973_14_2_a12/
%G en
%F CMUC_1973_14_2_a12
Palúch, Stanislav. The lattices of numerations of theories containing Peano's arithmetic. Commentationes Mathematicae Universitatis Carolinae, Tome 14 (1973) no. 2, pp. 339-359. http://geodesic.mathdoc.fr/item/CMUC_1973_14_2_a12/

[1] FEFERMAN S.: Arithmetization of metamathematics in a general setting. Fund. Math. XLIX (1960), 36-92. | MR | Zbl

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

[3] MENDELSON E.: Introduction to mathematical logic. Moskva, 1971.

[4] TARSKI A., MOSTOWSKI A., ROBINSON R. M.: Undecidable theories. Amsterdam, 1953. | Zbl