We show that the consistency of the theory “ZF + DC + Every successor cardinal is regular + Every limit cardinal is singular + Every successor cardinal satisfies the tree property” follows from the consistency of a proper class of supercompact cardinals. This extends earlier results due to the author showing that the consistency of the theory “ZF + ¬ACω + Every successor cardinal is regular + E...

concept (as opposed to the instance thereof found inside the string xyz). Many people, eager to construct a successor to Platonic z, invoke the commonplace notion of circularity, thus conceiving of a as the successor of z, much as January can be considered the successor of December, the digit Ό' the successor of the digit '9', an ace the successor of a king, or, in music, the note A the success...