Characterizing Model-Theoretic Dividing Lines via Collapse of Generalized Indiscernibles
classification
🧮 math.LO
keywords
collapseindiscerniblescharacterizedividingequivalencegeneralizedlinestheories
read the original abstract
We use the notion of collapse of generalized indiscernible sequences to classify various model theoretic dividing lines. In particular, we use collapse of n-multi-order indiscernibles to characterize op-dimension n; collapse of function-space indiscernibles (i.e. parameterized equivalence relations) to characterize rosy theories; and finally, convex equivalence relation indiscernibles to characterize NTP2 theories.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.