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

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

# Tag Archives: Nonspecial tree

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