Relative formal topology: the binary positivity predicate comes first
From MaRDI portal
Publication:3225738
DOI10.1017/S0960129511000466zbMath1269.03058MaRDI QIDQ3225738
Publication date: 22 March 2012
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
54A05: Topological spaces and generalizations (closure spaces, etc.)
03F65: Other constructive mathematics
Related Items
Cites Work
- Inductively generated formal topologies.
- Some points in formal topology.
- The problem of the formalization of constructive topology
- A lattice-theoretical fixpoint theorem and its applications
- On some peculiar aspects of the constructive theory of point-free spaces
- Common fixed points of two isotone maps on a complete lattice
- Sublocales in formal topology
- A structural investigation on formal topology: coreflection of formal covers and exponentiability
- Every countably presented formal topology is spatial, classically