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

Article

First Page Preview
Hájek, Petr
Generalized interpretability in terms of models. (Note to a paper of R. Montague.). (English). Časopis pro pěstování matematiky, vol. 91 (1966), issue 3, pp. 352-357
MSC: 02-50 | MR 0210569 | Zbl 0144.24502 | DOI: 10.21136/CPM.1966.117572
References:
[1] P. Hájek: Syntactic models of axiomatic theories. Bull. Acad. Polon. Sci. XIII (1965), 273-278. MR 0184857
[2] R. Montague: Interpretability in terms of models. Indag. Math. XXVII(1965), 467-476. MR 0180489 | Zbl 0151.01102
[3] A. Tarski A. Mostowski R. N. Robinson: Undecidable Theories. Amsterdam 1953.
[4] P. Vopěnka: Postroenie modelei teorii množestv metodom uľtraproizvedenia. Zeitschr. für Math. Log. 8 (1962), 281 - 292.
[5] P. Hájek: Die durch die schwach inneren relationen gegebenen Modelle der Mengenlehre. ibid. 10 (1964), 151-157. MR 0164888
Partner of
EuDML logo