Vopěnka's Principle without Choice: Preservation under Symmetric Extensions
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.06856
curl -X POST /api/v1/records/arxiv/2609.06856/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.06856/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'