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
The Information Content of Typical Reals, 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