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

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

# 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