Indiscernibles, EM-types, and Ramsey classes of trees

From MaRDI portal
Publication:498616

DOI10.1215/00294527-3132797zbMATH Open1334.03035arXiv1208.2991OpenAlexW3101162787MaRDI QIDQ498616FDOQ498616


Authors: Lynn Scow Edit this on Wikidata


Publication date: 29 September 2015

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

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.


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




Recommendations





Cited In (11)





This page was built for publication: Indiscernibles, EM-types, and Ramsey classes of trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q498616)