Characterizing model-theoretic dividing lines via collapse of generalized indiscernibles

DOI10.1016/J.APAL.2016.11.007MaRDI QIDQ515567zbMATH OpenOpenAlexFDO

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)

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

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)

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.

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

Cites work

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

Cited in

(11)

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

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)