{"id":"arxiv/2609.06856","url":"https://arxiv.org/abs/2609.06856","tags":["math.LO"],"score":0,"title":"Vopěnka's Principle without Choice: Preservation under Symmetric Extensions","domain":"math.LO","source":"arxiv","authors":["Tom de Groot","Wojciech Aleksander Wołoszyn"],"reviews":0,"subject":"math.LO","summary":"We give a detailed proof that every set-sized symmetric extension of a model of $\\mathsf{ZF}+\\mathsf{VP}$ again satisfies $\\mathsf{ZF}+\\mathsf{VP}$, where $\\mathsf{VP}$ is formulated for arbitrary set-sized languages. For each standard $n\\geq 1$, the same preservation theorem holds for $\\mathsf{VP}(Π_n)$, with set parameters and arbitrary set-sized languages. We also prove that $\\mathsf{ZF}+\\mathsf{VP}$ and $\\mathsf{ZFC}+\\mathsf{VP}$ are equiconsistent, and that $\\mathsf{ZF}+\\mathsf{VP}$ proves the existence of a proper class of Löwenheim-Skolem cardinals. Relative to…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-06","reactions":{}}