Annals of Pure and Applied Logic 161 (6):737-744 (2010)
AbstractIn the context of intuitionistic analysis, we consider the set consisting of all continuous functions from [0,1] to such that =0 and =1, and the set consisting of ’s in where there exists x[0,1] such that . It is well-known that there are weak counterexamples to the intermediate value theorem, and with Brouwer’s continuity principle we have . However, there exists no satisfying answer to . We try to answer to this question by reducing it to a schema about intuitionistic decidability that asserts “there exists an intuitionistically enumerable set that is not intuitionistically decidable”. We also introduce the notion of strong Specker double sequence, and prove that the existence of such a double sequence is equivalent to the existence of a function where
Added to PP
Historical graph of downloads
References found in this work
Decidability and Specker Sequences in Intuitionistic Mathematics.Mohammad Ardeshir & Rasoul Ramezanian - 2009 - Mathematical Logic Quarterly 55 (6):637-648.
Classical and Constructive Hierarchies in Extended Intuitionistic Analysis.Joan Rand Moschovakis - 2003 - Journal of Symbolic Logic 68 (3):1015-1043.
Similar books and articles
A Short Proof of Glivenko Theorems for Intermediate Predicate Logics.Christian Espíndola - 2013 - Archive for Mathematical Logic 52 (7-8):823-826.
Glivenko Theorems for Substructural Logics Over FL.Nikolaos Galatos & Hiroakira Ono - 2006 - Journal of Symbolic Logic 71 (4):1353 - 1384.
On the Proof Theory of the Intermediate Logic MH.Jonathan P. Seldin - 1986 - Journal of Symbolic Logic 51 (3):626-647.
An Approach to Glivenko’s Theorem in Algebraizable Logics.Antoni Torrens - 2008 - Studia Logica 88 (3):349-383.
An Approach to Glivenko's Theorem in Algebraizable Logics.Antoni Torrens Torrell - 2008 - Studia Logica 88 (3):349 - 383.
Solger's Notion of Sacrifice as Double Negation.Paolo Diego Bubbio - 2009 - Heythrop Journal 50 (2):206-214.
Reflexive Intermediate First-Order Logics.Nathan C. Carter - 2008 - Notre Dame Journal of Formal Logic 49 (1):75-95.
Negation and Disjunction in Discourse Representation Theory.Krahmer Emiel & Muskens Reinhard - 1995 - Journal of Semantics 12 (4):357-376.