scientific article

From MaRDI portal

Publication:3993285

Jump to:navigation, search

zbMath0875.03082MaRDI QIDQ3993285

Marat M. Arslanov

Publication date: 17 September 1992

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

zbMATH Keywords

fixed points completeness index sets arithmetical hierarchy recursive functions recursion theorem degrees of unsolvability recursively enumerable degrees Cantor diagonal method complexity of logical description

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Recursive functions and relations, subrecursive hierarchies (03D20) Other degrees and reducibilities in computability and recursion theory (03D30)

This page was built for publication:

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