Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory (Q981685): Difference between revisions

@@ Property / arXiv ID @@
+.2454
@@ Property / arXiv ID: 0807.2454 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional calculus on Riesz spaces
@@ Property / cites work: Functional calculus on Riesz spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Lattice-ordered groups
@@ Property / cites work: Lattice-ordered groups / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive proof of the Stone-Weierstrass theorem
+Normal rank
@@ Property / cites work @@
+The spectral theory of commutative C<sup>∗</sup>-algebras: The constructive Gelfand-Mazur theorem
+Normal rank
@@ Property / cites work @@
+The spectral theory of commutative C<sup>∗</sup>-algebras: The constructive spectrum
+Normal rank
@@ Property / cites work @@
+A globalisation of the Gelfand duality theorem
@@ Property / cites work: A globalisation of the Gelfand duality theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Small Riesz spaces
@@ Property / cites work: Small Riesz spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Almost \(f\)-algebras: Commutativity and the Cauchy-Schwarz inequality
+Normal rank
@@ Property / cites work @@
+Q4944905
@@ Property / cites work: Q4944905 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic quantum logic of an \(n\)-level system
+Normal rank
@@ Property / cites work @@
+Compact spaces and distributive lattices.
@@ Property / cites work: Compact spaces and distributive lattices. / rank @@
+Normal rank
@@ Property / cites work @@
+About Stone's notion of spectrum
@@ Property / cites work: About Stone's notion of spectrum / rank @@
+Normal rank
@@ Property / cites work @@
+Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems
+Normal rank
@@ Property / cites work @@
+Completely positive maps into corona algebras
@@ Property / cites work: Completely positive maps into corona algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509706
@@ Property / cites work: Q5509706 / rank @@
+Normal rank
@@ Property / cites work @@
+A topos for algebraic quantum theory
@@ Property / cites work: A topos for algebraic quantum theory / rank @@
+Normal rank
@@ Property / cites work @@
+Bohrification of operator algebras and quantum logic
+Normal rank
@@ Property / cites work @@
+Q4828514
@@ Property / cites work: Q4828514 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5638775
@@ Property / cites work: Q5638775 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Q4440525
@@ Property / cites work: Q4440525 / rank @@
+Normal rank
@@ Property / cites work @@
+Sur quelques notions fondamentales dans la théorie générale des opérations linéaires
+Normal rank
@@ Property / cites work @@
+Q3481701
@@ Property / cites work: Q3481701 / rank @@
+Normal rank
@@ Property / cites work @@
+A General Theory of Spectra
@@ Property / cites work: A General Theory of Spectra / rank @@
+Normal rank
@@ Property / cites work @@
+Two Applications of Logic to Mathematics
@@ Property / cites work: Two Applications of Logic to Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+On the representation of the vector lattice
@@ Property / cites work: On the representation of the vector lattice / rank @@
+Normal rank
@@ Property / cites work @@
+Q3669960
@@ Property / cites work: Q3669960 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5690471
@@ Property / cites work: Q5690471 / rank @@
+Normal rank