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