Spatiality for formal topologies
From MaRDI portal
Publication:3431544
DOI10.1017/S0960129506005810zbMath1139.03045WikidataQ61834708 ScholiaQ61834708MaRDI QIDQ3431544
Nicola Gambino, Peter M. Schuster
Publication date: 12 April 2007
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
03F60: Constructive and recursive analysis
18B25: Topoi
06D22: Frames, locales
03F65: Other constructive mathematics
Related Items
Higher order functions and Brouwer’s thesis, Unnamed Item, Formal continuity implies uniform continuity near compact images on metric spaces, A universal Krull-Lindenbaum theorem, The basic Zariski topology, Finitary formal topologies and Stone's representation theorem, The Zariski spectrum as a formal geometry, Spectral schemes as ringed lattices, A constructive notion of codimension, The principle of pointfree continuity