scientific article; zbMATH DE number 202572

MaRDI QIDQ4693262zbMATH OpenFDO

Authors Silvio Valentini

Publication date 28 November 1993

zbMATH Keywords

formal spaceopen locale

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1795214
• scientific article; zbMATH DE number 1799417
• Formal Zariski topology: Positivity and points
• On the collection of points of a formal space
• Some points in formal topology.
• scientific article; zbMATH DE number 549569
• Point-set lattice-theoretic topology
• Topology. Point-set and geometric
• On point-finiteness in pointfree topology
• On the formula of Cohen-Vogt relatively pointed topological semi-simplicial sets

Cited in

(13)

• On the formal points of the formal topology of the binary tree
• Some points in formal topology.
• On the collection of points of a formal space
• Maximal and partial points in formal spaces
• Formal Zariski topology: Positivity and points
• scientific article; zbMATH DE number 3853067 (Why is no real title available?)
• scientific article; zbMATH DE number 4152376 (Why is no real title available?)
• Formal topologies on the set of first-order formulae
• scientific article; zbMATH DE number 1795214 (Why is no real title available?)
• Formal Baire space in constructive set theory
• Predicativity problems in point-free topology
• Every countably presented formal topology is spatial, classically
• Finitary formal topologies and Stone's representation theorem

This page was built for publication:

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