Ideal models and some not so ideal problems in the model theory of L(Q)

DOI10.2307/2272829zbMath0385.03029OpenAlexW1987873062MaRDI QIDQ4165363

Kim B. Bruce

Publication date: 1978

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Models of other mathematical theories (03C65) Quantifier elimination, model completeness, and related topics (03C10)

Related Items

Some contributions to definability theory for languages with generalized quantifiers ⋮ The Interior Operator Logic and Product Topologies ⋮ Ultraproduct Invariant Logics ⋮ ON THE GENERAL INTERPRETATION OF FIRST-ORDER QUANTIFIERS ⋮ The role of the Omitting Types Theorem in infinitary logic ⋮ Completeness and interpolation of almost-everywhere quantification over finitely additive measures

Cites Work

• Unnamed Item
• Model-completeness in a first order language with a generalized quantifier
• Model theory via set theory
• Beth's theorem in cardinality logics
• An introduction to recursively saturated and resplendent models
• Logic with the quantifier “there exist uncountably many”
• Some combinatorial problems concerning uncountable cardinals
• Löwenheim-Skolem and interpolation theorems in infinitary languages