Publication:4896531
From MaRDI portal
zbMath0862.03035MaRDI QIDQ4896531
Publication date: 25 May 1997
formal topologies; constructive proof of Stone representation theorem for distributive lattices; Martin Löf's intuitionistic theory of types
54A05: Topological spaces and generalizations (closure spaces, etc.)
03F65: Other constructive mathematics
03F35: Second- and higher-order arithmetic and fragments
06D99: Distributive lattices
Related Items
A constructive proof of the Heine-Borel covering theorem for formal reals, Convergence in formal topology: a unifying notion, Ordering groups constructively, ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION, Competitive equilibrium with intuitionistic agents, Finitary formal topologies and Stone's representation theorem, The Zariski spectrum as a formal geometry, Eliminating disjunctions by disjunction elimination, Spectral schemes as ringed lattices, Formal Zariski topology: Positivity and points