Completeness theorems for topological models
From MaRDI portal
Publication:4168911
DOI10.1016/0003-4843(77)90016-XzbMath0387.03010WikidataQ56519714 ScholiaQ56519714MaRDI QIDQ4168911
Publication date: 1977
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Logic with extra quantifiers and operators (03C80) Categoricity and completeness of theories (03C35) Nonstandard topology (54J05) Nonstandard models (03H99)
Related Items
The Interior Operator Logic and Product Topologies, Ultraproduct Invariant Logics, Maximal Logics, Completeness theorem for topological class models, Interpolation Fails for the Souslin-Kleene Closure of the Open Set Quantifier Logic, Interpolation and amalgamation in modal cylindric algebras, A language for topological structures which satisfies a Lindström-theorem, Completeness theorems for continuous functions and product topologies, Problemi di decidibilita in logica topologica, Topological model theory with an interior operator: Consistency properties and back — and forth arguments, Generalized quantifiers and natural language, Interpolation in Logiken monotoner systeme
