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
    View PDF on arXiv
    8 Citations
    Highly Influencial Citations
    1
    Background Citations
    3
    Methods Citations
    2

    Topics from this paper

    Explore Further: Topics Discussed in This Paper

      8 Citations
      Citation Type

      Citation Type

      Ramsey Transfer to Reducts
      Categorical Constructions and the Ramsey Property
      • 2
      • PDF
      On n-Dependence
      • 8
      • Highly Influenced
      • PDF
      Categorical equivalence and the Ramsey property for finite powers of a primal algebra
      • 13
      Ramsey transfer to semi-retractions.
      • PDF
      Automorphism groups of finite topological rank
      • 8
      • PDF
      On model-theoretic tree properties
      • 39
      • PDF
      CONSTRAINTS ON TWO ACTIVE GALACTIC NUCLEI IN THE MERGER REMNANT COSMOS J100043.15+020637.2
      • 12
      • PDF

      References

      SHOWING 1-10 OF 46 REFERENCES
      Ramsey Classes and Homogeneous Structures
      • J. Nesetril
      • Mathematics, Computer Science
      • Comb. Probab. Comput.
      • 2005
      • 91
      Tree indiscernibilities, revisited
      • 20
      • 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
      • 17
      • 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
      • 277
      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