A new omitting types theorem for L(Q)

DOI10.2307/2273290zbMath0427.03026OpenAlexW2131524578MaRDI QIDQ3863864

Matt Kaufmann

Publication date: 1979

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

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

zbMATH Keywords

omitting typesextra quantifier

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Other model constructions (03C30)

Cites Work

• Model-Theoretic Forcing in Logic With a Generalized Quantifier
• Models and types of Peano's arithmetic
• Compact extensions of L(Q) (part 1a)
• Stationary logic
• Logic with the quantifier “there exist uncountably many”

This page was built for publication: A new omitting types theorem for L(Q)