Maximal Logics

DOI10.2307/2041807zbMath0415.03025OpenAlexW4234265865MaRDI QIDQ3050405

Joseph Sgro

Publication date: 1977

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

zbMATH Keywords

ultraproductdefinabilityabstract model theoryinvariant logiccategory theoretical methods

Mathematics Subject Classification ID

Special categories (18B99) Ultraproducts and related constructions (03C20) Abstract model theory (03C95)

Related Items

The Interior Operator Logic and Product Topologies, Ultraproduct Invariant Logics, Completeness theorems for continuous functions and product topologies

Cites Work

• Unnamed Item
• Interpolation and definability in abstract logics
• Completeness theorems for continuous functions and product topologies
• Model theory
• Axioms for abstract model theory
• Infinitary logic and topological homeomorphisms
• Completeness theorems for topological models
• On Extensions of Elementary Logic
• On reduced products and filters