On interpretability in theories containing arithmetic. II.
Hájek, Petr
Commentationes Mathematicae Universitatis Carolinae, Tome 022 (1981), p. 667-688 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1981-01-01
Classification:  03B45,  03F25,  03F30,  03F35 
@article{106110,
     author = {Petr H\'ajek},
     title = {On interpretability in theories containing arithmetic. II.},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {022},
     year = {1981},
     pages = {667-688},
     zbl = {0487.03032},
     mrnumber = {647016},
     language = {en},
     url = {http://dml.mathdoc.fr/item/106110}
}

Hájek, Petr. On interpretability in theories containing arithmetic. II.. Commentationes Mathematicae Universitatis Carolinae, Tome 022 (1981) pp. 667-688. http://gdmltest.u-ga.fr/item/106110/

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

K. Gödel The consistency of the axiom of choice etc., Princeton Univ. Press 1940. (1940)

D. Guaspari Partially conservative extensions of arithmetic, Trans. Amer. Math. Soc. 254 (1979), 47-68. (1979) | MR 0539907 | Zbl 0417.03030

D. Guaspari R. Solovay Rosser sentences, Annals of Math. Log. 16 (1979), 81-99. (1979) | MR 0530432

P. Hájek On interpretability in set theories, Comment. Math. Univ. Carolinae 12 (1971), 73-79. (1971) | MR 0311470

P. Hájek On interpretability in set theories II, Comment. Math. Univ. Carolinae 13 (1972), 445-455. (1972) | MR 0323566

M. Hájková P. Hájek On interpretabillty in theories containing arithmetic, Fund. Math. 76 (1972), 131-137. (1972) | MR 0307897

P. Lindström Some results on interpretability, Proc. 5th Scand. Log. Symp. Aalborg Univ. Press 1979. (1979) | MR 0606608

J. R. Shoenfield Mathematical logic, Addison-Wesley 1967. (1967) | MR 0225631 | Zbl 0155.01102

C. Smoryński Fifty years of self-reference in arithmetic, to appear. | MR 0622365

C. Smoryński A ubiquitous fixed-point calculation, to appear.

C. Smoryński Calculating self-referential statements: Guaspari sentences of first kind, to appear.

C. Smoryński A short course in modal logic, handwritten notes.

R. Solovay Interpretability in set theories, in preparation.

R. Solovay Probability interpretations of modal logic, Israel J. of Math. 25 (1976), 287-304. (1976) | MR 0457153

V. Švejdar Degrees of interpretability, Comment. Math. Univ. Carolinae 19 (1978), 789-813. (1978) | MR 0518190

A. Tarski A. Mostowski R. M. Robinson Undecidable theories, Horth-Holland Publ. Co. 1953. (1953) | MR 0058532

P. Vopěnka P. Hájek Existence of a generalized model of Gödel-Bernays set theory, Bull. Acad. Polon. Sci. 21 (1973), 1079-1086. (1973) | MR 0422024