Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 78, Issue 2 (2013), 602-632.
Independence, dimension and continuity in non-forking frames
The notion $J$ is independent in $(M,M_0,N)$ was established by Shelah, for an AEC (abstract elementary class) which is stable in some cardinal $\lambda$ and has a non-forking relation, satisfying the good $\lambda$-frame axioms and some additional hypotheses. Shelah uses independence to define dimension.
Here, we show the connection between the continuity property and dimension: if a non-forking satisfies natural conditions and the continuity property, then the dimension is well-behaved.
As a corollary, we weaken the stability hypothesis and two additional hypotheses, that appear in Shelah's theorem.
J. Symbolic Logic, Volume 78, Issue 2 (2013), 602-632.
First available in Project Euclid: 15 May 2013
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Jarden, Adi; Sitton, Alon. Independence, dimension and continuity in non-forking frames. J. Symbolic Logic 78 (2013), no. 2, 602--632. doi:10.2178/jsl.7802140. https://projecteuclid.org/euclid.jsl/1368627067