Geodesic
Generalized interpretability in terms of models. (Note to a paper of R. Montague.)
Časopis pro pěstování matematiky, Tome 91 (1966) no. 3, pp. 352-357

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

DOI MR   Zbl

DOI : 10.21136/CPM.1966.117572
Classification : 02-50 
Hájek, Petr. Generalized interpretability in terms of models. (Note to a paper of R. Montague.). Časopis pro pěstování matematiky, Tome 91 (1966) no. 3, pp. 352-357. doi: 10.21136/CPM.1966.117572
@article{10_21136_CPM_1966_117572,
     author = {H\'ajek, Petr},
     title = {Generalized interpretability in terms of models. {(Note} to a paper of {R.} {Montague.)}},
     journal = {\v{C}asopis pro p\v{e}stov\'an{\'\i} matematiky},
     pages = {352--357},
     year = {1966},
     volume = {91},
     number = {3},
     doi = {10.21136/CPM.1966.117572},
     mrnumber = {0210569},
     zbl = {0144.24502},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/CPM.1966.117572/}
}
TY  - JOUR
AU  - Hájek, Petr
TI  - Generalized interpretability in terms of models. (Note to a paper of R. Montague.)
JO  - Časopis pro pěstování matematiky
PY  - 1966
SP  - 352
EP  - 357
VL  - 91
IS  - 3
UR  - http://geodesic.mathdoc.fr/articles/10.21136/CPM.1966.117572/
DO  - 10.21136/CPM.1966.117572
LA  - en
ID  - 10_21136_CPM_1966_117572
ER  - 
%0 Journal Article
%A Hájek, Petr
%T Generalized interpretability in terms of models. (Note to a paper of R. Montague.)
%J Časopis pro pěstování matematiky
%D 1966
%P 352-357
%V 91
%N 3
%U http://geodesic.mathdoc.fr/articles/10.21136/CPM.1966.117572/
%R 10.21136/CPM.1966.117572
%G en
%F 10_21136_CPM_1966_117572

[1] P. Hájek: Syntactic models of axiomatic theories. Bull. Acad. Polon. Sci. XIII (1965), 273-278. | MR

[2] R. Montague: Interpretability in terms of models. Indag. Math. XXVII(1965), 467-476. | MR | Zbl

[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

Cité par Sources :