Degrees of interpretability
Commentationes Mathematicae Universitatis Carolinae (1978)
- Volume: 019, Issue: 4, page 789-813
- ISSN: 0010-2628
Access Full Article
topHow to cite
topŠvejdar, Vítězslav. "Degrees of interpretability." Commentationes Mathematicae Universitatis Carolinae 019.4 (1978): 789-813. <http://eudml.org/doc/16940>.
@article{Švejdar1978,
author = {Švejdar, Vítězslav},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {Interpretability; Axiomatic Theory; Degrees of Sets of Sentences; Preoder on Theories},
language = {eng},
number = {4},
pages = {789-813},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Degrees of interpretability},
url = {http://eudml.org/doc/16940},
volume = {019},
year = {1978},
}
TY - JOUR
AU - Švejdar, Vítězslav
TI - Degrees of interpretability
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1978
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 019
IS - 4
SP - 789
EP - 813
LA - eng
KW - Interpretability; Axiomatic Theory; Degrees of Sets of Sentences; Preoder on Theories
UR - http://eudml.org/doc/16940
ER -
References
top- S. FEFERMAN, Arithmetization of metamathematics in a general setting, Fund. Math. 49 (1960), 35-92. (1960) Zbl0095.24301MR0147397
- D. GUASPARI, Partially conservative extensions of arithmetic, to appear. Zbl0417.03030MR0539907
- P. HÁJEK, On interpretability in set theories II, Comment. Math. Univ. Carolinae 13 (1972), 445-455. (1972) MR0323566
- M. HÁJKOVÁ P. HÁJEK, On interpretability in theories containing arithmetic, Fund. Math. 76 (1972), 131-137. (1972) MR0307897
- R. G. JEROSLOW, Consistency statements in formal theories, Fund. Math. 72 (1971), 17-40. (1971) Zbl0254.02038MR0299476
- J. MYCIELSKI, A lattice of interpretability types of theories, J. Symb. Logic 42 (1977), 297-305. (1977) Zbl0371.02026MR0505480
- P. VOPĚNKA P. HÁJEK, The theory of semisets, North Holland, Amsterdam, and Academia, Prague, 1972. (1972) MR0444473
- P. VOPĚNKA P. HÁJEK, Existence of a generalized semantic model of Gödel-Bernays set theory, Bull. Acad. Pol. Sci. 12 (1973), 1079-1086. (1973) MR0422024
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.