Computable Scott Sentences and the Friedman-Stanley embedding
Friedman and Stanley developed the notion of Borel reducibility and illustrated its use in comparing classification problems for some familiar classes of countable structures. For many embeddings, the fact that the embedding is $1-1$ on isomorphism types is explained by the existence of simple formulas that, uniformly, interpret the input structure in the output structure. For the embeddings of graphs in trees, and in linear orderings, there is no uniform interpretation. We focus on a version of the Friedman-Stanley embedding introduced by Harrison-Trainor and Montalban that takes each…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.04404
curl -X POST /api/v1/records/arxiv/2605.04404/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.04404/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'