scientific article; zbMATH DE number 937390

zbMath0862.03035MaRDI QIDQ4896531

Sara Negri

Publication date: 25 May 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

formal topologiesconstructive proof of Stone representation theorem for distributive latticesMartin Löf's intuitionistic theory of types

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Other constructive mathematics (03F65) Second- and higher-order arithmetic and fragments (03F35) Distributive lattices (06D99)

Related Items

Spectral schemes as ringed lattices ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ Eliminating disjunctions by disjunction elimination ⋮ Competitive equilibrium with intuitionistic agents ⋮ ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION ⋮ The intensional side of algebraic-topological representation theorems ⋮ Finitary formal topologies and Stone's representation theorem ⋮ The Zariski spectrum as a formal geometry ⋮ Convergence in formal topology: a unifying notion ⋮ A constructive proof of the Heine-Borel covering theorem for formal reals ⋮ Ordering groups constructively ⋮ Formal Zariski topology: Positivity and points