Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
5778134 | Annals of Pure and Applied Logic | 2017 | 21 Pages |
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Vincent Guingona, Cameron Donnay Hill, Lynn Scow,