Some contributions to definability theory for languages with generalized quantifiers

DOI10.2307/2273589zbMATH Open0499.03013OpenAlexW2024826281MaRDI QIDQ3964535FDOQ3964535

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)
• Stationary logic of finitely determinate structures
• Logic with the quantifier “there exist uncountably many”
• Stationary logic
• Ramsey quantifiers and the finite cover property
• Ideal models and some not so ideal problems in the model theory of L(Q)

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)