Completeness theorems for topological models

DOI10.1016/0003-4843(77)90016-XMaRDI QIDQ4168911zbMATH OpenWikidataFDO

Authors Joseph Sgro

Publication date 1977

Published in Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0003-4843(77)90016-X

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Logic with extra quantifiers and operators (03C80) Nonstandard models (03H99) Nonstandard topology (54J05)

Cited in

(12)

• Completeness theorems for continuous functions and product topologies
• Problemi di decidibilita in logica topologica
• Maximal Logics
• The Interior Operator Logic and Product Topologies
• Ultraproduct Invariant Logics
• Interpolation Fails for the Souslin-Kleene Closure of the Open Set Quantifier Logic
• Topological model theory with an interior operator: Consistency properties and back — and forth arguments
• Generalized quantifiers and natural language
• A language for topological structures which satisfies a Lindström-theorem
• Interpolation in Logiken monotoner systeme
• Interpolation and amalgamation in modal cylindric algebras
• Completeness theorem for topological class models

This page was built for publication: Completeness theorems for topological models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4168911)