Category methods in recursion theory
From MaRDI portal
Publication:1131668
DOI10.2140/pjm.1961.11.1479zbMath0112.24601MaRDI QIDQ1131668
Publication date: 1961
Published in: Pacific Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2140/pjm.1961.11.1479
03-XX: Mathematical logic and foundations
Related Items
Bibliography of John Myhill, Myhill's work in recursion theory, Reducibilities in two models for combinatory logic, Banach–Mazur games, comeager sets and degrees of unsolvability