Easton's theorem for the tree property below aleph_omega

Abstract

Starting with infinitely many supercompact cardinals, we show that the tree property at every cardinal aleph(n), 1 aleph(n+1), n kappa(+) for every infinite kappa. (C) 2021 Elsevier B.V. All rights reserved.

Keywords

• Easton's theorem
• Tree property
• Large cardinals