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