scientific article; zbMATH DE number 3745146

zbMATH Open0475.03023MaRDI QIDQ3931376FDOQ3931376

Authors: Klaus Weihrauch 

Publication date: 1980

Title of this publication is not available (Why is that?)

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)

• Computable one-to-one enumerations of effective domains
• Title not available (Why is that?)
• Effective inseparability in a topological setting
• 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)