Computability and Complexity2026-03-010 PRE AI DOI:10.1017/bsl.2026.10149OriginalOriginal request for helpShareSaveAbstract En