{"id":"arxiv/2605.09161","url":"https://arxiv.org/abs/2605.09161","tags":["math.LO"],"score":0,"title":"On the Intermediate Models of Strongly Compact Prikry Forcing","domain":"math.LO","source":"arxiv","authors":["Tom Benhamou","Sebastiano Thei","Ben-Zion Weltsch"],"reviews":0,"subject":"math.LO","summary":"We analyze the intermediate models of the strongly compact Prikry forcing. We exhibit a simple combinatorial property which, for a given supercompact cardinal $κ$, characterize the projections of all projections of the strongly compact Prikry forcing using $κ$-complete fine measures. Considering level-by-level results, if $κ$ is $2^λ$-strongly compact, we characterize the forcings of size $\\leqλ$ which are projections of that $λ$-strongly compact Prikry forcing. Our characterization generalizes several known results, including those of Benhamou-Hayut-Gitik and folklore results regarding the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-09","reactions":{}}