A sentence that is difficult to interpret
Commentationes Mathematicae Universitatis Carolinae (1981)
- Volume: 022, Issue: 4, page 661-666
- ISSN: 0010-2628
Access Full Article
top
How to cite
topŠvejdar, Vítězslav. "A sentence that is difficult to interpret." Commentationes Mathematicae Universitatis Carolinae 022.4 (1981): 661-666. <http://eudml.org/doc/17140>.
@article{Švejdar1981,
author = {Švejdar, Vítězslav},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {relative interpretability; Zermelo-Fraenkel set theory; Goedel-Bernays set theory; self-reference},
language = {eng},
number = {4},
pages = {661-666},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {A sentence that is difficult to interpret},
url = {http://eudml.org/doc/17140},
volume = {022},
year = {1981},
}
TY - JOUR
AU - Švejdar, Vítězslav
TI - A sentence that is difficult to interpret
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1981
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 022
IS - 4
SP - 661
EP - 666
LA - eng
KW - relative interpretability; Zermelo-Fraenkel set theory; Goedel-Bernays set theory; self-reference
UR - http://eudml.org/doc/17140
ER -
References
top- P. HÁJEK, On interpretability in theories containing arithmetic II, to appear. MR0647016
- M. HÁJKOVÁ P. HÁJEK, On interpretability in theories containing arithmetic, Fund. Math. 76 (1972), 131-137. (1972) MR0307897
- J. R. SHOENFIELD, Mathematical Logic, Addison Wesley 1967. (1967) Zbl0155.01102MR0225631
- R. SOLOVAY, Interpretability in set theories, in preparation.
Citations in EuDML Documents
topNotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.