Bar recursion is not computable via iteration

DOI10.3233/COM-180200zbMath1459.03067arXiv1804.07277OpenAlexW2963140500WikidataQ128588349 ScholiaQ128588349MaRDI QIDQ5211057

John Longley

Publication date: 17 January 2020

Published in: Computability (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1804.07277

zbMATH Keywords

iterationcomputabilitybar recursionnon-definabilityhigher-order computability

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65) Abstract and axiomatic computability and recursion theory (03D75)

This page was built for publication: Bar recursion is not computable via iteration