Archives
Keywords
Singular cofinality Prikry-type forcing Kurepa Hypothesis Parameterized proxy principle positive partition relation Knaster and friends square principles Strongly Luzin set Fat stationary set Rainbow sets b-scale Amenable C-sequence Distributive tree Analytic sets Open Access Foundations Precaliber Knaster Luzin set indecomposable ultrafilter Postprocessing function Diamond for trees Closed coloring Absoluteness Singular cardinals combinatorics reflection principles coloring number regressive Souslin tree Ineffable cardinal Strong coloring Sigma-Prikry stationary hitting Cohen real Poset Uniformly homogeneous Chang's conjecture countably metacompact Singular Density Martin's Axiom Aronszajn tree Minimal Walks Prevalent singular cardinals HOD Universal Sequences weak diamond Axiom R Large Cardinals Commutative cancellative semigroups Coherent tree Weakly compact cardinal Reflecting stationary set Local Club Condensation. higher Baire space Hereditarily Lindelöf space strongly bounded groups SNR approachability ideal Ulam matrix Erdos-Hajnal graphs Selective Ultrafilter PFA(S)[S] specializable Souslin tree Partition Relations L-space Ascent Path Hedetniemi's conjecture Rock n' Roll unbounded function Uniformly coherent Antichain Almost Souslin Ramsey theory over partitions Diamond Lipschitz reduction diamond star free Boolean algebra middle diamond Almost-disjoint family Ostaszewski square Small forcing Subtle cardinal S-Space Nonspecial tree Constructible Universe very good scale OCA Rado's conjecture Cardinal function Well-behaved magma Iterated forcing free Souslin tree Mandelbrot set Subtle tree property Sakurai's Bell inequality Successor of Regular Cardinal Forcing Axioms C-sequence Reduced Power Diamond-sharp incompactness Uniformization Was Ulam right Whitehead Problem Subadditive Generalized descriptive set theory Microscopic Approach Filter reflection square ZFC construction Greatly Mahlo polarized partition relation Erdos Cardinal Club Guessing O-space Dushnik-Miller weak Kurepa tree stick P-Ideal Dichotomy full tree Shelah's Strong Hypothesis Slim tree Successor of Singular Cardinal Souslin Tree Chromatic number Cardinal Invariants sap projective Boolean algebra PFA super-Souslin tree transformations Jonsson cardinal club_AD 54G20 AIM forcing stationary reflection ccc Almost countably chromatic tensor product graph GMA Dowker space weak square nonmeager set Subnormal ideal Vanishing levels Fodor-type reflection Non-saturation Square-Brackets Partition Relations Sierpinski's onto mapping principle Fast club Generalized Clubs Forcing Hindman's Theorem xbox
Category Archives: Squares and Diamonds
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