期刊
NOTRE DAME JOURNAL OF FORMAL LOGIC
卷 56, 期 3, 页码 429-447出版社
DUKE UNIV PRESS
DOI: 10.1215/00294527-3132797
关键词
generalized indiscernibles; Ramsey class; modeling property
The author has previously shown that for a certain class of structures l, l-indexed indiscernible sets have the modeling property just in case the age of l 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. This result is applied to give new proofs that certain classes of trees are Ramsey. To aid this project we develop the logic of EM-types.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据