Open Research Index

Existence of bases implies the axiom of choice, a foundation-free proof

Gabriel Fernandes, Renan Maneli Mezabarba, Vinicius de Oliveira Rodrigues

arXivarxiv/2609.20140Sep 17, 2026math.LOscore 0

We prove that, in Zermelo--Fraenkel set theory with the axiom of Foundation removed, the statement that every vector space has a basis implies the Axiom of Choice ($\mathsf{AC}$), concluding that the classical equivalence between $\mathsf{AC}$ and the existence of bases does not require regularity. This result extends to set theory with atoms.

SourceJSON

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