Switch to: References

Add citations

You must login to add citations.
  1. Two simple sets that are not positively Borel.Wim Veldman - 2005 - Annals of Pure and Applied Logic 135 (1-3):151-209.
    The author proved in his Ph.D. Thesis [W. Veldman, Investigations in intuitionistic hierarchy theory, Ph.D. Thesis, Katholieke Universiteit Nijmegen, 1981] that, in intuitionistic analysis, the positively Borel subsets of Baire space form a genuinely growing hierarchy: every level of the hierarchy contains sets that do not occur at any lower level. It follows from this result that there are natural examples of analytic and also of co-analytic sets that are not positively Borel. It turns out, however, that, in intuitionistic analysis, (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Unavoidable sequences in constructive analysis.Joan Rand Moschovakis - 2010 - Mathematical Logic Quarterly 56 (2):205-215.
    Five recursively axiomatizable theories extending Kleene's intuitionistic theory FIM of numbers and numbertheoretic sequences are introduced and shown to be consistent, by a modified relative realizability interpretation which verifies that every sequence classically defined by a Π11 formula is unavoidable and that no sequence can fail to be classically Δ11. The analytical form of Markov's Principle fails under the interpretation. The notion of strongly inadmissible rule of inference is introduced, with examples.
    Download  
     
    Export citation  
     
    Bookmark  
  • The double negation of the intermediate value theorem.Mohammad Ardeshir & Rasoul Ramezanian - 2010 - Annals of Pure and Applied Logic 161 (6):737-744.
    In 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation