scientific article; zbMATH DE number 937390

MaRDI QIDQ4896531zbMATH OpenFDO

Authors Sara Negri

Publication date 25 May 1997

zbMATH Keywords

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

Mathematics Subject Classification ID

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

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

(14)

• Competitive equilibrium with intuitionistic agents
• Convergence in formal topology: a unifying notion
• Ordering groups constructively
• The Zariski spectrum as a formal geometry
• A constructive proof of the Heine-Borel covering theorem for formal reals
• Spectral schemes as ringed lattices
• A general Glivenko-Gödel theorem for nuclei
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
• Formal Zariski topology: Positivity and points
• Regular opens in constructive topology and a representation theorem for overlap algebras
• Finitary formal topologies and Stone's representation theorem
• The intensional side of algebraic-topological representation theorems
• Eliminating disjunctions by disjunction elimination
• Eliminating disjunctions by disjunction elimination

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)