Convergence in formal topology: a unifying notion

DOI10.4115/jla.2013.5.2zbMath1280.54003arXiv1211.0720MaRDI QIDQ4907839

Francesco Ciraulo, Giovanni Sambin, Maria Emilia Maietti

Publication date: 25 February 2013

Published in: Journal of Logic and Analysis (Search for Journal in Brave)

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

zbMATH Keywords

constructive mathematics; formal topology

Mathematics Subject Classification ID

06B23: Complete lattices, completions

54A05: Topological spaces and generalizations (closure spaces, etc.)

06D22: Frames, locales

03F65: Other constructive mathematics

18B35: Preorders, orders, domains and lattices (viewed as categories)

06F07: Quantales

Related Items

Unnamed Item, Unnamed Item, Unnamed Item, Ordering groups constructively, The basic Zariski topology, Finitary formal topologies and Stone's representation theorem, Eliminating disjunctions by disjunction elimination, Embedding locales and formal topologies into positive topologies, Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies, A constructive notion of codimension

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finitary formal topologies and Stone's representation theorem
• The overlap algebra of regular opens
• A minimalist two-level foundation for constructive mathematics
• Constructive domain theory as a branch of intuitionistic pointfree topology
• Inductively generated formal topologies.
• Some points in formal topology.
• On MacLane's conditions for coherence of natural associativities, commutativities, etc
• Pretopologies and a uniform presentation of sup-lattices, quantales and frames
• Formal Zariski topology: Positivity and points
• On the existence of Stone-Čech compactification
• An extension of the Galois theory of Grothendieck
• Finiteness in a Minimalist Foundation
• The point of pointless topology
• Continuous domains as formal spaces
• Pretopologies and completeness proofs
• Constructive version of Boolean algebra
• A structural investigation on formal topology: coreflection of formal covers and exponentiability