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