Ultraproduct Invariant Logics

DOI10.2307/2042513zbMath0436.03034OpenAlexW4238490912MaRDI QIDQ3875915

No author found.

Publication date: 1980

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

zbMATH Keywords

ultraproductultrafiltersgeneralized quantifiersgeneralized model

Mathematics Subject Classification ID

Second- and higher-order model theory (03C85) Ultraproducts and related constructions (03C20) Abstract model theory (03C95)

Cites Work

• Completeness theorems for continuous functions and product topologies
• Model theory
• Maximal Logics
• The Interior Operator Logic and Product Topologies
• A correction to “stationary logic”
• Axioms for abstract model theory
• δ-Logics and generalized quantifiers
• Compact extensions of L(Q) (part 1a)
• 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”

This page was built for publication: Ultraproduct Invariant Logics