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

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

# 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