From Stability to Simplicity

DOI10.2307/421004MaRDI QIDQ4392803zbMATH OpenOpenAlexFDO

Authors Byunghan Kim, Anand Pillay

Publication date 11 October 1998

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

Full work available at URL http://www.math.ucla.edu/~asl/bsl/0401-toc.htm

zbMATH Keywords

canonical baseexpository paperLascar strong typesimple theorystable theorysupersimple theorysurvey

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classification theory, stability, and related concepts in model theory (03C45)

Review text

This expository paper describes the main results concerning simple theories. Simplicity in model theory was introduced by Shelah in 1980 as a generalization of stability, within his classification program for countable theories. But actually, Shelah's work laid emphasis on stability rather than on simplicity, because it came out that unstable theories has too many models in any uncountable power and so do not admit any classification; on the other hand, stability guarantees a nice independence notion based on forking. But recent work of the authors (in particular the PhD thesis of the first author) clarifies that simplicity is the key property to ensure independence, and stability just provides some better multiplicity and definability results. In the paper under review, the authors explain accurately the connection between simplicity and stability, with particular emphasis on ``amalgamation of types, they survey the main examples of simple structures and theories (random graphs, pseudofinite fields, the model companion ACFA of the theory of fields equipped with an automorphism, smoothly approximable structures), they describe some recent work on simplicity (including amalgamation of strong types, groups definable in simple structures, a notion of canonical base) and, finally, they discuss a list of open problems.

Recommendations

• Simplicity and stability in there
• Simplicity simplified
• Simplicity
• A simplification of the theory of simplicity
• scientific article; zbMATH DE number 2134660
• A criterion for pure simplicity
• Simplex stability
• Simplicity Is the Point

Cites work

• \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures
• An introduction to forking
• Corps et chirurgie
• Groups definable in local fields and pseudo-finite fields
• scientific article; zbMATH DE number 4016876 (Why is no real title available?)
• Pas d'imaginaires dans l'infini!
• Simple unstable theories
• The elementary theory of finite fields

Cited in

(26)

• The number of types in simple theories
• Simple generic structures
• Random amalgamation of simple theories
• Definability in low simple theories
• Simplicity and stability in there
• Main gap for locally saturated elementary submodels of a homogeneous structure
• The characteristic sequence of a first-order formula
• Strengthening prompt simplicity
• Simplicity simplified
• A note on stationarity of types over models in simple theories
• Geometric simplicity theory
• A further simplification to Jury's stability test
• Simplify or perish
• SIMPLICITY IN COMPACT ABSTRACT THEORIES
• Supersimple ω-categorical groups and theories
• scientific article; zbMATH DE number 1522509 (Why is no real title available?)
• scientific article; zbMATH DE number 2156367 (Why is no real title available?)
• Simple types in discretely ordered structures
• Simple theories
• A separation theorem for simple theories
• Recovering the hyperdefinable group action in the group configuration theorem
• Simple Pairs of Equivalence Relations
• Pseudofinite structures and simplicity
• Group topologies on automorphism groups of homogeneous structures
• Approximate equivalence relations
• n-simple theories

This page was built for publication: From Stability to Simplicity

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