Some contributions to definability theory for languages with generalized quantifiers

DOI10.2307/2273589zbMath0499.03013OpenAlexW2024826281MaRDI QIDQ3964535

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

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

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