On the existence of universal models

Details On the existence of universal models On the existence of universal models

1998-05-15

arxiv.org/abs/math/9805149v2

Archive for Mathematical Logic, vol. 43 (2004), pg. 901-936

Mathematics

Logic

Scientific paper

Suppose that $\lambda=\lambda^{<\lambda} \ge\aleph_0$, and we are considering a theory $T$. We give a criterion on $T$ which is sufficient for the consistent existence of $\lambda^{++}$ universal models of $T$ of size $\lambda^+$ for models of $T$ of size $\le\lambda^+$, and is meaningful when $2^{\lambda^+}>\lambda^{++}$. In fact, we work more generally with abstract elementary classes. The criterion for the consistent existence of universals applies to various well known theories, such as triangle-free graphs and simple theories. Having in mind possible applications in analysis, we further observe that for such $\lambda$, for any fixed $\mu>\lambda^+$ regular with $\mu=\mu^{\lambda^+}$, it is consistent that $2^\lambda=\mu$ and there is no normed vector space over ${\Bbf Q}$ of size $<\mu$ which is universal for normed vector spaces over ${\Bbf Q}$ of dimension $\lambda^+$ under the notion of embedding $h$ which specifies $(a,b)$ such that $\norm{h(x)}/\norm{x}\in (a,b)$ for all $x$.

Affiliated with

Also associated with

No associations

Rating

On the existence of universal models does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with On the existence of universal models, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On the existence of universal models will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-1374