Strong Tree Properties at Successors of Singular Cardinals

TL;DR

This paper proves that certain large cardinal assumptions imply the strong tree property at successors of singular cardinals, including aleph_{omega+1}, expanding understanding of combinatorial properties in set theory.

Contribution

It establishes the strong tree property at successors of singular limits of strongly compact cardinals and shows its consistency at aleph_{omega+1}.

Findings

Strong tree property holds at successors of singular limits of strongly compact cardinals.

Consistency of strong tree property at aleph_{omega+1} is demonstrated.

Advances understanding of combinatorial properties at large cardinals.

Abstract

We prove that successors of singular limits of strongly compact cardinals have the strong tree property. We also prove that aleph_{omega+1} can consistently satisfy the strong tree property.