Fetching the paper…
Reading the bibliography…
The goal of this paper is to summarise the first steps in developing a fundamentally new way of constructing theories of physics.
The logic of quantum mechanics
G. Birkhoff and J. von Neumann · 1936
Earlier work this paper cites.
The Theory of Representations for Boolean algebras
M.H. Stone · 1936
Earlier work this paper cites.
Reality in quantum mechanics
H. Margenau · 1949
Earlier work this paper cites.
Philosophic Problems of Nuclear Science
W. Heisenberg · 1952
Earlier work this paper cites.
What is a Thing?
M. Heidegger · 1967
Earlier work this paper cites.
The problem of hidden variables in quantum mechanics
S. Kochen and E.P. Specker · 1967
Earlier work this paper cites.
Categories for the Working Mathematician
S. MacLane · 1971
Earlier work this paper cites.
The Selfadjoint Operators of a von Neumann Algebra form a Conditionally Complete Lattice
M.P. Olson · 1971
Earlier work this paper cites.
The Logic of Quantum Mechanics
E. Beltrametti and G. Cassinelli · 1981
Earlier work this paper cites.
Synthetic Differential Geometry (LMS lecture note series: 51)
A. Kock · 1981
Earlier work this paper cites.
Quantum set theory
G. Takeuti · 1981
Earlier work this paper cites.
Quantum Theory and the Schism in Physics
K. Popper · 1982
Earlier work this paper cites.
Topology via Logic
S. Vickers · 1982
Earlier work this paper cites.
Fundamentals of the Theory of Operator Algebras, Volume 1: Elementary Theory
R.V. Kadison and J.R. Ringrose · 1983
Earlier work this paper cites.
Topoi: The Categorial Analysis of Logic
R. Goldblatt · 1984
Earlier work this paper cites.
Introduction to higher order categorical logic
J. Lambek and P.J. Scott · 1986
Earlier work this paper cites.
Domain Theory and the Logic of Observable Properties
S. Abramsky · 1987
Earlier work this paper cites.
On the problem of hidden variables in quantum mechanics
J.S. Bell · 1987
Earlier work this paper cites.
Toposes and Local Set Theories
J.L. Bell · 1988
Earlier work this paper cites.
An Introduction to Philosophical Logic
A.C. Grayling · 1990
Earlier work this paper cites.
Sheaves in Geometry and Logic: A First Introduction to Topos Theory
S. MacLane and I. Moerdijk · 1992
Earlier work this paper cites.
Noncommutative Geometry
A. Connes · 1994
Earlier work this paper cites.
Quantum logic and the histories approach to quantum theory
C.J. Isham · 1994
Earlier work this paper cites.
A sheaf model for intuitionistic quantum mechanics
M. Adelman and J.V. Corbett · 1995
Earlier work this paper cites.
Topos theory and consistent histories: The internal logic of the set of all consistent sets
C.J. Isham · 1997
Cited alongside, same era.
A topos perspective on the Kochen-Specker theorem: I. Quantum states as generalised valuations
C.J. Isham and J. Butterfield · 1998
Cited alongside, same era.
A topos perspective on the Kochen-Specker theorem: II. Conceptual aspects, and classical analogues
C.J. Isham and J. Butterfield · 1999
Cited alongside, same era.
An Introduction to Spin Foam Models of Quantum Gravity and BF Theory
J.C. Baez · 2000
Cited alongside, same era.
A topos perspective on the Kochen-Specker theorem: III. Von Neumann algebras as the base category
J. Hamilton, J. Butterfield and C.J. Isham · 2000
Cited alongside, same era.
Some possible roles for topos theory in quantum theory and quantum gravity
Causal Sets: Discrete Gravity (Notes for the Valdivia Summer School)
R. D. Sorkin · 2005
Later among the works it cites.
Quantum Quandaries: a Category-Theoretic Perspective
J. Baez · 2006
Later among the works it cites.
A globalisation of the Gelfand duality theorem
B. Banaschewski and C.J. Mulvey · 2006
Later among the works it cites.
A Topos Perspective on State-Vector Reduction
C.J. Isham · 2006
Later among the works it cites.
A sheaf theoretic approach to measure theory
M. Jackson · 2006
Later among the works it cites.
Modern Differential Geometry in Gauge Theories, vol 1: Maxwell Fields
A. Mallios · 2006
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
C.J. Isham and J. Butterfield · 2000
Cited alongside, same era.
Space-time and the philosophical challenge of quantum gravity
J. Butterfield and C.J. Isham · 2001
Cited alongside, same era.
A topos perspective on the Kochen-Specker theorem: IV. Interval valuations
J. Butterfield and C.J. Isham · 2002
Cited alongside, same era.
Quantum logics. In Handbook of Philosophical Logic, vol. VI,
M.L. Dalla Chiara and R. Giuntini · 2002
Cited alongside, same era.
Sketches of an Elephant: A Topos Theory Compendium I, II
P.T. Johnstone · 2002
Cited alongside, same era.
The internal description of a causal set: What the universe looks like from the inside
F. Markopoulou · 2002
Cited alongside, same era.
Some reflections on the status of conventional quantum theory when applied to quantum gravity
C.J. Isham · 2003
Cited alongside, same era.
A. Mallios · 2006
Later among the works it cites.
Categorical quantum gravity
I. Raptis · 2006
Later among the works it cites.
The case for background independence
L. Smolin · 2006
Later among the works it cites.
Generic predictions of quantum theories of gravity
L. Smolin · 2006
Later among the works it cites.
Collimation processes in quantum mechanics interpreted in quantum real numbers
J.V. Corbett and T. Durt · 2007
Later among the works it cites.
What is the Mathematical Structure of Quantum Spacetime?
L. Crane · 2007
Later among the works it cites.
Topos theory and ‘neo-realist’ quantum theory
A. Döring · 2007
Later among the works it cites.
PCF extended with real numbers: a domain-theoretic approach to higher-order exact real number computation
M.H. Escardó · 2007
Later among the works it cites.
A topos for algebraic quantum theory
C. Heunen and B. Spitters · 2007
Later among the works it cites.
Lecture given at the conference
K. Landsmann · 2007
Later among the works it cites.
Topos-theoretic relativization of physical representability and quantum gravity. arXiv:gr-qc/0610.113 (2007)
A. Mallios and E. Zafiris · 2007
Later among the works it cites.
Topos-theoretic extension of a modal interpretation of quantum mechanics
K. Nakayama · 2007
Later among the works it cites.
Transfer principle in quantum set theory
M. Ozawa · 2007
Later among the works it cites.
The quantum harmonic oscillator as an adjunction
J. Vicary · 2007
Later among the works it cites.
A topos foundation for theories of physics: I. Formal languages for physics,
A. Döring, and C.J. Isham · 2008
Closest in time.
A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory
A. Döring, and C.J. Isham · 2008
Closest in time.
A topos foundation for theories of physics: IV. Categories of systems
A. Döring, and C.J. Isham · 2008
Closest in time.
The physical interpretation of daseinisation
A. Döring · 2008
Closest in time.