{"id":"arxiv/2603.17949","url":"https://arxiv.org/abs/2603.17949","tags":["math.LO"],"score":0,"title":"Homogeneous forcing","domain":"math.LO","source":"arxiv","authors":["Saharon Shelah"],"reviews":0,"subject":"math.LO","summary":"Assume $κ= κ^{ }{\\rm Ord}$ and not collapsing cardinals along a linear order $L$. A sufficient condition for this, which we will focus on, is for the forcings to have support $<κ$ and the $κ^+$-cc, and be strategically $<κ$-complete. The aim is to have homogeneous forcings, so that the iteration has many automorphisms. In addition to the inherent interest, such iterations are helpful for considering some natural ideals on ${}^\\kappa2$, in order to get a model of ${\\rm ZF} + {\\rm DC}_κ +$ ``modulo this ideal, every set is equivalent to a $κ$-Borel one.\" But here we only have many…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-18","reactions":{}}