The lattices of numerations of theories containing Peano's arithmetic
Commentationes Mathematicae Universitatis Carolinae (1973)
- Volume: 014, Issue: 2, page 339-359
- ISSN: 0010-2628
Access Full Article
topHow to cite
topPalúch, Stanislav. "The lattices of numerations of theories containing Peano's arithmetic." Commentationes Mathematicae Universitatis Carolinae 014.2 (1973): 339-359. <http://eudml.org/doc/16568>.
@article{Palúch1973,
author = {Palúch, Stanislav},
journal = {Commentationes Mathematicae Universitatis Carolinae},
language = {eng},
number = {2},
pages = {339-359},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {The lattices of numerations of theories containing Peano's arithmetic},
url = {http://eudml.org/doc/16568},
volume = {014},
year = {1973},
}
TY - JOUR
AU - Palúch, Stanislav
TI - The lattices of numerations of theories containing Peano's arithmetic
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1973
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 014
IS - 2
SP - 339
EP - 359
LA - eng
UR - http://eudml.org/doc/16568
ER -
References
top- FEFERMAN S., Arithmetization of metamathematics in a general setting, Fund. Math. XLIX (1960), 36-92. (1960) Zbl0095.24301MR0147397
- 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) Zbl0053.00401
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.