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