Model-Theoretic Forcing in Logic With a Generalized Quantifier

DOI10.1016/S0003-4843(78)80001-1zbMath0436.03025MaRDI QIDQ3875907

Kim B. Bruce

Publication date: 1978

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

generalized quantifierideal modelsomitting type theoremstandard generic model theorem

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Model-theoretic forcing (03C25) Logic on admissible sets (03C70)

Related Items (7)

Algebraic analysis of the logic with the quantifier there exist uncountably many ⋮ Existentially closed dimension groups ⋮ A new omitting types theorem for L(Q) ⋮ New axiomatizations for logics with generalized quantifiers ⋮ Models with second order properties. IV. A general method and eliminating diamonds ⋮ L_A(Ⅎ) ⋮ Model constructions in stationary logic. Part I. Forcing

This page was built for publication: Model-Theoretic Forcing in Logic With a Generalized Quantifier