scientific article; zbMATH DE number 3745146

MaRDI QIDQ3931376zbMATHFDO

Authors Klaus Weihrauch

Publication date 1980

zbMATH Keywords

computabilitycomplete partial orderscomputable operatorseffective cporecursive cpo

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Abstract and axiomatic computability and recursion theory (03D75) Constructive and recursive analysis (03F60)

Cited in

(4)

• Effective inseparability in a topological setting
• Computable one-to-one enumerations of effective domains
• scientific article; zbMATH DE number 7376056 (Why is no real title available?)
• A domain-theoretic approach to computability on the real line

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