Reclassifying the antithesis of Specker’s theorem

Archive for Mathematical Logic 51 (7-8):687-693 (2012)
  Copy   BIBTEX

Abstract

It is shown that a principle, which can be seen as a constructivised version of sequential compactness, is equivalent to a form of Brouwer’s fan theorem. The complexity of the latter depends on the geometry of the spaces involved in the former.

Categories

Keywords

Reprint years

DOI

10.1007/s00153-012-0292-9

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,038

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Generalizations of Kochen and Specker's theorem and the effectiveness of Gleason's theorem.Itamar Pitowsky - 2003 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 35 (2):177-194.
A generalization of Specker's theorem on typical ambiguity.Richard Kaye - 1991 - Journal of Symbolic Logic 56 (2):458-466.
A topos perspective on the kochen-Specker theorem: III. Von Neumann algebras as the base category.John Hamilton, Chris Isham & Jeremy Butterfield - unknown
Logical Reflections On the Kochen-Specker Theorem.John L. Bell - unknown
Less Ado, More Done: Verbal and Visual Antithesis in the Media.Hilde van Belle - 2013 - Informal Logic 33 (3):343-360.
The Bell–Kochen–Specker theorem.D. M. Appleby - 2005 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 36 (1):1-28.
Quantum mechanics: From realism to intuitionism.Ronnie Hermens - unknown
Non-contextuality, finite precision measurement and the Kochen–Specker theorem.Jonathan Barrett & Adrian Kent - 2004 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 35 (2):151-176.
A topos perspective on the kochen-Specker theorem: I. Quantum states as generalised valuations.Chris Isham & Jeremy Butterfield - unknown
A topos perspective on the kochen-Specker theorem: II. Conceptual aspects, and classical analogues.Jeremy Butterfield & Chris Isham - unknown
Guidelines for Debates.Dr Ross - unknown
The Strong Free Will Theorem.John H. Conway - unknown
Kochen–Specker -obstruction for position and momentum using a single degree of freedom.P. R. Holland - unknown
Two no-go theorems for modal interpretations of quantum mechanics.E. P. - 1999 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 30 (3):403-431.

Analytics

Added to PP
2013-10-27

Downloads
14 (#991,840)

6 months
2 (#1,201,619)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.
Varieties of constructive mathematics.D. S. Bridges - 1987 - New York: Cambridge University Press. Edited by Fred Richman.
Nicht konstruktiv beweisbare sätze der analysis.Ernst Specker - 1949 - Journal of Symbolic Logic 14 (3):145-158.

View all 7 references / Add more references