Relative formal topology: the binary positivity predicate comes first

DOI10.1017/S0960129511000466zbMath1269.03058MaRDI QIDQ3225738

Silvio Valentini

Publication date: 22 March 2012

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

zbMATH Keywords

constructive mathematicspoint-free topologyformal topology

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Other constructive mathematics (03F65)

Related Items (2)

Generalising the fan theorem ⋮ Objects: a study in Kantian formal epistemology

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

This page was built for publication: Relative formal topology: the binary positivity predicate comes first