148 citations · 577 across the 10 of their papers we have counts for
10 papers
A Topos Foundation for Theories of Physics: III. The Representation of Physical Quantities With Arrows
A. Doering, C. J. Isham
This paper is the third in a series whose goal is to develop a fundamentally new way of viewing theories of physics. Our basic contention is that constructing a theory of physics i…
A Topos Foundation for Theories of Physics: I. Formal Languages for Physics
A. Doering, C. J. Isham
This paper is the first in a series whose goal is to develop a fundamentally new way of constructing theories of physics. The motivation comes from a desire to address certain deep…
A Topos Perspective on the Kochen-Specker Theorem: III. Von Neumann Algebras as the Base Category
J. Hamilton, C. J. Isham, J. Butterfield
We extend the topos-theoretic treatment given in previous papers of assigning values to quantities in quantum theory, and of related issues such as the Kochen-Specker theorem. This…
A topos perspective on the Kochen-Specker theorem: I. Quantum States as Generalized Valuations
C. J. Isham, J. Butterfield
The Kochen-Specker theorem asserts the impossibility of assigning values to quantum quantities in a way that preserves functional relations between them. We construct a new type of…
Continuous Time and Consistent Histories
C. J. Isham, N. Linden, K. Savvidou +1
We discuss the use of histories labelled by a continuous time in the approach to consistent-histories quantum theory in which propositions about the history of the system are repre…
Information-entropy and the space of decoherence functions in generalised quantum theory
C. J. Isham, N. Linden
In standard quantum theory, the ideas of information-entropy and of pure states are closely linked. States are represented by density matrices on a Hilbert space and the inform…