About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Švejdar, Vítězslav
Degrees of interpretability. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 19 (1978), issue 4, pp. 789-813
MSC: 02D99, 02G99, 03B30, 03D35, 03F25, 06A20 | MR 518190 | Zbl 0407.03020
References:
[F] S. FEFERMAN: Arithmetization of metamathematics in a general setting. Fund. Math. 49 (1960), 35-92. MR 0147397 | Zbl 0095.24301
[G] D. GUASPARI: Partially conservative extensions of arithmetic. to appear. MR 0539907 | Zbl 0417.03030
[H] P. HÁJEK: On interpretability in set theories II. Comment. Math. Univ. Carolinae 13 (1972), 445-455. MR 0323566
[HH] M. HÁJKOVÁ P. HÁJEK: On interpretability in theories containing arithmetic. Fund. Math. 76 (1972), 131-137. MR 0307897
[J] R. G. JEROSLOW: Consistency statements in formal theories. Fund. Math. 72 (1971), 17-40. MR 0299476 | Zbl 0254.02038
[M] J. MYCIELSKI: A lattice of interpretability types of theories. J. Symb. Logic 42 (1977), 297-305. MR 0505480 | Zbl 0371.02026
[VH1] P. VOPĚNKA P. HÁJEK: The theory of semisets. North Holland, Amsterdam, and Academia, Prague, 1972. MR 0444473
[VH2] 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. MR 0422024
Partner of
EuDML logo