Dependence and Isolated Extensions
Abstract
In this paper, we show that φ is a dependent formula if and only if all φ-types have an extension to a φ-isolated φ-type that is an "elementary φ-extension" (see Definition 2.3 in the paper). Moreover, we show that the domain of this extension adds at most 2 times the independence dimension of φ new elements to the domain of the original φ-type. We give corollaries to this theorem and discuss parallels to the stable setting.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.