TY  - RPRT
TI  - Aronszajn trees and maximality
AU  - Omer Ben-Neria
AU  - Siiri Kivimäki
AU  - Menachem Magidor
AU  - Jouko Väänänen
PY  - 2025
UR  - https://arxiv.org/abs/2305.07880
ID  - 2305.07880
ER  -