Reclassifying the antithesis of Specker’s theorem

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

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
Keywords Specker sequence  Brouwer’s fan theorem  Constructive reverse mathematics  Constructive mathematics
Categories (categorize this paper)
DOI 10.1007/s00153-012-0292-9
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 45,696
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Subsystems of Second-Order Arithmetic.Stephen G. Simpson - 2004 - Studia Logica 77 (1):129-129.
Varieties of Constructive Mathematics.D. S. Bridges - 1987 - Cambridge University Press.
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

Citations of this work BETA

No citations found.

Add more citations

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.
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.
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.
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 index
2013-10-27

Total views
11 ( #723,632 of 2,280,866 )

Recent downloads (6 months)
2 ( #575,745 of 2,280,866 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature