Problemi di decidibilita in logica topologica

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

zbMATH Keywords

decidabilitytopological logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10) Generalities in topology (54A99)

Related Items (1)

Topological model theory with an interior operator: Consistency properties and back — and forth arguments

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