Constructing regular ultrafilters from a model-theoretic point of view

Details Constructing regular ultrafilters from a model-theoretic point of view Constructing regular ultrafilters from a model-theoretic point of view

2012-04-06

arxiv.org/abs/1204.1481v1

Mathematics

Logic

31 pages

Scientific paper

This paper contributes to the set-theoretic side of understanding Keisler's order. We consider properties of ultrafilters which affect saturation of unstable theories: the lower cofinality $\lcf(\aleph_0, \de)$ of $\aleph_0$ modulo $\de$, saturation of the minimum unstable theory (the random graph), flexibility, goodness, goodness for equality, and realization of symmetric cuts. We work in ZFC except when noted, as several constructions appeal to complete ultrafilters thus assume a measurable cardinal. The main results are as follows. First, we investigate the strength of flexibility, detected by non-low theories. Assuming $\kappa > \aleph_0$ is measurable, we construct a regular ultrafilter on $\lambda \geq 2^\kappa$ which is flexible (thus: ok) but not good, and which moreover has large $\lcf(\aleph_0)$ but does not even saturate models of the random graph. We prove that there is a loss of saturation in regular ultrapowers of unstable theories, and give a new proof that there is a loss of saturation in ultrapowers of non-simple theories. Finally, we investigate realization and omission of symmetric cuts, significant both because of the maximality of the strict order property in Keisler's order, and by recent work of the authors on $SOP_2$. We prove that for any $n < \omega$, assuming the existence of $n$ measurable cardinals below $\lambda$, there is a regular ultrafilter $D$ on $\lambda$ such that any $D$-ultrapower of a model of linear order will have $n$ alternations of cuts, as defined below. Moreover, $D$ will $\lambda^+$-saturate all stable theories but will not $(2^{\kappa})^+$-saturate any unstable theory, where $\kappa$ is the smallest measurable cardinal used in the construction.

Affiliated with

Also associated with

No associations

Rating

Constructing regular ultrafilters from a model-theoretic point of view 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 Constructing regular ultrafilters from a model-theoretic point of view, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Constructing regular ultrafilters from a model-theoretic point of view will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-184714