scientific article; zbMATH DE number 3896924

MaRDI QIDQ3676137zbMATH OpenFDO

Authors

Publication date 1984

zbMATH Keywords

complete partial ordercontinuityeffective operatorseffective topological spacepartial recursive functionsrecursive metric spacetotal recursive functions

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On effective topological spaces
• Effective continuities on effective topological spaces
• scientific article; zbMATH DE number 1678391
• scientific article; zbMATH DE number 3997775
• scientific article; zbMATH DE number 17702

Cited in

(15)

• On Church's formal theory of functions and functionals. The - calculus: Connections to higher type recursion theory, proof theory, category theory
• Total sets and objects in domain theory
• Recursive topological spaces
• Effective inseparability in a topological setting
• scientific article; zbMATH DE number 1678391 (Why is no real title available?)
• scientific article; zbMATH DE number 3884140 (Why is no real title available?)
• Discontinuities of provably correct operators on the provably recursive real numbers
• scientific article; zbMATH DE number 17702 (Why is no real title available?)
• On effective topological spaces
• Some results related to the continuity problem
• scientific article; zbMATH DE number 3997775 (Why is no real title available?)
• Towards computability over effectively enumerable topological spaces
• Bi-topological spaces and the continuity problem
• Representations versus numberings: On the relationship of two computability notions
• COMPUTABLY COMPACT METRIC SPACES

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 Q3676137)