scientific article; zbMATH DE number 937390
From MaRDI portal
zbMATH Open0862.03035MaRDI QIDQ4896531FDOQ4896531
Authors: Sara Negri 
Publication date: 25 May 1997
Title of this publication is not available (Why is that?)
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
formal topologiesconstructive proof of Stone representation theorem for distributive latticesMartin Löf's intuitionistic theory of types
Other constructive mathematics (03F65) Topological spaces and generalizations (closure spaces, etc.) (54A05) Second- and higher-order arithmetic and fragments (03F35) Distributive lattices (06D99)
Cited In (14)
- Competitive equilibrium with intuitionistic agents
- Convergence in formal topology: a unifying notion
- Ordering groups constructively
- A general Glivenko-Gödel theorem for nuclei
- A constructive proof of the Heine-Borel covering theorem for formal reals
- The Zariski spectrum as a formal geometry
- Spectral schemes as ringed lattices
- 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)
