On the computability of cofinal Fraïssé limits
For any collection of finite structures closed under isomorphism (i.e., an age) which has the Hereditary Property (HP), the Joint Embedding Property (JEP), and the Cofinal Amalgamation Property (CAP), there is a unique (up to isomorphism) countable structure which is cofinally ultrahomogeneous with the given age. Such a structure is called the cofinal Fraïssé limit of the age. In this paper, we consider the computational strength needed to construct the cofinal Fraïssé limit of a computable age. We show that this construction can always be done using the oracle 0''', and that there are ages…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2601.22435
curl -X POST /api/v1/records/arxiv/2601.22435/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2601.22435/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'