Spatiality for formal topologies

DOI10.1017/S0960129506005810zbMath1139.03045OpenAlexW2085205555WikidataQ61834708 ScholiaQ61834708MaRDI QIDQ3431544

Nicola Gambino, Peter M. Schuster

Publication date: 12 April 2007

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

Full work available at URL: https://doi.org/10.1017/s0960129506005810

zbMATH Keywords

localetopospoint-free topologyspatiality

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Topoi (18B25) Frames, locales (06D22) Other constructive mathematics (03F65)

Related Items (11)

A universal Krull-Lindenbaum theorem ⋮ Spectral schemes as ringed lattices ⋮ Unnamed Item ⋮ The basic Zariski topology ⋮ The intensional side of algebraic-topological representation theorems ⋮ A constructive notion of codimension ⋮ The principle of pointfree continuity ⋮ Formal continuity implies uniform continuity near compact images on metric spaces ⋮ Finitary formal topologies and Stone's representation theorem ⋮ The Zariski spectrum as a formal geometry ⋮ Higher order functions and Brouwer’s thesis

This page was built for publication: Spatiality for formal topologies