Category methods in recursion theory

DOI10.2140/pjm.1961.11.1479zbMath0112.24601OpenAlexW2075387691MaRDI QIDQ1131668

John Myhill

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

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (5)

Reducibilities in two models for combinatory logic ⋮ The Information Content of Typical Reals ⋮ Bibliography of John Myhill ⋮ Myhill's work in recursion theory ⋮ Banach–Mazur games, comeager sets and degrees of unsolvability

This page was built for publication: Category methods in recursion theory