Recovering a structure from its tree of tuples
We show that for each countable ordinal $α$, there is a $\mathbfΔ^0_α$ operator that, for all $A$ of Scott rank at most $α$, takes copies of $T_A$ to copies of $A$, where $T_A$ is the tree of tuples corresponding to $A$. For finite $α$, we show that this is best possible. The proof that there is a $\mathbfΔ^0_α$ operator uses Harrington's method of workers. The sharpness result, for finite $n$, uses recent work of Harrison-Trainor on ``unfriendly jump inversion.''
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.05611
curl -X POST /api/v1/records/arxiv/2610.05611/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.05611/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'