scientific article; zbMATH DE number 3867312

MaRDI QIDQ3335771zbMATH OpenFDO

Authors Dieter Spreen

Publication date 1984

zbMATH Keywords

computabilitycpodomainseffective complete partial orderindex setsrecursively enumerable inseparability

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3997775
• Effectivizing Inseparability
• Discrete families of recursive functions and index sets
• Density of recursively inseparable R. E. Sets and universal recrusively inseparability
• scientific article; zbMATH DE number 3914303

Cited in

(5)

• On Church's formal theory of functions and functionals. The - calculus: Connections to higher type recursion theory, proof theory, category theory
• Effective inseparability in a topological setting
• Rice's theorem in effectively enumerable topological spaces
• Computable elements and functions in effectively enumerable topological spaces
• scientific article; zbMATH DE number 3997775 (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 Q3335771)