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

DOI10.1007/BF02011632zbMath0472.03027OpenAlexW2073219037MaRDI QIDQ3926559

Martin Ziegler, Johann A. Makowsky

Publication date: 1981

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137974

zbMATH Keywords

consistencycompletenessomitting typeslanguages for topological spaces

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Interpolation, preservation, definability (03C40)

Related Items (4)

Some model theory for monotone quantifiers ⋮ Modal languages for topology: expressivity and definability ⋮ Interpolation in Logiken monotoner systeme ⋮ Topological Perspective on the Hybrid Proof Rules

Cites Work

• Unnamed Item
• Topological model theory
• Completeness theorems for continuous functions and product topologies
• Problemi di decidibilita in logica topologica
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• The first order properties of products of algebraic systems
• An application of games to the completeness problem for formalized theories
• The Interior Operator Logic and Product Topologies
• A language for topological structures which satisfies a Lindström-theorem
• Infinitary logic and topological homeomorphisms
• Completeness Theorems For Modal Model Theory With the Montague‐Chang Semantics I
• Some model theory for monotone quantifiers
• Completeness theorems for topological models
• Model theory of topological structures
• A note on topological model theory
• Interpolation in Logiken monotoner systeme
• Logic with the quantifier “there exist uncountably many”

This page was built for publication: Topological model theory with an interior operator: Consistency properties and back — and forth arguments