Generalized interpretability in terms of models. (Note to a paper of R. Montague.)
Časopis pro pěstování matematiky (1966)
- Volume: 091, Issue: 3, page 352-357
- ISSN: 0528-2195
Access Full Article
topHow to cite
topReferences
top- P. Hájek, Syntactic models of axiomatic theories, Bull. Acad. Polon. Sci. XIII (1965), 273-278. (1965) MR0184857
- R. Montague, Interpretability in terms of models, Indag. Math. XXVII(1965), 467-476. (1965) Zbl0151.01102MR0180489
- A. Tarski A. Mostowski R. N. Robinson, Undecidable Theories, Amsterdam 1953. (1953)
- P. Vopěnka, Postroenie modelei teorii množestv metodom uľtraproizvedenia, Zeitschr. für Math. Log. 8 (1962), 281 - 292. (1962)
- P. Hájek, Die durch die schwach inneren relationen gegebenen Modelle der Mengenlehre, ibid. 10 (1964), 151-157. (1964) MR0164888