### Archives

### Recent blog posts

- A strong form of König’s lemma October 21, 2017
- Prikry forcing may add a Souslin tree June 12, 2016
- The reflection principle $R_2$ May 20, 2016
- Prolific Souslin trees March 17, 2016
- Generalizations of Martin’s Axiom and the well-met condition January 11, 2015
- Many diamonds from just one January 6, 2015
- Happy new jewish year! September 24, 2014
- Square principles April 19, 2014

### Keywords

Hereditarily Lindelöf space Distributive tree Uniformly coherent Aronszajn tree Mandelbrot set Nonspecial tree Rado's conjecture PFA Cohen real Fast club Microscopic Approach Rock n' Roll S-Space Reduced Power 20M14 Selective Ultrafilter Almost Souslin 05A17 Small forcing Absoluteness Shelah's Strong Hypothesis Whitehead Problem Diamond Sakurai's Bell inequality Successor of Singular Cardinal super-Souslin tree Non-saturation Hindman's Theorem stationary hitting sap Antichain ccc Parameterized proxy principle Generalized Clubs Luzin set Square-Brackets Partition Relations square Slim tree Almost-disjoint famiy Singular cardinals combinatorics square principles Hedetniemi's conjecture Postprocessing function Rainbow sets Souslin Tree Chang's conjecture Constructible Universe Axiom R xbox Forcing Axioms Dushnik-Miller Singular coﬁnality 11P99 incompactness middle diamond b-scale Club Guessing tensor product graph Universal Sequences Foundations Successor of Regular Cardinal approachability ideal L-space Large Cardinals Almost countably chromatic Singular Density OCA Forcing Prikry-type forcing Martin's Axiom diamond star weak diamond Uniformization Commutative cancellative semigroups Fodor-type reflection Partition Relations P-Ideal Dichotomy coloring number Erdos Cardinal Ostaszewski square Ascent Path Weakly compact cardinal reflection principles Knaster Stevo Todorcevic Coherent tree Fat stationary set Prevalent singular cardinals Chromatic number polarized partition relation stationary reflection Kurepa Hypothesis very good scale projective Boolean algebra weak square Erdos-Hajnal graphs Minimal Walks Poset HOD Jonsson cardinal free Boolean algebra Cardinal function PFA(S)[S] Cardinal Invariants

# Tag Archives: Uniformly coherent

## 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