Indiscernibles, EM-Types, and Ramsey Classes of Trees

@article{Scow2015IndiscerniblesEA,
  title={Indiscernibles, EM-Types, and Ramsey Classes of Trees},
  author={Lynn Scow},
  journal={Notre Dame J. Formal Log.},
  year={2015},
  volume={56},
  pages={429-447}
}
  • Lynn Scow
  • Published 2015
  • Mathematics, Computer Science
  • Notre Dame J. Formal Log.
  • It was shown in \cite{sc12} that for a certain class of structures $\I$, $\I$-indexed indiscernible sets have the modeling property just in case the age of $\I$ is a Ramsey class. We expand this known class of structures from ordered structures in a finite relational language to ordered, locally finite structures which isolate quantifier-free types by way of quantifier-free formulas. As a corollary, we may conclude that certain classes of finite trees are Ramsey, some previously known. See… CONTINUE READING
    7 Citations

    Topics from this paper.

    Categorical Constructions and the Ramsey Property
    • 2
    • PDF
    On n-Dependence
    • 8
    • Highly Influenced
    • PDF
    On model-theoretic tree properties
    • 38
    • PDF
    Ramsey Transfer to Reducts

    References

    SHOWING 1-10 OF 46 REFERENCES
    Ramsey Classes and Homogeneous Structures
    • J. Nesetril
    • Mathematics, Computer Science
    • Comb. Probab. Comput.
    • 2005
    • 90
    Tree indiscernibilities, revisited
    • 18
    • PDF
    On uniform definability of types over finite sets
    • 20
    • PDF
    Characterization of NIP theories by ordered graph-indiscernibles
    • Lynn Scow
    • Mathematics, Computer Science
    • Ann. Pure Appl. Log.
    • 2012
    • 16
    • PDF
    On the existence of indiscernible trees
    • 10
    • Highly Influential
    Notions around tree property 1
    • 28
    • 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
    • 320
    Some Recent Developments in Ramsey Theory
    • 27
    Karp complexity and classes with the independence property
    • 12
    • PDF
    The stability spectrum for Classes of Atomic Models
    • 8
    • PDF