Delphi.science

Large cardinals, small violations of choice

Source: arxiv.org/abs/2611.05140

Hope Duncan, Gabriel Goldberg, Asaf Karagila

arXivarxiv/2611.05140Nov 3, 2026math.LOscore 0

We study the relationship between large cardinals and Blass' Small Violation of Choice ($\mathsf{SVC}$), which states that the Axiom of Choice holds in a set-generic extension of the universe. Our main theorem is that in the presence of a supercompact cardinal, either the Axiom of Choice fails significantly, or else $\mathsf{SVC}$ holds in $L(\mathcal P(\mathrm{Ord}))$. We show that a supercompact is not strong enough to reflect $\mathsf{SVC}$, while an extendible cardinal is. If we assume Usuba's Loś Property holds for the supercompact, then we can outright derive $\mathsf{SVC}$ in the…

JSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2611.05140
curl -X POST /api/v1/records/arxiv/2611.05140/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2611.05140/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'