Exponentiation of Scott formal topologies
From MaRDI portal
Publication:2851541
Recommendations
- Publication:3202845
- A categorical generalization of Scott domains
- The Scott approach structure: an extension of the Scott topology for quantitative domain theory
- A structural investigation on formal topology: coreflection of formal covers and exponentiability
- scientific article; zbMATH DE number 7587436
- Scott topology for preorder relations
- scientific article; zbMATH DE number 5283672
- SCOTT COMPLEXITY OF COUNTABLE STRUCTURES
- Computability-theoretic categoricity and Scott families
- On a class of topological spaces with a Scott sentence
Cited in
(6)- scientific article; zbMATH DE number 7587436 (Why is no real title available?)
- Convergence in formal topology: a unifying notion
- scientific article; zbMATH DE number 2247260 (Why is no real title available?)
- Apartness, sharp elements, and the Scott topology of domains
- A structural investigation on formal topology: coreflection of formal covers and exponentiability
- Sharp elements and apartness in domains
This page was built for publication: Exponentiation of Scott formal topologies
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851541)