scientific article; zbMATH DE number 937390

MaRDI QIDQ4896531zbMATH OpenFDO

Authors Sara Negri

Publication date 25 May 1997

zbMATH Keywords

constructive proof of Stone representation theorem for distributive latticesformal topologiesMartin Löf's intuitionistic theory of types

Mathematics Subject Classification ID

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

Recommendations

• Finitary formal topologies and Stone's representation theorem
• Boolean Algebras and Distributive Lattices Treated Constructively
• scientific article; zbMATH DE number 1301740
• Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems
• Stone's representation theorem in fuzzy topology

Cited in

(17)

• Eliminating disjunctions by disjunction elimination
• Regular opens in constructive topology and a representation theorem for overlap algebras
• Spectral schemes as ringed lattices
• Formal Zariski topology: Positivity and points
• The intensional side of algebraic-topological representation theorems
• Competitive equilibrium with intuitionistic agents
• scientific article; zbMATH DE number 1301740 (Why is no real title available?)
• A constructive proof of the Heine-Borel covering theorem for formal reals
• Convergence in formal topology: a unifying notion
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
• Ordering groups constructively
• Eliminating disjunctions by disjunction elimination
• A general Glivenko-Gödel theorem for nuclei
• Conservation as translation
• Predicative presentations of stably locally compact locales
• Finitary formal topologies and Stone's representation theorem
• The Zariski spectrum as a formal geometry

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4896531)