See also
  1.  67
    On the foundations of constructive mathematics – especially in relation to the theory of continuous functions.Frank Waaldijk - 2004 - Foundations of Science 10 (3):249-324.
    We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical mathematics. There are connections with the foundations of physics, due to the way in which the different branches of mathematics reflect reality. Many different axioms and their interrelationship are discussed. We show that there is a fundamental problem in BISH (Bishop’s school of constructive mathematics) with regard to its current definition of ‘continuous function’. This problem is closely related to the definition in BISH of (...)
    Direct download (5 more)  
    Export citation  
    Bookmark   5 citations  
  2.  18
    Some elementary results in intutionistic model theory.Wim Veldman & Frank Waaldijk - 1996 - Journal of Symbolic Logic 61 (3):745-767.
    We establish constructive refinements of several well-known theorems in elementary model theory. The additive group of the real numbers may be embedded elementarily into the additive group of pairs of real numbers, constructively as well as classically.
    Direct download (9 more)  
    Export citation  
    Bookmark   1 citation