On wide Aronszajn trees in the presence of MA

DOI10.1017/JSL.2020.42arXiv2002.02396MaRDI QIDQ6334261FDOQ6334261

Authors: Mirna Džamonja, S. Shelah 

Publication date: 6 February 2020

Abstract: A wide Aronszajn tree is a tree of size and height $omeg{a}_1$ with no uncountable branches. We prove that under $MA(omeg{a}_1)$ there is no wide Aronszajn tree which is universal under weak embeddings. This solves an open question of Mekler and V"a"an"anen from 1994. We also prove that under the same assumption there is no universal Aronszajn tree, improving a result of Todorv{c}evi{'c} from 2007 who proved the same under the assumption of BPFA for posets of size $alep{h}_1$. Finally, we prove that under $MA(omeg{a}_1)$, every wide Aronszajn tree weakly embeds in an Aronszajn tree.

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50)

This page was built for publication: On wide Aronszajn trees in the presence of MA

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6334261)