Partial conservativity revisited

Hájek, Petr

Commentationes Mathematicae Universitatis Carolinae, Tome 028 (1987), p. 679-690 / Harvested from Czech Digital Mathematics Library

Détail

Publié le : 1987-01-01

MR 928683 | Zbl 0679.03025

Classification:  03D35,  03F25,  03F30

Bibliographie

C. Bennet [86] On some orderings of extensions of arithmetic, (thesis), University of Göteborg 1986. (1986)

P. Clote [83] Partition relations in arithmetic, Proc. Sixth Latin-American Symp. on Math. Logic, Venezuela 1983. (1983)

P. Clote [85] Applications of the low-basis theorem in arithmetic, Proceedings of Recursion-theory week at Oberwolfach, Springer 1985. (1985) | MR 0820775

S. Feferman [60] Arithmetization of metamathematics in a general setting, Fund. Math. 49 (1960), 35-92. (1960) | MR 0147397

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

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

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

P. Hájek [79] On partially conservative extensions of arithmetic, in: Logic Colloquium 78, North-Holland Pub. (1979), 225-234. (1979) | MR 0567671

P. Hájek [81] On interpretability in theories containing arithmetic II, Comment. Math. Univ. Carolinae 22 (1981), 617-688. (1981) | MR 0647016

P. Hájek [84] On a new notion of partial conservativity, in: Logic Colloquium 83, Lect. Notes in Math. vol. 1104.

P. Hájek M. Hájk0Vá [72] On interpretability in theories containing arithmetic, Fund. Math. 76 (1972), 131-137. (1972) | MR 0307897

P. Hájek A. Kučera [$\Infty $] On recursion theory in fragments of arithmetic, (to appear).

G. Kreisel [62] On weak completeness of intuitionistic predicate logic, J. Symb. Logic 27 (1962), 139-158. (1962) | MR 0161796

G. Kreisel [68] A survey on proof theory, J. Symb. Logic 33 (1968), 321-388. (1968) | MR 0281580

P. Lindström [79] Some results on interpretability, (Jensen, Mayoh, Motler, ed.), Proc. 5th Scandinavian Logic Symp., Aalborg Univ. Press 1979. (1979) | MR 0606608

P. Linoström [84] On partially conservative sentences and interpretability, Proceedings Amer. Math. Soc. 91 (1984), 436-443. (1984) | MR 0744645

P. Lindström [84A] On faithful interpretability, in: Logic Colloquium 83, Lect. Notes in Math. vol. 1104, Springer - Verlag 1984. (1984) | MR 0775720

S. Orey [61] Relative interpretations, Z. Math. Logik und Grund. Math. 7 (1961), 146-153. (1961) | MR 0146082

J. Quinsey [81] Sets of ${\Sigma}_k$-conservative sentences are ${\Pi}_2$-complete, J. Symb Logic 46 (1981), 442 (abstract.). (1981)

P. Pudlák [85] Cuts, consistency statements and interpretations, J. Symb. Logic 50 (1985), 423-441. (1985) | MR 0793123

J. S. Sheperdson [60] Representability of recursively enumerable sets in formal theories, Archiv f. math. Logik 5 (1960), 119-127. (1960) | MR 0126378

C. Smoryński [81] Fifty years of self-reference, Notre Dame Journal of Formal Logi 22 (1981), 357-374. (1981) | MR 0622365

C. Smoryński [81A] Calculating self-referential sentences: Guaspari sentences of the first kind, J. Symb. Logic 46 (1981), 329-344. (1981) | MR 0613286

C. Smoryński [85] Self-reference and modal logic, Springer-Verlag 1985. (1985) | MR 0807778

V. Švejdar [81] A sentence that is difficult to interpret, Comment. Math. Univ. Carolinae 22 (1981), 661-666. (1981) | MR 0647015

V. Švejdar [83] Modal analysis of generalized Rosser sentences, J. Symb. Logic 48 (1983), 986-999. (1983) | MR 0727788

A. Tarski A. Mostowski R. M. Robinson [53J Undecidable theories, North-Holland P. C. 1953. (1953) | MR 0058532