Archives
Keywords
higher Baire space weak square Generalized descriptive set theory Non-saturation transformations Was Ulam right coloring number Dushnik-Miller Erdos Cardinal Erdos-Hajnal graphs Universal Sequences Foundations Reduced Power HOD Sierpinski's onto mapping principle Club Guessing b-scale Open Access Precaliber Large Cardinals Kurepa Hypothesis Ulam matrix unbounded function Analytic sets ccc GMA incompactness Rado's conjecture Respecting tree Almost countably chromatic free Boolean algebra Amenable C-sequence indecomposable ultrafilter Forcing Cardinal Invariants Cardinal function Greatly Mahlo Whitehead Problem square Fodor-type reflection Sakurai's Bell inequality Diamond-sharp Chang's conjecture Filter reflection Microscopic Approach Subnormal ideal Diamond for trees reflection principles Closed coloring Successor of Regular Cardinal projective Boolean algebra Sigma-Prikry S-Space Knaster and friends tensor product graph Uniformization Hindman's Theorem diamond star Souslin Tree Slim tree Strongly Luzin set stationary reflection Almost Souslin Rock n' Roll Intersection model polarized partition relation Rainbow sets free Souslin tree stick Weakly compact cardinal Forcing Axioms weak Kurepa tree C-sequence Antichain Commutative projection system approachability ideal nonmeager set Selective Ultrafilter L-space Subadditive Small forcing Aronszajn tree Martin's Axiom Prikry-type forcing SNR Generalized Clubs Vanishing levels Iterated forcing Poset specializable Souslin tree Square-Brackets Partition Relations Chromatic number Coherent tree Successor of Singular Cardinal Well-behaved magma Jonsson cardinal full tree Uniformly homogeneous Partition Relations Parameterized proxy principle Ineffable cardinal Lipschitz reduction Dowker space OCA Cohen real Singular cofinality Shelah's Strong Hypothesis Almost-disjoint family Minimal Walks positive partition relation Reflecting stationary set regressive Souslin tree middle diamond Mandelbrot set Absoluteness Uniformly coherent AIM forcing Prevalent singular cardinals Fast club club_AD very good scale PFA(S)[S] Ramsey theory over partitions Fat stationary set Knaster Subtle tree property Distributive tree weak diamond Diamond strongly bounded groups Local Club Condensation. PFA Subtle cardinal Luzin set Commutative cancellative semigroups stationary hitting Nonspecial tree ZFC construction Postprocessing function Ostaszewski square Hedetniemi's conjecture Strongly compact cardinal countably metacompact sap Countryman line Hereditarily Lindelöf space Singular cardinals combinatorics O-space xbox square principles super-Souslin tree Ascent Path Axiom R P-Ideal Dichotomy Strong coloring 54G20 Constructible Universe Singular Density
Tag Archives: Diamond
The search for diamonds
Abstract: This is a review I wrote for the Bulletin of Symbolic Logic on the following papers: Saharon Shelah, Middle Diamond, Archive for Mathematical Logic, vol. 44 (2005), pp. 527–560. Saharon Shelah, Diamonds, Proceedings of the American Mathematical Society, vol. … Continue reading
Posted in Publications, Reviews, Squares and Diamonds
Tagged Diamond, middle diamond, weak diamond, weak square
1 Comment
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
Shelah’s solution to Whitehead’s problem
Whitehead problem notes in hebrew : Table of contents Chapter 0 Chapter 1 Chapter 2 Chapter 3 Chapter 4 Chapter 5 Chapter 6 Chapter 7 Chapter 8 Chapter 9 Chapter 10 Chapter 11 Chapter 12 References
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
