TY - RPRT TI - A Topos Perspective on the Kochen-Specker Theorem: IV. Interval Valuations AU - J. Butterfield AU - C. J. Isham PY - 2001 UR - https://arxiv.org/abs/quant-ph/0107123 ID - quant-ph/0107123 ER -