Publication:2710214

zbMath0962.03028MaRDI QIDQ2710214

J. R. Shoenfield

Publication date: 22 April 2001

zbMATH Keywords

word problem; recursive sets; computable functions; undecidable theories; hierarchies; recursively enumerable sets; Turing degrees; register machines

Mathematics Subject Classification ID

03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03Dxx: Computability and recursion theory

Related Items

Turing oracle machines, online computing, and three displacements in computability theory