De groot duality for represented spaces

DOI10.1007/978-3-031-36978-0_8MaRDI QIDQ6149033zbMATH OpenFDO

Authors Takayuki Kihara, Arno Pauly

Publication date 12 January 2024

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-36978-0_8

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Recommendations

• Presenting de Groot duality of stably compact spaces
• At most 4 topologies can arise from iterating the de Groot dual
• A counterexample for some problem for de Groot dual iterations
• On iterated de Groot dualizations of topological spaces
• Irreducible equivalence relations, Gleason spaces, and de Vries duality

Cites work

• At most 4 topologies can arise from iterating the de Groot dual
• Classical recursion theory. Vol. II
• Closed choice and a uniform low basis theorem
• Enumeration degrees and topology
• scientific article; zbMATH DE number 3297862 (Why is no real title available?)
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• On the topological aspects of the theory of represented spaces
• Point Degree Spectra of Represented Spaces
• Synthetic topology: of data types and classical spaces

Cited in

(1)

• A study in Grzegorczyk point-free topology. II: Spaces of points

This page was built for publication: De groot duality for represented spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6149033)