Aronszajn trees and maximality

Omer Ben-Neria, Siiri Kivimäki, Menachem Magidor +1

Assuming the consistency of a weakly compact cardinal above a regular uncountable cardinal $\mu$, we prove the consistency of the existence of a wide ${\mu }^{+}$-Aronszajn tree, i.e. a tre…