Topoi for Physics

Bibliography

1

C.J. Isham A. Doering.
A Topos Foundation for Theories of Physics:
I. Formal Languages for Physics.
quant-ph/0703060, 2007.

2

C.J. Isham A. Doering.
A Topos Foundation for Theories of Physics:
II. Daseinisation and the Liberation of Quantum Theory.
quant-ph/0703062, 2007.

3

C.J. Isham A. Doering.
A Topos Foundation for Theories of Physics:
III. The Representation of Physical Quantities With Arrows.
quant-ph/0703064, 2007.

4

C.J. Isham A. Doering.
A Topos Foundation for Theories of Physics:
IV. Categories of Systems.
quant-ph/0703066v1, 2007.

5

C.J. Isham A. Doering.
'What is a Thing?': Topos Theory in the Foundations of Physics.
quant-ph/0803.0417v1, 2008.

6

J.L. Bell.
Toposes and Local Set Theories.
Clarendon Press, Oxford, 1988.

7

Noah Linden Chris Isham.
Quantum temporal logic and decoherence functionals in the histories approach to generalised quantum theory.
arXiv:gr-qc/9405029v1, 1994.

8

J. Butterfield C.J. Isham.
A Topos Perspective on the Kochen-Specker Theorem:I. Quantum States as Generalized Valuations.
quant-ph/9803055, 1998.

9

J. Butterfield C.J. Isham.
Some Possible Roles for Topos Theory in Quantum Theory and Quantum Gravity.
quant-ph/9910005, 1999.

10

A. Doering.
Topos Theory and 'neo-realist' quantum theory.
arXiv:0712.4003v1 [quant-ph], 2007.

11

A. Doering.
Quantum States and Measures on the Spectral Presheaf.
arxive:0809.4847v1 [quant-ph], 2008.

12

Adrian Kent Fay Dowker.
On the Consistent Histories Approach to Quantum Mechanics.
gr-qc/9412067v2, 1996.

13

M. Gell-Mann and J.B. Hartle.
Complexity, Entropy and the Physics of Information, SFI studies in the Sciences of Complexity.
Vol. VIII, ed. by W. Zurek, Addison Wesley, Reading, 1990.

14

M. Gell-Mann and J.B. Hartle.
Proceedings of the 25th International Conference on High Energy Physics, Singapor, August 2-8 1990.
ed. by K.K. Phua and Y. Yamaguchi (South East Asia Theoretical Physics Association and Physical Society of Japan)
distributed by Worls Scientific Singapore, 1990.

15

M. Gell-Mann and J.B. Hartle.
Proceedings of the 3rd International Symposium on the Foundations of Quantum Mechanics in the Light of New Technologies.
ed. by S. Kobayashi, H. Ezawa, Y Murayama and S. Nomura Physical Society of Japan, Tokyo, 1990.

16

Robert B. Griffiths.
Consistent Histories and the Interpretation of Quantum Mechanics.
Journal of Statistical Physics, VoL 36, 219, 1984.

17

Robert B. Griffiths.
Logical reformulation of quantum mechanics. I. Foundations.
Journal of Statistical Physics, Vol. 53, 893, 1988.

18

Robert B. Griffiths.
Logical reformulation of quantum mechanics. II. Interferences and the Einstein-Podolsky-Rosen Experiment.
Journal of Statistical Physics, Vol. 53, 933, 1988.

19

Robert B. Griffiths.
Logical reformulation of quantum mechanics. III. Classical limit and irreversibility.
Journal of Statistical Physics, Vol. 53, 957, 1988.

20

Robert B. Griffiths.
Logical reformulation of quantum mechanics. IV. Projectors in semiclassical physics.
Journal of Statistical Physics, Vol. 57, 357, 1989.

21

Robert B. Griffiths.
The consistency of consistent histories: A reply to d'Espagnat.
Foundations of Physics, Vol. 23, 1601, 1993.

22

C.J. Isham.
Quantum logic and Histories Aproach to Quantum Theory.
arXiv:gr-qc/9308006v1, 1993.

23

C.J. Isham.
Topos Theory and Consistent Histories: The Internal Logic of the Set of all Consistent Sets.
gr-qc/9607069v1, 1996.

24

C.J. Isham.
Is it True or is it False; or Somewhere In Between?
The Logic of Quantum Theory.
quant-ph/0508225 V1, 2005.

25

C.J. Isham J. Butterfield.
A Topos Perspective on the Kochen-Specker Theorem:II. Conceptual Aspects,and Classical Analogues.
quant-ph/9808067, 1998.

26

C.J.Isham J.Butterfield J.Hamilton.
A topos Perspective on the Kochen-Specker Theorem:III. Von Neumann Algebras as the Base Category.
quant-ph/9911020, 1999.

27

J.J.Halliwell.
A Review of the Decoherent Histories Approach to Quantum Mechanics.
arXiv:gr-qc/9407040v1, 1994.

28

Saunders MacLane.
Categories for the working mathematician.
Springer-Verlag, London, 1997.

29

Peter Mittelstaedt.
Time Dependent Propositions and Qunatum Logic.
Journal of Philosophical Logic Vol. 6, 463-472, 1977.

30

Peter Mittelstaedt.
Quantum logic and Decoherence.
International Journal of Theoretical Physics, Vol.43, No.6, 2004.

31

I. Moerdijk S.MacLane.
Sheaves in Geometry and Logic: A First Introduction to Topos Theory.
Springer-Verlag, London, 1968.

32

E. W. Stachow.
A Model Theoretic Semantics for Quantum Logic.
Proceedings of the Biennial Meeting of the Philosophy of Science Association, Vol.1: pp 272-280, 1980.

33

E. W. Stachow.
Logical Foundations of Qunatum Mechanics.
International Journal of Theoretical Physics, Vol.19, No.4, 1980.

34

Steven Vickers.
Topology Via Logic.
Cambridge University Press, 1989.