Problemi di decidibilità in logica topologica
Rendiconti del Seminario Matematico della Università di Padova, Tome 56 (1976), pp. 67-78.
@article{RSMUP_1976__56__67_0,
     author = {Makowsky, J. A. and Marcja, A.},
     title = {Problemi di decidibilit\`a in logica topologica},
     journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
     pages = {67--78},
     publisher = {Seminario Matematico of the University of Padua},
     volume = {56},
     year = {1976},
     mrnumber = {476473},
     zbl = {0402.03020},
     language = {it},
     url = {http://www.numdam.org/item/RSMUP_1976__56__67_0/}
}
TY  - JOUR
AU  - Makowsky, J. A.
AU  - Marcja, A.
TI  - Problemi di decidibilità in logica topologica
JO  - Rendiconti del Seminario Matematico della Università di Padova
PY  - 1976
SP  - 67
EP  - 78
VL  - 56
PB  - Seminario Matematico of the University of Padua
UR  - http://www.numdam.org/item/RSMUP_1976__56__67_0/
LA  - it
ID  - RSMUP_1976__56__67_0
ER  - 
%0 Journal Article
%A Makowsky, J. A.
%A Marcja, A.
%T Problemi di decidibilità in logica topologica
%J Rendiconti del Seminario Matematico della Università di Padova
%D 1976
%P 67-78
%V 56
%I Seminario Matematico of the University of Padua
%U http://www.numdam.org/item/RSMUP_1976__56__67_0/
%G it
%F RSMUP_1976__56__67_0
Makowsky, J. A.; Marcja, A. Problemi di decidibilità in logica topologica. Rendiconti del Seminario Matematico della Università di Padova, Tome 56 (1976), pp. 67-78. http://www.numdam.org/item/RSMUP_1976__56__67_0/

[1] G.A. Broesterhuizen, Structures for a logic with additional generalized quantifiers, Thesis, Nijmegen, 1974.

[2] C.C. Chang, Modal model theory, Proceedings of the Cambridge Summer School in Mathematical Logic. Springer Lecture Notes, 337, pp. 599-617. | MR | Zbl

[3] Yu L. Ersov - I.A. Lavrov - A.D. Taimanov - M.A. Taitslin, Elementary Theories, Russian Mathematical Surveys, 20 (1965), pp. 35-105. | MR

[4] D. Giorgetta, Notes on automorphism groups, in preparazione.

[5] J. Keisler, Logic with the quantifier « there exist uncountably many », Ann. Math. Logic, 1 (1969), pp. 1-93. | MR | Zbl

[6] J.A. Makowsk*, A logic for topological structures with an interior operator, Meeting of the ASL in Clermont Ferrand (1975).

[7] J.A. Makowsky - A. Marcja, Completeness theorem for modal model theory with the Montague-Chang semantics, Zeitschr. f. math. Logik und Grundlagen d. Math., 23 (1977), pp. 97-104. | MR | Zbl

[8] J.A. Makowsky - A. Marcja, The decidability of monadic topological predicate calculus, in pubblicazione.

[9] J.A. Makowski - S. Tulipani, Some model theory for monotone quantifiers, Arch. math. Logik, 18 (1977), pp. 115-134. | MR | Zbl

[10] A.I. Mal'Cev, Elementary properties of linear groups, in The Mathematics of Algebraic Systems, Amsterdam (1971).

[11] A. Mostowski - R.M. Robinson - A. Tarski, Undecidable theories, Amsterdam (1953). | Zbl

[12] J. Robinson, Definability and decision problems in arithmetic, J.S.L., 14 (1949), pp. 98-114. | MR | Zbl

[13] G.E. Sacks, Saturated model theory, Reading (1972). | MR | Zbl

[14] J. Sgro, Completeness theorems for topological models, in pubblicazione. | Zbl

[15] J.R. Shoenfield, Mathematical logic, Reading (1967). | MR | Zbl