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