The Interior Operator Logic and Product Topologies

DOI10.2307/1998283zbMath0426.03039OpenAlexW4231292876MaRDI QIDQ3861367

Joseph Sgro

Publication date: 1980

Full work available at URL: https://doi.org/10.2307/1998283

zbMATH Keywords

topological model theory

Mathematics Subject Classification ID

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

Related Items

Ultraproduct Invariant Logics, Interpolation Fails for the Souslin-Kleene Closure of the Open Set Quantifier Logic, Interpolation and amalgamation in modal cylindric algebras, The role of the Omitting Types Theorem in infinitary logic, Topological model theory with an interior operator: Consistency properties and back — and forth arguments, Interpolation in Logiken monotoner systeme

Cites Work

• Completeness theorems for continuous functions and product topologies
• Model theory
• Introduction to model theory and to the metamathematics of algebra
• Maximal Logics
• On a generalization of quantifiers
• Theorems of Beth and Craig in Abstract Model Theory. I The Abstract Settin
• Ideal models and some not so ideal problems in the model theory of L(Q)
• Completeness theorems for topological models
• Logic with the quantifier “there exist uncountably many”
• The completeness of the first-order functional calculus
• A generalization of the concept of ω-consistency
• Unnamed Item
• Unnamed Item
• Unnamed Item