@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://archive.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://archive.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://archive.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://archive.numdam.org/item/RSMUP_1976__56__67_0/
[1] Structures for a logic with additional generalized quantifiers, Thesis, Nijmegen, 1974.
,[2] Modal model theory, Proceedings of the Cambridge Summer School in Mathematical Logic. Springer Lecture Notes, 337, pp. 599-617. | MR | Zbl
,[3] Elementary Theories, Russian Mathematical Surveys, 20 (1965), pp. 35-105. | MR
- - - ,[4] Notes on automorphism groups, in preparazione.
,[5] Logic with the quantifier « there exist uncountably many », Ann. Math. Logic, 1 (1969), pp. 1-93. | MR | Zbl
,[6] A logic for topological structures with an interior operator, Meeting of the ASL in Clermont Ferrand (1975).
*,[7] 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] The decidability of monadic topological predicate calculus, in pubblicazione.
- ,[9] Some model theory for monotone quantifiers, Arch. math. Logik, 18 (1977), pp. 115-134. | MR | Zbl
- ,[10] Elementary properties of linear groups, in The Mathematics of Algebraic Systems, Amsterdam (1971).
,[11] Undecidable theories, Amsterdam (1953). | Zbl
- - ,[12] Definability and decision problems in arithmetic, J.S.L., 14 (1949), pp. 98-114. | MR | Zbl
,[13] Saturated model theory, Reading (1972). | MR | Zbl
,[14] Completeness theorems for topological models, in pubblicazione. | Zbl
, ,