English

Non-forking w-good frames

Logic 2018-03-13 v2

Abstract

We introduce the notion of a w-good λ\lambda-frame which is a weakening of Shelah's notion of a good λ\lambda-frame. Existence of a w-good λ\lambda-frame implies existence of a model of size λ++\lambda^{++}. Tameness and amalgamation imply extension of a w-good λ\lambda-frame to larger models. As an application we show: Theorem\textbf{Theorem} Suppose 2λ<2λ+<2λ++2^{\lambda}< 2^{\lambda^{+}} < 2^{\lambda^{++}} and 2λ+>λ++2^{\lambda^{+}} > \lambda^{++}. If I(K,λ)=I(K,λ+)=1I(K,λ++)<2λ++I(K, \lambda) = I(K, \lambda^{+}) = 1 \leq I(K, \lambda^{++}) < 2^{\lambda^{++}} and KK is (λ,λ+)(\lambda, \lambda^+)-tame, then Kλ+++K_{\lambda^{+++}} \neq \emptyset. The proof presented clarifies some of the details of the main theorem of [Sh576] and avoids using the heavy set-theoretic machinery of [Sh: h \S VII] by replacing it with tameness.

Keywords

Cite

@article{arxiv.1803.01679,
  title  = {Non-forking w-good frames},
  author = {Marcos Mazari Armida},
  journal= {arXiv preprint arXiv:1803.01679},
  year   = {2018}
}

Comments

22 pages; 2 figures; fixed a few typos