
arXiv: 1908.11400
AbstractBuilding on Pierre Simon’s notion of distality, we introduce distality rank as a property of first-order theories and give examples for each rankmsuch that$1\leq m \leq \omega $. For NIP theories, we show that distality rank is invariant under base change. We also define a generalization of type orthogonality calledm-determinacy and show that theories of distality rankmrequire certain products to bem-determined. Furthermore, for NIP theories, this behavior characterizesm-distality. If we narrow the scope to stable theories, we observe thatm-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 thatm-distality is a strengthening of Saharon Shelah’s notion ofm-dependence.
indiscernible sequences, Properties of classes of models, dependent theories, Mathematics - Logic, classification theory, geometric stability theory, 03C45 (Primary) 03C52 (Secondary), model theory, FOS: Mathematics, Classification theory, stability, and related concepts in model theory, Logic (math.LO), random graphs
indiscernible sequences, Properties of classes of models, dependent theories, Mathematics - Logic, classification theory, geometric stability theory, 03C45 (Primary) 03C52 (Secondary), model theory, FOS: Mathematics, Classification theory, stability, and related concepts in model theory, Logic (math.LO), random graphs
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
