7 research outputs found
Characterizing large cardinals in terms of layered posets
Given an uncountable regular cardinal , a partial order is
-stationarily layered if the collection of regular suborders of
of cardinality less than is stationary in
. We show that weak compactness can be
characterized by this property of partial orders by proving that an uncountable
regular cardinal is weakly compact if and only if every partial order
satisfying the -chain condition is -stationarily layered. We
prove a similar result for strongly inaccessible cardinals. Moreover, we show
that the statement that all -Knaster partial orders are
-stationarily layered implies that is a Mahlo cardinal and
every stationary subset of reflects. This shows that this statement
characterizes weak compactness in canonical inner models. In contrast, we show
that it is also consistent that this statement holds at a non-weakly compact
cardinal
Squares, ascent paths, and chain conditions
With the help of various square principles, we obtain results concerning the
consistency strength of several statements about trees containing ascent paths,
special trees, and strong chain conditions. Building on a result that shows
that Todor\v{c}evi\'{c}'s principle implies an indexed
version of , we show that for all infinite, regular
cardinals , the principle implies the
existence of a -Aronszajn tree containing a -ascent path. We
then provide a complete picture of the consistency strengths of statements
relating the interactions of trees with ascent paths and special trees. As a
part of this analysis, we construct a model of set theory in which
-Aronszajn trees exist and all such trees contain -ascent
paths. Finally, we use our techniques to show that the assumption that the
-Knaster property is countably productive and the assumption that every
-Knaster partial order is -stationarily layered both imply the
failure of
Layered posets and Kunen's universal collapse
We develop the theory of layered posets, and use the notion of layering to
prove a new iteration theorem (Theorem 6): if is weakly compact then
any universal Kunen iteration of -cc posets (each possibly of size
) is -cc, as long as direct limits are used sufficiently often.
This iteration theorem simplifies and generalizes the various chain condition
arguments for universal Kunen iterations in the literature on saturated ideals,
especially in situations where finite support iterations are not possible. We
also provide two applications: (1) For any , a wide variety of
-closed, -cc posets of size can
consistently be absorbed (as regular suborders) by quotients of saturated
ideals on (see Theorem 7 and Corollary 8); and (2) For any , the Tree Property at is consistent with the Chang's
Conjecture (Theorem 9).Comment: corrected proof of Lemma
Knaster and friends I: Closed colorings and precalibers
The productivity of the -chain condition, where is a
regular, uncountable cardinal, has been the focus of a great deal of
set-theoretic research. In the 1970s, consistent examples of -cc posets
whose squares are not -cc were constructed by Laver, Galvin, Roitman
and Fleissner. Later, examples were constructed by Todorcevic,
Shelah, and others. The most difficult case, that in which ,
was resolved by Shelah in 1997.
In this work, we obtain analogous results regarding the infinite productivity
of strong chain conditions, such as the Knaster property. Among other results,
for any successor cardinal , we produce a example of a
poset with precaliber whose power is not
-cc. To do so, we carry out a systematic study of colorings satisfying
a strong unboundedness condition. We prove a number of results indicating
circumstances under which such colorings exist, in particular focusing on cases
in which these colorings are moreover closed
Characterizations of the weakly compact ideal on
Hellsten \cite{MR2026390} gave a characterization of -indescribable
subsets of a -indescribable cardinal in terms of a natural filter
base: when is a -indescribable cardinal, a set
is -indescribable if and only if for every -club . We generalize
Hellsten's characterization to -indescribable subsets of
, which were first defined by Baumgartner. After showing that
under reasonable assumptions the -indescribability ideal on
equals the minimal \emph{strongly} normal ideal
on , and is not equal to
as may be expected, we formulate a notion of
-club subset of and prove that a set is -indescribable if and only if for every -club . We also prove
that elementary embeddings considered by Schanker \cite{MR2989393} witnessing
\emph{near supercompactness} lead to the definition of a normal ideal on
, and indeed, this ideal is equal to Baumgartner's ideal of
non---indescribable subsets of . Additionally, as
applications of these results we answer a question of Cox-L\"ucke
\cite{MR3620068} about -layered posets, provide a characterization
of -indescribable subsets of in terms of generic
elementary embeddings, prove several results involving a two-cardinal weakly
compact diamond principle and observe that a result of Pereira \cite{MR3640048}
yeilds the consistency of the existence of a -semimorasses
which is -indescribable for all
.Comment: revised version for APA
Knaster and friends III: Subadditive colorings
We continue our study of strongly unbounded colorings, this time focusing on
subadditive maps. In Part I of this series, we showed that, for many pairs of
infinite cardinals , the existence of a strongly unbounded
coloring is a theorem of ZFC. Adding the
requirement of subadditivity to a strongly unbounded coloring is a significant
strengthening, though, and here we see that in many cases the existence of a
subadditive strongly unbounded coloring is independent of ZFC.
We connect the existence of subadditive strongly unbounded colorings with a
number of other infinitary combinatorial principles, including the narrow
system property, the existence of -Aronszajn trees with ascent paths,
and square principles. In particular, we show that the existence of a closed,
subadditive, strongly unbounded coloring is equivalent to a certain weak
indexed square principle. We conclude the paper with an application to the
failure of the infinite productivity of -stationarily layered posets,
answering a question of Cox
Knaster and friends II: The C-sequence number
Motivated by a characterization of weakly compact cardinals due to
Todorcevic, we introduce a new cardinal characteristic, the C-sequence number,
which can be seen as a measure of the compactness of a regular uncountable
cardinal. We prove a number of ZFC and independence results about the
C-sequence number and its relationship with large cardinals, stationary
reflection, and square principles. We then introduce and study the more general
C-sequence spectrum and uncover some tight connections between the C-sequence
spectrum and the strong coloring principle U(...), introduced in Part I of this
series