Model-Theoretic Forcing in Logic With a Generalized Quantifier

DOI10.1016/S0003-4843(78)80001-1MaRDI QIDQ3875907zbMATH OpenFDO

Authors Kim B. Bruce

Publication date 1978

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

Full work available at URL https://doi.org/10.1016/S0003-4843(78)80001-1

zbMATH Keywords

generalized quantifierideal modelsomitting type theoremstandard generic model theorem

Mathematics Subject Classification ID

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

Cited in

(7)

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

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

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