Archives
Keywords
Kurepa Hypothesis Commutative projection system Universal Sequences Greatly Mahlo O-space Ascent Path Dowker space Poset higher Baire space OCA Subadditive free Souslin tree Singular Density Strong coloring Weakly compact cardinal Strongly compact cardinal xbox Monotonically far Generalized descriptive set theory Commutative cancellative semigroups Forcing Axioms stationary reflection GMA Knaster reflection principles Strongly Luzin set ccc Jonsson cardinal club_AD Was Ulam right? Ascending path middle diamond Antichain Martin's Axiom C-sequence Axiom R positive partition relation Partition Relations stick Distributive tree indecomposable filter Diamond Reflecting stationary set Open Access Sakurai's Bell inequality Successor of Regular Cardinal Fast club AIM forcing Small forcing Generalized Clubs nonmeager set Non-saturation Analytic sets transformations Subnormal ideal very good scale Rock n' Roll polarized partition relation b-scale coloring number Club Guessing Reduced Power square principles Hereditarily Lindelöf space Luzin set countably metacompact PFA Parameterized proxy principle Intersection model approachability ideal Sigma-Prikry tensor product graph Knaster and friends Respecting tree ZFC construction weak square Singular cardinals combinatorics unbounded function weak Kurepa tree HOD projective Boolean algebra Successor of Singular Cardinal Singular cofinality incompactness S-Space Prevalent singular cardinals super-Souslin tree Hindman's Theorem strongly bounded groups perfectly normal square Forcing Square-Brackets Partition Relations Mandelbrot set Almost Souslin weak diamond Aronszajn tree Uniformly homogeneous Prikry-type forcing Constructible Universe Minimal Walks Almost-disjoint family Rainbow sets Diamond-sharp Vanishing levels Erdos Cardinal free Boolean algebra P-Ideal Dichotomy Ulam matrix Postprocessing function Fodor-type reflection Hedetniemi's conjecture Closed coloring Selective Ultrafilter Uniformly coherent Uniformization Entangled linear order Microscopic Approach Erdos-Hajnal graphs Lipschitz reduction Absoluteness Diamond for trees diamond star Whitehead Problem Cardinal function Amenable C-sequence Shelah's Strong Hypothesis Well-behaved magma Almost countably chromatic Large Cardinals Local Club Condensation. PFA(S)[S] full tree Ramsey theory over partitions SNR Filter reflection Ostaszewski square Interval topology on trees L-space Subtle tree property 54G20 Cohen real specializable Souslin tree stationary hitting Subtle cardinal Ineffable cardinal Forcing with side conditions Souslin Tree Nonspecial tree Rado's conjecture sap Chromatic number Foundations Partition relations for trees regressive Souslin tree Iterated forcing Chang's conjecture Dushnik-Miller Fat stationary set Cardinal Invariants Precaliber Slim tree Sierpinski's onto mapping principle Countryman line Coherent tree
Category Archives: Squares and Diamonds
Jensen’s diamond principle and its relatives
This is chapter 6 in the book Set Theory and Its Applications (ISBN: 0821848127). Abstract: We survey some recent results on the validity of Jensen’s diamond principle at successor cardinals. We also discuss weakening of this principle such as club … Continue reading
A cofinality-preserving small forcing may introduce a special Aronszajn tree
Extended Abstract: Shelah proved that Cohen forcing introduces a Souslin tree; Jensen proved that a c.c.c. forcing may consistently add a Kurepa tree; Todorcevic proved that a Knaster poset may already force the Kurepa hypothesis; Irrgang introduced a c.c.c. notion … Continue reading
Posted in Publications, Squares and Diamonds
Tagged 03E04, 03E05, 03E35, Aronszajn tree, Small forcing, Successor of Singular Cardinal, weak square
Leave a comment
The failure of diamond on a reflecting stationary set
Joint work with Moti Gitik. Abstract: It is shown that the failure of $\diamondsuit_S$, for a subset $S\subseteq\aleph_{\omega+1}$ that reflects stationarily often, is consistent with GCH and $\text{AP}_{\aleph_\omega}$, relatively to the existence of a supercompact cardinal. This should be comapred with … Continue reading
A relative of the approachability ideal, diamond and non-saturation
Abstract: Let $\lambda$ denote a singular cardinal. Zeman, improving a previous result of Shelah, proved that $\square^*_\lambda$ together with $2^\lambda=\lambda^+$ implies $\diamondsuit_S$ for every $S\subseteq\lambda^+$ that reflects stationarily often. In this paper, for a subset $S\subset\lambda^+$, a normal subideal of … Continue reading
On guessing generalized clubs at the successors of regulars
Abstract: Konig, Larson and Yoshinobu initiated the study of principles for guessing generalized clubs, and introduced a construction of an higher Souslin tree from the strong guessing principle. Complementary to the author’s work on the validity of diamond and non-saturation … Continue reading
The Ostaszewski square, and homogeneous Souslin trees
Abstract: Assume GCH and let $\lambda$ denote an uncountable cardinal. We prove that if $\square_\lambda$ holds, then this may be witnessed by a coherent sequence $\left\langle C_\alpha \mid \alpha<\lambda^+\right\rangle$ with the following remarkable guessing property: For every sequence $\langle A_i\mid i<\lambda\rangle$ … Continue reading
Posted in Publications, Souslin Hypothesis, Squares and Diamonds
Tagged 03E05, 03E35, Club Guessing, Fat stationary set, Ostaszewski square, Souslin Tree
5 Comments
