Characterizing model-theoretic dividing lines via collapse of generalized indiscernibles

DOI10.1016/J.APAL.2016.11.007zbMATH Open1422.03069arXiv1511.07245OpenAlexW2962894074MaRDI QIDQ515567FDOQ515567

Authors: Vincent Guingona, Cameron Donnay Hill, Lynn Scow 

Publication date: 16 March 2017

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1511.07245

Recommendations

• On positive local combinatorial dividing-lines in model theory
• Characterization of NIP theories by ordered graph-indiscernibles
• scientific article; zbMATH DE number 2113455
• Dividing lines in unstable theories and subclasses of Baire 1 functions
• An independence theorem for \(\mathrm{NTP}_{2}\) theories

zbMATH Keywords

collapsegeneralized indiscerniblesNTP2op-dimensionrosy

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model theory of ordered structures; o-minimality (03C64) Ultraproducts and related constructions (03C20) Other classical first-order model theory (03C68)

Cites Work

• Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups
• New Ramsey classes from old
• Classification theory and the number of non-isomorphic models
• Toward classifying unstable theories
• Simple unstable theories
• Characterizing rosy theories
• Ramsey property, ultrametric spaces, finite posets, and universal minimal flows
• The characteristic sequence of a first-order formula
• Notions around tree property 1
• Characterization of NIP theories by ordered graph-indiscernibles
• Tree indiscernibilities, revisited
• On a common generalization of Shelah's 2-rank, dp-rank, and o-minimal dimension

Cited In (11)

• A separation theorem for simple theories
• Distinct volume subsets via indiscernibles
• Ramsey transfer to semi-retractions
• Shearing in some simple rank one theories
• On a common generalization of Shelah's 2-rank, dp-rank, and o-minimal dimension
• Characterization of NIP theories by ordered graph-indiscernibles
• Ranks based on strong amalgamation Fraïssé classes
• On positive local combinatorial dividing-lines in model theory
• On the number of independent orders
• Dividing lines in unstable theories and subclasses of Baire 1 functions
• Products of classes of finite structures

This page was built for publication: Characterizing model-theoretic dividing lines via collapse of generalized indiscernibles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q515567)