Loading...

The principle of open induction and specker sequences

Ardeshir, M ; Sharif University of Technology | 2017

223 Viewed
  1. Type of Document: Article
  2. DOI: 10.1093/jigpal/jzw064
  3. Publisher: Oxford University Press , 2017
  4. Abstract:
  5. The schema ED asserts that 'there exists an intuitionistically enumerable subset of N which is not intuitionistically decidable.' In this article, we prove that in the presence of Markov's Principle over Bishop's constructive analysis, ¬ED is equivalent to the principle of open induction on [0,1], via Specker sequences. © 2016. Oxford University Press. All rights reserved
  6. Keywords:
  7. Construcive analysis ; Open induction ; Specker sequences
  8. Source: Logic Journal of the IGPL ; Volume 25, Issue 2 , 2017 , Pages 232-238 ; 13670751 (ISSN)
  9. URL: https://academic.oup.com/jigpal/article/25/2/232/3038021