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