Axiom Beta Implies Elementary Transfinite Recursion
We show that $\mathbf{C}$, a weak theory of sets with Axiom Beta, proves the scheme of Elementary, or $Δ_0$ Transfinite Recursion and can generate, for every set, the corresponding relativized constructible hierarchy. We show that the theory $\mathbf{C}$ corresponds to Simpson's system $\mathbf{ATR}_0^\text{set}$ without the Axiom of Countability. In fact, $\mathbf{C}$ proves the totality of the Veblen function and of all primitive recursive set functions. In particular, this means our system $\mathbf{C}$ is equivalent to $\mathbf{PRS}ω+\text{Axiom Beta}$. We also establish an upper bound,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.13913
curl -X POST /api/v1/records/arxiv/2603.13913/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.13913/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'