scientific article; zbMATH DE number 1978328

zbMATH Open1029.06501MaRDI QIDQ4424948FDOQ4424948

Authors: Keye Martin 

Publication date: 9 September 2003

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

Recommendations

• Recursive topological spaces
• Computability on topological spaces via domain representations
• A blend of methods of recursion theory and topology.
• scientific article; zbMATH DE number 3979058
• Doing Without Turing Machines: Constructivism and Formal Topology

zbMATH Keywords

measurementrecurrencedomain theorycontinuous dcpotheoretical computer scienceChoquet completetopological completenessstrong Choquetdomain theoretic models of spaces

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Complete metric spaces (54E50) Baire category, Baire spaces (54E52)

Cited In (10)

• Algebraic models for \(T_1\)-spaces
• On topological spaces that have a bounded complete dcpo model
• Maximal point spaces of dcpos satisfying the Lawson condition
• Ideal models of spaces.
• Directed complete poset models of \(T_1\) spaces
• Topological games in domain theory
• The space of maximal elements in a compact domain
• Unique Fixed Points in Domain Theory
• Lower topological algebraic domain models of topological spaces
• On computational environments of topological 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 Q4424948)