### Archives

### Recent blog posts

- 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
- Partitioning the club guessing January 22, 2014

### Keywords

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

# 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