Problemi di decidibilità in logica topologica

J. A. Makowsky; A. Marcja

Rendiconti del Seminario Matematico della Università di Padova (1976)

  • Volume: 56, page 67-78
  • ISSN: 0041-8994

How to cite

top

Makowsky, J. A., and Marcja, A.. "Problemi di decidibilità in logica topologica." Rendiconti del Seminario Matematico della Università di Padova 56 (1976): 67-78. <http://eudml.org/doc/107623>.

@article{Makowsky1976,
author = {Makowsky, J. A., Marcja, A.},
journal = {Rendiconti del Seminario Matematico della Università di Padova},
keywords = {topological logic; decidability},
language = {ita},
pages = {67-78},
publisher = {Seminario Matematico of the University of Padua},
title = {Problemi di decidibilità in logica topologica},
url = {http://eudml.org/doc/107623},
volume = {56},
year = {1976},
}

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
PB - Seminario Matematico of the University of Padua
VL - 56
SP - 67
EP - 78
LA - ita
KW - topological logic; decidability
UR - http://eudml.org/doc/107623
ER -

References

top
  1. [1] G.A. Broesterhuizen, Structures for a logic with additional generalized quantifiers, Thesis, Nijmegen, 1974. Zbl0278.02014
  2. [2] C.C. Chang, Modal model theory, Proceedings of the Cambridge Summer School in Mathematical Logic. Springer Lecture Notes, 337, pp. 599-617. Zbl0276.02012MR357063
  3. [3] Yu L. Ersov - I.A. Lavrov - A.D. Taimanov - M.A. Taitslin, Elementary Theories, Russian Mathematical Surveys, 20 (1965), pp. 35-105. MR186553
  4. [4] D. Giorgetta, Notes on automorphism groups, in preparazione. 
  5. [5] J. Keisler, Logic with the quantifier « there exist uncountably many », Ann. Math. Logic, 1 (1969), pp. 1-93. Zbl0206.27302MR263616
  6. [6] J.A. Makowsk*, A logic for topological structures with an interior operator, Meeting of the ASL in Clermont Ferrand (1975). 
  7. [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. Zbl0362.02043MR485205
  8. [8] J.A. Makowsky - A. Marcja, The decidability of monadic topological predicate calculus, in pubblicazione. 
  9. [9] J.A. Makowski - S. Tulipani, Some model theory for monotone quantifiers, Arch. math. Logik, 18 (1977), pp. 115-134. Zbl0365.02042MR469693
  10. [10] A.I. Mal'cev, Elementary properties of linear groups, in The Mathematics of Algebraic Systems, Amsterdam (1971). 
  11. [11] A. Mostowski - R.M. Robinson - A. Tarski, Undecidable theories, Amsterdam (1953). Zbl0053.00401
  12. [12] J. Robinson, Definability and decision problems in arithmetic, J.S.L., 14 (1949), pp. 98-114. Zbl0034.00801MR31446
  13. [13] G.E. Sacks, Saturated model theory, Reading (1972). Zbl0242.02054MR398817
  14. [14] J. Sgro, Completeness theorems for topological models, in pubblicazione. Zbl0387.03010
  15. [15] J.R. Shoenfield, Mathematical logic, Reading (1967). Zbl0155.01102MR225631

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.