On wide Aronszajn trees in the presence of MA

Abstract

A wide Aronszajn tree is a tree of size and height ${\omega }_1$ with no uncountable branches. We prove that under $MA({\omega }_1)$ there is no wide Aronszajn tree which is universal under weak embeddings. This solves an open question of Mekler and Väänänen from 1994. We also prove that under the same assumption there is no universal Aronszajn tree, improving a result of Todorčevi{ć} from 2007 who proved the same under the assumption of BPFA for posets of size ${\aleph }_1$. Finally, we prove that under $MA({\omega }_1)$, every wide Aronszajn tree weakly embeds in an Aronszajn tree.

arXiv commentThis is the author's final version of the paper accepted by publication by the Journal of Symbolic Logic

Cited by in corpus (2)

• Alternative Cichoń Diagrams and Forcing Axioms Compatible with CH
• Are all natural numbers the same