Constructive Gelfand duality for C*-algebras

Abstract We present a constructive proof of Gelfand duality for C*-algebras by reducing the problem to Gelfand duality for real C*-algebras.

• Publication year

  2008

• Venue

  Mathematical Proceedings of the Cambridge Philosophical Society

• Publication date

  2008-08-11

• Fields of study

  Mathematics

• Identifiers
  DOI 10.1017/S0305004109002539arXiv 0808.1518
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A topos for algebraic quantum theory

  2017cited by this paper
• Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems

  2008cited by this paper
• A globalisation of the Gelfand duality theorem

  2006influential reference
• About Stone's notion of spectrum

  2005influential reference
• On The Geometry Of Choice

  2003cited by this paper
• Topological and Algebraic Structures in Fuzzy Sets

  2003cited by this paper
• Dynamical method in algebra: effective Nullstellensätze

  2001cited by this paper
• Entailment relations and distributive lattices

  2000cited by this paper
• The spectral theory of commutative C*-algebras: The constructive spectrum

  2000cited by this paper
• The spectral theory of commutative C*-algebras: The constructive Gelfand-Mazur theorem

  2000cited by this paper
• A constructive proof of the Stone-Weierstrass theorem

  1997cited by this paper
• An Exponential Separation Between the Parity Principle and the Pigeonhole Principle

  1996influential reference
• Submitted for publication

  1981cited by this paper
• Proceedings of the International Congress of Mathematicians : Helsinki, 1978

  1980cited by this paper
• Anneaux préordonnés

  1964cited by this paper
• The positive cone in Banach algebras

  1953cited by this paper

• A Review of the Tietze Extension Theorem

  2025influential citation
• Computable Gelfand Duality

  2024cites this paper
• Synthetic Topology and Constructive Metric Spaces

  2021cites this paper
• The Logic of Quantum Mechanics (Revisited)

  2021influential citation
• Generalized Spaces for Constructive Algebra

  2020cites this paper
• 09 A topos for algebraic quantum theory

  2018cites this paper
• A topos for algebraic quantum theory

  2017cites this paper
• A constructive function-theoretic approach to topological compactness

  2016cites this paper
• A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces

  2016cites this paper
• Classifying Finite-Dimensional C*-Algebras by Posets of Their Commutative C*-Subalgebras

  2015cites this paper
• Complete C*-categories and a topos theoretic Green-Julg theorem

  2015cites this paper
• Classifying Finite-Dimensional C*-Algebras by Posets of Their Commutative C*-Subalgebras

  2015cites this paper
• Constructive Gelfand duality for non-unital commutative C*-algebras

  2014cites this paper
• Fibred contextual quantum physics

  2014cites this paper
• Localic Metric spaces and the localic Gelfand duality

  2014cites this paper
• Gelfand spectra in Grothendieck toposes using geometric mathematics

  2013cites this paper
• O ct 2 02 1 Topos-Theoretic Approaches to Quantum Theory Part III Essay

  2012influential citation
• Bohrification of local nets

  2012cites this paper
• Topos-Theoretic Approaches to Quantum Theory

  2012cites this paper
• A Comparison of Two Topos-Theoretic Approaches to Quantum Theory

  2012influential citation
• Bohrification of local nets of observables

  2011cites this paper
• The Space of Measurement Outcomes as a Spectral Invariant for Non-Commutative Algebras

  2011cites this paper
• The space of measurement outcomes as a non-commutative spectrum

  2010cites this paper
• A Comparison of Two Topos-Theoretic Approaches to Quantum Theory

  2010cites this paper
• The space of measurement outcomes as a spectrum for non-commutative algebras

  2010cites this paper
• THE GELFAND SPECTRUM OF A NONCOMMUTATIVE C*-ALGEBRA: A TOPOS-THEORETIC APPROACH

  2010influential citation
• Constructive theory of Banach algebras

  2010cites this paper
• A Duality Theorem for Real C* Algebras

  2009cites this paper
• Deep Beauty: Bohrification

  2009cites this paper
• Categorical Quantum Models and Logics

  2009cites this paper
• Intuitionistic Quantum Logic of an n-level System

  2009cites this paper
• Bohrification of operator algebras and quantum logic

  2009cites this paper
• A Topos for Algebraic Quantum Theory

  2007cites this paper