Fetching the paper…
Reading the bibliography…
The aim of this paper is to relate algebraic quantum mechanics to topos theory, so as to construct new foundations for quantum logic and quantum spaces.
The logic of quantum mechanics
Garrett Birkhoff and John von Neumann · 1936
Earlier work this paper cites.
Discussion with einstein on epistemological problems in atomic physics
Niels Bohr · 1949
Earlier work this paper cites.
The mathematical foundations of quantum mechanics
George W. Mackey · 1963
Earlier work this paper cites.
The problem of hidden variables in quantum mechanics
Simon Kochen and Ernst Specker · 1967
Earlier work this paper cites.
Quasi-states on
Johan F. Aarnes · 1970
Earlier work this paper cites.
Riesz spaces. Vol. I
Wilhelmus A. J. Luxemburg. and Adriaan C. Zaanen · 1971
Earlier work this paper cites.
Lattice theory, data types and semantics
Dana Scott · 1972
Earlier work this paper cites.
The Logical Analysis of Quantum Mechanics
Ernhard Scheibe · 1973
Earlier work this paper cites.
Formal spaces
Michael P. Fourman and Robin J. Grayson · 1982
Earlier work this paper cites.
The “world’s simplest axiom of choice” fails
Michael P. Fourman and Andre Ščedrov · 1982
Earlier work this paper cites.
Stone Spaces
Peter T. Johnstone · 1982
Earlier work this paper cites.
Orthomodular lattices
Gudrun Kalmbach · 1983
Earlier work this paper cites.
Adriaan C. Zaanen · 1983
Earlier work this paper cites.
Mathematical and conceptual foundations of 20th-century physics
Gérard G. Emch · 1984
Earlier work this paper cites.
Topoi, the categorical analysis of logic
Robert Goldblatt · 1984
Earlier work this paper cites.
Open locales and exponentiation
Peter T. Johnstone · 1984
Earlier work this paper cites.
An extension of the Galois theory of Grothendieck
André Joyal and Miles Tierney · 1984
Earlier work this paper cites.
Spaced spaces
Ieke Moerdijk · 1984
Earlier work this paper cites.
Geometry of quantum theory
Veeravalli S. Varadarajan · 1985
Earlier work this paper cites.
Measures and Hilbert lattices
Gudrun Kalmbach · 1986
Earlier work this paper cites.
Récoltes et Semailles, témoignage sur un passé de mathématicien
Alexandre Grothendieck · 1987
Earlier work this paper cites.
Intuitionistic formal spaces - a first communication
Giovanni Sambin · 1987
Earlier work this paper cites.
Topology via Logic
Steven Vickers · 1989
Earlier work this paper cites.
Toposes are cohomologically equivalent to spaces
André Joyal and Ieke Moerdijk · 1990
Earlier work this paper cites.
The uses and abuses of the history of topos theory
Colin McLarty · 1990
Earlier work this paper cites.
A geometric characterization concerning compact, convex sets
Christopher J. Mulvey and Joan Wick Pelletier · 1991
Earlier work this paper cites.
Sheaves in Geometry and Logic
Saunders Mac Lane and Ieke Moerdijk · 1992
Earlier work this paper cites.
Domain theory
Samson Abramsky and Achim Jung · 1994
Cited alongside, same era.
Handbook of categorical algebra. 3. Categories of sheaves
Francis Borceux · 1994
Cited alongside, same era.
The Mackey-Gleason problem for vector measures on projections in von Neumann algebras
Leslie J. Bunce and J. D. Maitland Wright · 1994
Cited alongside, same era.
Noncommutative geometry
Alain Connes · 1994
Cited alongside, same era.
Probabilistic power domains, information systems, and locales
Reinhold Heckmann · 1994
Cited alongside, same era.
A sheaf model for intuitionistic quantum mechanics
Murray Adelman and John V. Corbett · 1995
Cited alongside, same era.
The quasi-linearity problem for
The double powerlocale and exponentiation: a case study in geometric logic
Steven Vickers · 2004
Later among the works it cites.
The development of categorical logic
John L. Bell · 2005
Later among the works it cites.
About Stone’s notion of spectrum
Thierry Coquand · 2005
Later among the works it cites.
Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems
Thiery Coquand and Bas Spitters · 2005
Later among the works it cites.
Kochen-specker theorem for Von Neumann algebras
Andreas Döring · 2005
Later among the works it cites.
Constructive algebraic integration theory without choice
Bas Spitters · 2005
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Leslie J. Bunce and J. D. Maitland Wright · 1996
Cited alongside, same era.
Local quantum physics
Rudolf Haag · 1996
Cited alongside, same era.
Interpreting the quantum world
Jeffrey Bub · 1997
Cited alongside, same era.
A topos perspective on the Kochen-Specker theorem: I. quantum states as generalized valuations
Jeremy Butterfield and Chris J. Isham · 1998
Cited alongside, same era.
Mathematical topics between classical and quantum mechanics
Nicolaas P. Landsman · 1998
Cited alongside, same era.
Quantum logic in algebraic approach
Miklós Rédei · 1998
Cited alongside, same era.
Aspects of general topology in constructive set theory
Peter Aczel · 2006
Later among the works it cites.
A globalisation of the Gelfand duality theorem
Bernhard Banaschewski and Christopher J. Mulvey · 2006
Later among the works it cites.
Pretopologies and uniform presentation of sup-lattices, quantales and frames
Giulia Battilotti and Giovanni Sambin · 2006
Later among the works it cites.
Compactness in locales and in formal topology
Steven Vickers · 2006
Later among the works it cites.
Tool and object: a history and philosophy of category theory
Ralf Krömer · 2007
Closest in time.
Between classical and quantum
Nicolaas P. Landsman · 2007
Closest in time.
Locales and toposes as spaces
Steven Vickers · 2007
Closest in time.
Gelfand spectra of C*-algebras in topos theory
Martijn Caspers · 2008
Closest in time.
Noncommutative geometry, quantum fields and motices
Alain Connes and Matilde Marcolli · 2008
Closest in time.
Quantum states and measures on the spectral presheaf
Andreas Döring · 2008
Closest in time.
A topos foundation for theories of physics: I. Formal languages for physics
Andreas Döring and Chris J. Isham · 2008
Closest in time.
A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory
Andreas Döring and Chris J. Isham · 2008
Closest in time.
A topos foundation for theories of physics: III. The representation of physical quantities with arrows
Andreas Döring and Chris J. Isham · 2008
Closest in time.
A topos foundation for theories of physics: IV. Categories of systems
Andreas Döring and Chris J. Isham · 2008
Closest in time.
Macroscopic observables and the Born rule. I. Long run frequencies
Nicolaas P. Landsman · 2008
Closest in time.
A localic theory of lower and upper integrals
Steven Vickers · 2008
Closest in time.
Constructive Gelfand duality for C*-algebras
Thierry Coquand and Bas Spitters · 2009
Closest in time.
Integrals and valuations
Thierry Coquand and Bas Spitters · 2009
Closest in time.
‘What is a thing?’: Topos theory in the foundations of physics
Andreas Döring and Chris J. Isham · 2009
Closest in time.
Bohrification of von Neumann algebras and quantum logic
Chris Heunen, Nicolaas P. Landsman, and Bas Spitters · 2009
Closest in time.
Intuitionistic quantum logic of an
Chris Heunen, Nicolaas P. Landsman, and Bas Spitters · 2009
Closest in time.