scientific article

From MaRDI portal

Publication:3994786

Jump to:navigation, search

zbMath0672.03023MaRDI QIDQ3994786

Luis E. Sanchis

Publication date: 17 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Church's thesis induction closure properties computability stack algorithm indexing functions classes closed under recursive operations enumeration hierarchy enumeration properties functional reflexive structure functions and predicates on natural numbers hyperenumeration minimal fixed point theory of continuous functionals reflexivity properties

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) Recursively (computably) enumerable sets and degrees (03D25) Abstract and axiomatic computability and recursion theory (03D75)

Related Items (1)

Introduction to Turing categories

This page was built for publication:

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