scientific article; zbMATH DE number 3981159

MaRDI QIDQ3745832zbMATH OpenFDO

Authors Gerald E. Sacks

Publication date 1985

zbMATH Keywords

construction of two incomparable r.e. setsfine structure and reflection propertiesFriedberg-Muchnik requirementpartial E-recursive functions

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65) Inner models, including constructibility, ordinal definability, and core models (03E45)

Recommendations

• The limits of E-recursive enumerability
• Post’s Problem for Ordinal Register Machines
• scientific article; zbMATH DE number 1390020
• scientific article; zbMATH DE number 3948239
• scientific article; zbMATH DE number 1747699
• \(E\)-recursive intuitions
• Postorder trees and Eulerian numbers
• Post's problem for ordinal register machines: an explicit approach
• The exact complexity of the infinite Post Correspondence Problem

Cited in

(2)

• scientific article; zbMATH DE number 3995657 (Why is no real title available?)
• scientific article; zbMATH DE number 4156422 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3745832)