Characterizing Model-Theoretic Dividing Lines via Collapse of Generalized Indiscernibles

Annals of Pure and Applied Logic(2017)

引用 17|浏览33
暂无评分
摘要
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.
更多
查看译文
关键词
03C45,03C64,03C20,03C68
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要