Indiscernibles and decidable models

DOI10.2307/2273316MaRDI QIDQ3674635zbMATH OpenOpenAlexFDO

Authors H. A. Kierstead, Jeffrey Remmel

Publication date 1983

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

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

zbMATH Keywords

finite cover propertyindiscerniblesdecidable modelsRamsey quantifier

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Logic with extra quantifiers and operators (03C80) Theory of numerations, effectively presented structures (03D45)

Cited in

(4)

• Countably categorical theories
• Degrees of Indiscernibles in Decidable Models
• \(\mathsf{WKL}_0\) and induction principles in model theory
• \(\Sigma \)-definability of uncountable models of \(c\)-simple theories

This page was built for publication: Indiscernibles and decidable models

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