2 papers
math.LO2026
Strong Tree Properties Along Many Segments of Successors of Singulars
William Adkisson
The strong tree property and the super tree property (also called ITP) are generalizations of the tree property that characterize strong compactness and supercompactness up to inac…
math.LO2025
On the strength of ultrafilters above choiceless large cardinals and their Prikry forcings
William Adkisson, Omer Ben Neria
We study the strength of well-founded ultrafilters on ordinals above choiceless large cardinals and their associated Prikry forcings. Gabriel Goldberg showed that all but boundedly…