Abstract:
Stone duality between Boolean algebra and compact totally disconnected spaces provides an algebraic and point-free presentation of a large class of topological spaces. A generalisation of this presentation, also due to Stone, is described in [Johnstone, Stone]: the class of spaces
Citations
|
248
|
Vulnerabilities Analysis
– Bishop
- 1999
|
|
115
|
Géométrie Algébrique Réelle
– Bochnak, Coste, et al.
- 1987
|
|
21
|
A Globalization of the Hahn-Banach Theorem
– Mulvey, Pelletier
- 1991
|
|
14
|
Completeness and axiomatizability
– Scott
- 1974
|
|
10
|
Stone Spaces. Cambridge studies in advanced mathematics 3
– Johnstone
- 1982
|
|
9
|
Entailment Relations and Distributive Lattices. Proceeding of Logic Colloquium
– Coquand
- 1998
|
|
7
|
Le théorème de Chevalley-Tarski. Cahiers de Topologie et Géométrie Différentielle 16
– Joyal
- 1975
|
|
6
|
Notes on constructive mathematics. Almqvist and Wiksell
– Martin-Lof
- 1968
|
|
6
|
Algebraic Integration Theory
– Segal
- 1965
|
|
5
|
Normal spectral spaces and their dimensions
– Carral, Coste
- 1983
|
|
5
|
Open locales and exponentiation, Mathematical applications of category theory
– Johnstone
- 1983
|
|
4
|
Anneaux préordonnés
– Krivine
- 1964
|
|
4
|
A General Theory of Spectra
– Stone
- 1940
|
|
4
|
Algebraische Fassung des Massproblems
– Tarski
- 1938
|
|
4
|
Lattice Theory, third edition
– Birkho
- 1967
|
|
4
|
A constructive proof of the Stone-Weierstrass theorem
– Banaschewski, Mulvey
- 1997
|
|
4
|
Topology without points
– Menger
- 1940
|
|
3
|
Zum Darstellungssatz von Kadison-Dubois
– Becker
- 1983
|
|
3
|
Dynamical methods in algebra: eective Nullstellensatze
– Coste, Lombardi, et al.
- 2001
|
|
3
|
Sur la d'ecomposition des op'erations fonctionelles lin'eaires. Atti del Congr. Internaz. dei
– Riesz
- 1928
|
|
2
|
Algebre, chapitre 6
– Bourbaki
- 1964
|
|
2
|
The spectral theory of commutative C -algebras: the constructive spectrum
– Banaschewski, Mulvey
|
|
1
|
The Spectral Theory of Commutative C -Algebras
– Banaschewski, Mulvey
|
|
1
|
Positive polynomials on compact sets
– Wormann
- 2001
|
|
1
|
Quelques proprietes des preordres dans les anneaux commutatifs unitaires
– Krivine
- 1964
|
|
