Non-forking w-good frames
Logic
2018-03-13 v2
Abstract
We introduce the notion of a w-good -frame which is a weakening of Shelah's notion of a good -frame. Existence of a w-good -frame implies existence of a model of size . Tameness and amalgamation imply extension of a w-good -frame to larger models. As an application we show: Suppose and . If and is -tame, then . 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.
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