Recursion Theory

From MaRDI portal

Publication:2827770

Jump to:navigation, search

DOI10.1017/9781316717011zbMath1366.03001OpenAlexW4253295594MaRDI QIDQ2827770

J. R. Shoenfield

Publication date: 21 October 2016

Full work available at URL: https://doi.org/10.1017/9781316717011

zbMATH Keywords

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

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Computability and recursion theory (03Dxx)

This page was built for publication: Recursion Theory

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2827770&oldid=15746411"