Characterizing model-theoretic dividing lines via collapse of generalized indiscernibles

@article{Guingona2017CharacterizingMD,
  title={Characterizing model-theoretic dividing lines via collapse of generalized indiscernibles},
  author={Vincent Guingona and C. Hill and Lynn Scow},
  journal={Ann. Pure Appl. Log.},
  year={2017},
  volume={168},
  pages={1091-1111}
}
  • Vincent Guingona, C. Hill, Lynn Scow
  • Published 2017
  • Mathematics, Computer Science
  • Ann. Pure Appl. Log.
  • 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. 
    10 Citations

    Topics from this paper.

    On positive local combinatorial dividing-lines in model theory
    • 2
    • PDF
    Ramsey Transfer to Reducts
    Some model-theoretic remarks on structural Ramsey theory
    • 1
    • Highly Influenced
    • PDF
    Erd\H{o}s-Rado Classes
    • 1
    • PDF
    Ranks Based on Fraisse Classes
    A separation theorem for simple theories
    • 1
    • PDF
    On a common generalization of Shelah's 2-rank, dp-rank, and o-minimal dimension
    • 8
    • PDF
    Distinct volume subsets via indiscernibles
    On the number of independent orders

    References

    SHOWING 1-10 OF 19 REFERENCES
    Generalized Indiscernibles as Model-complete Theories
    • 5
    • PDF
    Classification theory - and the number of non-isomorphic models, Second Edition
    • S. Shelah
    • Mathematics, Computer Science
    • Studies in logic and the foundations of mathematics
    • 1990
    • 323
    Characterization of NIP theories by ordered graph-indiscernibles
    • Lynn Scow
    • Mathematics, Computer Science
    • Ann. Pure Appl. Log.
    • 2012
    • 16
    • PDF
    Characterizing rosy theories
    • 49
    • PDF
    Toward Classifying Unstable Theories
    • S. Shelah
    • Mathematics, Computer Science
    • Ann. Pure Appl. Log.
    • 1996
    • 87
    • PDF
    Notions around tree property 1
    • 28
    • PDF
    Tree indiscernibilities, revisited
    • 18
    • PDF
    The characteristic sequence of a first-order formula
    • 12
    • PDF
    On a common generalization of Shelah's 2-rank, dp-rank, and o-minimal dimension
    • 8
    • PDF