Indiscernibles and decidable models
From MaRDI portal
Publication:3674635
DOI10.2307/2273316zbMath0523.03030OpenAlexW2159221465MaRDI QIDQ3674635
Jeffery B. Remmel, Henry A. Kierstead
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
Logic with extra quantifiers and operators (03C80) Classification theory, stability, and related concepts in model theory (03C45) Theory of numerations, effectively presented structures (03D45)
Related Items
\(\Sigma \)-definability of uncountable models of \(c\)-simple theories, Countably categorical theories, Degrees of Indiscernibles in Decidable Models, \(\mathsf{WKL}_0\) and induction principles in model theory
