Normal Forms and Uniform Reflection under the Arithmetical Church Thesis
We study a refinement of the analytic hierarchy over second-order arithmetic under the arithmetical Church thesis, the assertion that every set of natural numbers is arithmetical. The thesis is false in the full standard model, but it is naturally satisfied in the $ω$-model consisting of the arithmetical sets. Over $\mathsf{ACA}_0^\ast+\mathsf{ACT}$, second-order quantifiers can be replaced by quantification over codes for arithmetical sets, and this gives normal forms which distinguish first-order and second-order quantifier alternations more finely than the usual analytic hierarchy. As an…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.03238
curl -X POST /api/v1/records/arxiv/2608.03238/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.03238/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'