{"id":"arxiv/2601.22435","url":"https://arxiv.org/abs/2601.22435","tags":["math.LO","cs.LO"],"score":0,"title":"On the computability of cofinal Fraïssé limits","domain":"math.LO","source":"arxiv","authors":["Nathanael Ackerman","Cameron Freer","Mostafa Mirabi"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-30","reactions":{}}