pith. sign in

arxiv: 1208.2991 · v3 · pith:3RGE2LLVnew · submitted 2012-08-14 · 🧮 math.LO · math.CO

Indiscernibles, EM-types, and Ramsey Classes of Trees

classification 🧮 math.LO math.CO
keywords structuresclassfiniteramseycertainclassesknownordered
0
0 comments X
read the original abstract

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 updated paper for new references.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.