Maximal Logics

DOI10.2307/2041807MaRDI QIDQ3050405zbMATH OpenOpenAlexFDO

Authors Joseph Sgro

Publication date 1977

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

zbMATH Keywords

abstract model theorycategory theoretical methodsdefinabilityinvariant logicultraproduct

Mathematics Subject Classification ID

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

Cites work

• Axioms for abstract model theory
• Completeness theorems for continuous functions and product topologies
• Completeness theorems for topological models
• scientific article; zbMATH DE number 3467030 (Why is no real title available?)
• Infinitary logic and topological homeomorphisms
• Interpolation and definability in abstract logics
• Model theory
• On Extensions of Elementary Logic
• On reduced products and filters

Cited in

(5)

• Completeness theorems for continuous functions and product topologies
• The Interior Operator Logic and Product Topologies
• Ultraproduct Invariant Logics
• Logics from ultrafilters
• On the model theory of second-order objects

This page was built for publication: Maximal Logics

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