366 research outputs found
Regular Ultrapowers at Regular Cardinals
In earlier work by the first and second authors, the equivalence of a finite square principle ⥠finλD with various model-theoretic properties of structures of size λ and regular ultrafilters was established. In this paper we investigate the principle ⥠finλD -and thereby the above model-theoretic properties-at a regular cardinal. By Chang's two-cardinal theorem, ⥠finλD holds at regular cardinals for all regular filters D if we assume the generalized continuum hypothesis (GCH). In this paper we prove in ZFC that, for certain regular filters that we call doubly+ regular, ⥠finλD holds at regular cardinals, with no assumption about GCH. Thus we get new positive answers in ZFC to Open Problems 18 and 19 in Chang and Keisler's book Model Theory
Constructing regular ultrafilters from a model-theoretic point of view
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
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 is measurable, we construct a
regular ultrafilter on 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 . We prove that for any , assuming the existence of measurable cardinals below ,
there is a regular ultrafilter on such that any -ultrapower of
a model of linear order will have alternations of cuts, as defined below.
Moreover, will -saturate all stable theories but will not
-saturate any unstable theory, where is the smallest
measurable cardinal used in the construction.Comment: 31 page
Capturing sets of ordinals by normal ultrapowers
We investigate the extent to which ultrapowers by normal measures on
can be correct about powersets for . We
consider two versions of this questions, the capturing property
and the local capturing property
. holds if there is
an ultrapower by a normal measure on which correctly computes
. is a weakening of
which holds if every subset of is
contained in some ultrapower by a normal measure on . After examining
the basic properties of these two notions, we identify the exact consistency
strength of . Building on results of Cummings,
who determined the exact consistency strength of
, and using a forcing due to Apter and Shelah, we
show that can hold at the least measurable
cardinal.Comment: 20 page
Measurable cardinals and good -wellorderings
We study the influence of the existence of large cardinals on the existence
of wellorderings of power sets of infinite cardinals with the property
that the collection of all initial segments of the wellordering is definable by
a -formula with parameter . A short argument shows that the
existence of a measurable cardinal implies that such wellorderings do
not exist at -inaccessible cardinals of cofinality not equal to
and their successors. In contrast, our main result shows that these
wellorderings exist at all other uncountable cardinals in the minimal model
containing a measurable cardinal. In addition, we show that measurability is
the smallest large cardinal property that interferes with the existence of such
wellorderings at uncountable cardinals and we generalize the above result to
the minimal model containing two measurable cardinals.Comment: 14 page
- âŠ