DISTALITY RANK

DOI10.1017/JSL.2022.61MaRDI QIDQ6103461zbMATH OpenOpenAlexFDO

Authors

Publication date 5 June 2023

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

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

zbMATH Keywords

classification theorydependent theoriesgeometric stability theoryindiscernible sequencesmodel theoryrandom graphs

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Properties of classes of models (03C52)

Abstract: Building on Pierre Simon's notion of distality, we introduce distality rank as a property of first-order theories and give examples for each rank $m$ such that $1leqmleqomega$. For NIP theories, we show that distality rank is invariant under base change. We also define a generalization of type orthogonality called $m$-determinacy and show that theories of distality rank $m$ require certain products to be $m$-determined. Furthermore, for NIP theories, this behavior characterizes $m$-distality. If we narrow the scope to stable theories, we observe that $m$-distality can be characterized by the maximum cycle size found in the forking "geometry," so it coincides with $(m-1)$-triviality. On a broader scale, we see that $m$-distality is a strengthening of Saharon Shelah's notion of $m$-dependence.

Recommendations

• Distances and consensus rankings
• Order distance associated with a hierarchy
• Some generalizations of distality
• Minimum distance tests and estimates based on ranks
• scientific article; zbMATH DE number 2195993
• Computing distances between partial rankings
• Rank Degeneracy
• scientific article; zbMATH DE number 4076317
• scientific article; zbMATH DE number 1163861
• scientific article; zbMATH DE number 783966

Cites work

• \(\mathrm{VC}_{\ell }\)-dimension and the jump to the fastest speed of a hereditary \(\mathcal {L}\)-property
• A course in model theory
• A Guide to NIP Theories
• Cutting lemma and Zarankiewicz's problem in distal structures
• Definable groups for dependent and 2-dependent theories
• Distal and non-distal NIP theories
• Distal and non-distal pairs
• Distal and non‐distal behavior in pairs
• Distality for the asymptotic couple of the field of logarithmic transseries
• Distality in valued fields and related structures
• Exact saturation in simple and NIP theories
• Externally definable sets and dependent pairs. II
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• scientific article; zbMATH DE number 1118889 (Why is no real title available?)
• Mekler's construction and generalized stability
• Model Theory
• On n-dependence
• On n-dependent groups and fields
• Onn-dependent groups and fields II
• Regularity lemma for distal structures
• Some trivial considerations
• Strongly dependent theories
• The definable (p,q)-theorem for distal theories
• Type decomposition in NIP theories

Cited in

(1)

• scientific article; zbMATH DE number 783966 (Why is no real title available?)

This page was built for publication: DISTALITY RANK

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