Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems (Q5310879)
From MaRDI portal
scientific article; zbMATH DE number 5200714
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems |
scientific article; zbMATH DE number 5200714 |
Statements
15 October 2007
0 references
Riesz space
0 references
axiom of choice
0 references
constructive mathematics
0 references
\(f\)-algebra
0 references
math.FA
0 references
math.LO
0 references
