Kueker's conjecture for stable theories

DOI10.2307/2275025zbMath0675.03018OpenAlexW1965109334WikidataQ55969530 ScholiaQ55969530MaRDI QIDQ3829541

Ehud Hrushovski

Publication date: 1989

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

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

zbMATH Keywords

stable theoriesuncountable modelaleph-zero-saturated modelfirst order complete countable theory categorical in some infinite powerKueker's conjecturetheories which interpret a linear orderingtheories with Skolem functions

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Categoricity and completeness of theories (03C35)

Related Items

Meager forking, Pseudoprojective strongly minimal sets are locally projective, On the class of flat stable theories, Some remarks on nonmultidimensional superstable theories, On VC-minimal theories and variants, Four concepts from “geometrical” stability theory in modules, Zariski geometries, Almost orthogonal regular types, A dichotomy theorem for regular types, On Kueker's conjecture, Countable models of 1-based theories, Superstable theories with few countable models, On Kueker simple theories, Model theory without choice? Categoricity, A trichotomy of countable, stable, unsuperstable theories, Unidimensional theories are superstable, Ample pairs, Finitely based theories

Cites Work

• A survey of basic stability theory, with particular emphasis on orthogonality and regular types
• Ranks and definability in superstable theories
• Logic with the quantifier “there exist uncountably many”