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