Some contributions to definability theory for languages with generalized quantifiers

DOI10.2307/2273589MaRDI QIDQ3964535zbMATH OpenOpenAlexFDO

Authors John T. Baldwin, Douglas E. Miller

Publication date 1982

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

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

zbMATH Keywords

semantic extensionpreservation under extensionfor almost all countable subsetsfor uncountably many

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Interpolation, preservation, definability (03C40) Quantifier elimination, model completeness, and related topics (03C10)

Cites work

• Compact extensions of L(Q) (part 1a)
• Ideal models and some not so ideal problems in the model theory of L(Q)
• Logic with the quantifier “there exist uncountably many”
• Ramsey quantifiers and the finite cover property
• Stationary logic
• Stationary logic of finitely determinate structures

This page was built for publication: Some contributions to definability theory for languages with generalized quantifiers

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