On the computability of cofinal Fraïssé limits

Nathanael Ackerman, Cameron Freer, Mostafa Mirabi

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 Amalgama…