scientific article; zbMATH DE number 1978328

MaRDI QIDQ4424948zbMATH OpenFDO

Authors Keye Martin

Publication date 9 September 2003

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)

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

Cited in

(10)

• Algebraic models for \(T_1\)-spaces
• On topological spaces that have a bounded complete dcpo model
• Ideal models of spaces.
• Maximal point spaces of dcpos satisfying the Lawson condition
• 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)