Ramsey quantifiers and the finite cover property
From MaRDI portal
Publication:1157322
DOI10.2140/pjm.1980.90.11zbMath0471.03022OpenAlexW2095264598MaRDI QIDQ1157322
David W. Kueker, John T. Baldwin
Publication date: 1980
Published in: Pacific Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2140/pjm.1980.90.11
Logic with extra quantifiers and operators (03C80) Quantifier elimination, model completeness, and related topics (03C10) Categoricity and completeness of theories (03C35)
Related Items
Some contributions to definability theory for languages with generalized quantifiers, Magidor-Malitz quantifiers in modules, Compactly expandable models and stability, The metamathematics of random graphs, Pseudo-finite homogeneity and saturation, Complete Coinductive Theories. I, On the role of Ramsey quantifiers in first order arithmetic