pith. sign in

arxiv: 1105.3674 · v1 · pith:TG26WK7Xnew · submitted 2011-05-18 · 🧮 math.LO

Weakening the local character

classification 🧮 math.LO
keywords lambdanon-forkingrelationcharacterlocalsatisfiescardinalityfirst
0
0 comments X
read the original abstract

In [Sh E46], Shelah obtained a non-forking relation for an AEC, (K,\preceq), with LST-number at most \lambda, which is categorical in \lambda and \lambda^+ and has less than 2^{\lambda^+} models of cardinality \lambda^{++}, but at least one. This non-forking relation satisfies the main properties of the non-forking relation on stable first order theories, but only a weak version of the local character. Here, we improve this non-forking relation such that it satisfies the local character, too. Therefore it satisfies the main properties of the non-forking relation on superstable first order theories. We conclude that the function \lambda \to I(\lambda,K), which assigns to each cardinal \lambda, the number of models in K of cardinality \lambda, is not arbitrary.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.