A Topos Perspective on the Kochen-Specker Theorem: IV. Interval Valuations

Details A Topos Perspective on the Kochen-Specker Theorem: IV. Interval Valuations A Topos Perspective on the Kochen-Specker Theorem: IV. Interval Valuations

2001-07-24

arxiv.org/abs/quant-ph/0107123v1

Int.J.Theor.Phys. 41 (2002) 613-639

Physics

Quantum Physics

Latex2e

Scientific paper

We extend the topos-theoretic treatment given in previous papers of assigning values to quantities in quantum theory. In those papers, the main idea was to assign a sieve as a partial and contextual truth value to a proposition that the value of a quantity lies in a certain set $\Delta \subseteq \mathR$. Here we relate such sieve-valued valuations to valuations that assign to quantities subsets, rather than single elements, of their spectra (we call these `interval' valuations). There are two main results. First, there is a natural correspondence between these two kinds of valuation, which uses the notion of a state's support for a quantity (Section 3). Second, if one starts with a more general notion of interval valuation, one sees that our interval valuations based on the notion of support (and correspondingly, our sieve-valued valuations) are a simple way to secure certain natural properties of valuations, such as monotonicity (Section 4).

Affiliated with

Also associated with

No associations

Rating

A Topos Perspective on the Kochen-Specker Theorem: IV. Interval Valuations does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Topos Perspective on the Kochen-Specker Theorem: IV. Interval Valuations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Topos Perspective on the Kochen-Specker Theorem: IV. Interval Valuations will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-322877