Infinite Belligerent Jump Inversion and Computable Scott Analysis
Scott analysis provides two fundamental tools for studying countable structures: Scott sentences, which characterize structures up to isomorphism, and back-and-forth relations, which measure structural similarity. A recurring phenomenon in computable structure theory is that many notions naturally associated with level $α$ of Scott analysis have effective complexity at approximately $2α$ jumps. This discrepancy appears both in the complexity of the back-and-forth relations and in the passage from arbitrary infinitary formulas to computable infinitary formulas. We develop two new coding…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.10935
curl -X POST /api/v1/records/arxiv/2607.10935/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.10935/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'