Apartness, sharp elements, and the Scott topology of domains

DOI10.1017/s0960129523000282arXiv2106.05064OpenAlexW4385497009MaRDI QIDQ6190408

No author found.

Publication date: 5 March 2024

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2106.05064

zbMATH Keywords

constructive mathematicsScott topologydomain theoryapartnesssharp elementscontinuous directed complete posets (dcpos)strongly maximal elements

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Locatedness and overt sublocales
• A constructive theory of continuous domains suitable for implementation
• Effectively given domains
• Sheaf models for set theory
• Constructivism in mathematics. An introduction. Volume II
• A course in constructive algebra
• LCF considered as a programming language
• A type-theoretical alternative to ISWIM, CUCH, OWHY
• Constructive domain theory as a branch of intuitionistic pointfree topology
• Inductively generated formal topologies.
• A type theoretic interpretation of constructive domain theory
• The constructive maximal point space and partial metrizability
• Formalized, Effective Domain Theory in Coq
• Apartness and Uniformity
• Some Domain Theory and Denotational Semantics in Coq
• Higher-Order Computability
• Exhaustible sets in higher-type computation
• Continuous domains as formal spaces
• Spaces of maximal points
• The consistency of classical set theory relative to a set theory with intu1tionistic logic
• Continuous Lattices and Domains
• Partial Elements and Recursion via Dominances in Univalent Type Theory.
• Predicative Aspects of Order Theory in Univalent Foundations

This page was built for publication: Apartness, sharp elements, and the Scott topology of domains