Problemi di decidibilita in logica topologica
From MaRDI portal
Publication:1255489
zbMath0402.03020MaRDI QIDQ1255489
Annalisa Marcja, Johann A. Makowsky
Publication date: 1978
Published in: Rendiconti del Seminario Matematico della Università di Padova (Search for Journal in Brave)
Full work available at URL: http://www.numdam.org/item?id=RSMUP_1976__56__67_0
Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10) Generalities in topology (54A99)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Embeddings in groups of permutations with supports of bounded cardinality
- Undecidable theories
- Completeness Theorems For Modal Model Theory With the Montague‐Chang Semantics I
- Some model theory for monotone quantifiers
- Completeness theorems for topological models
- Structures for a logic with additional generalized quantifier
- Logic with the quantifier “there exist uncountably many”
- Definability and decision problems in arithmetic
This page was built for publication: Problemi di decidibilita in logica topologica