Characterizing Model-Theoretic Dividing Lines via Collapse of Generalized Indiscernibles
Logic
2015-11-24 v1
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.
Keywords
Cite
@article{arxiv.1511.07245,
title = {Characterizing Model-Theoretic Dividing Lines via Collapse of Generalized Indiscernibles},
author = {Vincent Guingona and Cameron Donnay Hill and Lynn Scow},
journal= {arXiv preprint arXiv:1511.07245},
year = {2015}
}
Comments
18 pages