Generic stability and stability

DOI10.1017/JSL.2013.29MaRDI QIDQ2921027zbMATH OpenOpenAlexFDO

Authors Hans Adler, Enrique Casanovas, Anand Pillay

Publication date 30 September 2014

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

Full work available at URL https://arxiv.org/abs/1210.5957

zbMATH Keywords

generically stable typesstable typesstrong germs

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45)

Abstract: We prove two results about generically stable types $p$ in arbitrary theories. The first, on existence of strong germs, generalizes results from D. Haskell, E. Hrushovski and D. Macpherson on stably dominated types. The second is an equivalence of forking and dividing, assuming generic stability of $p^{(m)}$ for all $m$. We use the latter result to answer in full generality a question posed by Hasson and Onshuus: If $p(x)inS(B)$ is stable and does not fork over $A$ then $pestrictionA$ is stable. (They had solved some special cases.)

Recommendations

• On generically stable types in dependent theories
• Generic stability, forking, and thorn-forking
• Around stable forking
• Generically stable regular types
• scientific article; zbMATH DE number 493066

Cites work

• scientific article; zbMATH DE number 2113455 (Why is no real title available?)
• On NIP and invariant measures
• Stable domination and independence in algebraically closed valued fields

Cited in

(12)

• Remarks on generic stability in independent theories
• Product of invariant types modulo domination-equivalence
• Non-forking and preservation of NIP and dp-rank
• On \(\omega\)-categorical, generically stable groups and rings
• Generic stability, forking, and thorn-forking
• Imaginaries, invariant types and pseudo \(p\)-adically closed fields
• Generically stable regular types
• Keisler measures in the wild
• Stable domination and weight
• The group configuration theorem for generically stable types
• Density of compressible types and some consequences
• Definable convolution and idempotent Keisler measures. III: Generic stability, generic transitivity, and revised Newelski's conjecture

This page was built for publication: Generic stability and stability

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