16,759 research outputs found
A Theory of Stationary Trees and the Balanced Baumgartner-Hajnal-Todorcevic Theorem for Trees
Building on early work by Stevo Todorcevic, we describe a theory of
stationary subtrees of trees of successor-cardinal height. We define the
diagonal union of subsets of a tree, as well as normal ideals on a tree, and we
characterize arbitrary subsets of a non-special tree as being either stationary
or non-stationary.
We then use this theory to prove the following partition relation for trees:
Main Theorem: Let be any infinite regular cardinal, let be any
ordinal such that , and let be any natural
number. Then
This is a generalization to trees of the Balanced
Baumgartner-Hajnal-Todorcevic Theorem, which we recover by applying the above
to the cardinal , the simplest example of a
non--special tree.
As a corollary, we obtain a general result for partially ordered sets:
Theorem: Let be any infinite regular cardinal, let be any
ordinal such that , and let be any natural
number. Let be a partially ordered set such that . Then Comment: Submitted to Acta Mathematica Hungaric
Club-guessing, stationary reflection, and coloring theorems
We obtain strong coloring theorems at successors of singular cardinals from
failures of certain instances of simultaneous reflection of stationary sets.
Along the way, we establish new results in club-guessing and in the general
theory of ideals.Comment: Initial public versio
Martin's maximum and the non-stationary ideal
We analyze the non-stationary ideal and the club filter at aleph_1 under MM
Combinatorial Properties and Dependent choice in symmetric extensions based on L\'{e}vy Collapse
We work with symmetric extensions based on L\'{e}vy Collapse and extend a few
results of Arthur Apter. We prove a conjecture of Ioanna Dimitriou from her
P.h.d. thesis. We also observe that if is a model of ZFC, then
can be preserved in the symmetric extension of in terms of
symmetric system , if
is -distributive and is -complete.
Further we observe that if is a model of ZF + , then
can be preserved in the symmetric extension of in terms of
symmetric system , if
is -strategically closed and is
-complete.Comment: Revised versio
Dense ideals and cardinal arithmetic
From large cardinals we show the consistency of normal, fine,
-complete -dense ideals on for
successor . We explore the interplay between dense ideals, cardinal
arithmetic, and squares, answering some open questions of Foreman
- …