- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
A globalisation of the Gelfand duality theorem
Annals of Pure and Applied Logic 137 (1-3):62-103 (2006)
Abstract
In this paper we bring together results from a series of previous papers to prove the constructive version of the Gelfand duality theorem in any Grothendieck topos , obtaining a dual equivalence between the category of commutative C*-algebras and the category of compact, completely regular locales in the toposMy notes
Similar books and articles
A Kripke semantics for the logic of Gelfand quantales.Gerard Allwein & Wendy MacCaull - 2001 - Studia Logica 68 (2):173-228.
The Dual Adjunction between MV-algebras and Tychonoff Spaces.Vincenzo Marra & Luca Spada - 2012 - Studia Logica 100 (1-2):253-278.
Review: Alfred L. Foster, B. A. Bernstein, Symmetric Approach to Commutative Rings, With Duality Theorem: Boolean Duality as a Special Case. [REVIEW]J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (4):97-97.
Duality and Completeness for US-Logics.Fabio Bellissima & Saverio Cittadini - 1998 - Notre Dame Journal of Formal Logic 39 (2):231-242.
Varieties of monadic Heyting algebras part II: Duality theory.Guram Bezhanishvili - 1999 - Studia Logica 62 (1):21-48.
Priestley duality for some subalgebra lattices.Georges Hansoul - 1996 - Studia Logica 56 (1-2):133 - 149.
A duality between Pawlak's knowledge representation systems and bi-consequence systems.Dimiter Vakarelov - 1995 - Studia Logica 55 (1):205 - 228.
The impact of economic globalisation on health.Meri Koivusalo - 2005 - Theoretical Medicine and Bioethics 27 (1):13-34.
Categorical Abstract Algebraic Logic: Referential Algebraic Semantics.George Voutsadakis - 2013 - Studia Logica 101 (4):849-899.
Analytics
Added to PP
2013-12-31
Downloads
14 (#983,512)
6 months
4 (#779,041)
2013-12-31
Downloads
14 (#983,512)
6 months
4 (#779,041)
Historical graph of downloads
Citations of this work
A Categorial Semantic Representation of Quantum Event Structures.Elias Zafiris & Vassilios Karakostas - 2013 - Foundations of Physics 43 (9):1090-1123.
Bohrification of operator algebras and quantum logic.Chris Heunen, Nicolaas P. Landsman & Bas Spitters - 2012 - Synthese 186 (3):719 - 752.
Intuitionistic Quantum Logic of an n-level System.Martijn Caspers, Chris Heunen, Nicolaas P. Landsman & Bas Spitters - 2009 - Foundations of Physics 39 (7):731-759.
2010 North American Annual Meeting of the Association for Symbolic Logic.Reed Solomon - 2011 - Bulletin of Symbolic Logic 17 (1):127-154.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-659b74868d-xgg89 uwo