16 found
Order:
  1.  71
    An intuitiomstic completeness theorem for intuitionistic predicate logic.Wim Veldman - 1976 - Journal of Symbolic Logic 41 (1):159-166.
  2.  65
    Brouwer’s Fan Theorem as an axiom and as a contrast to Kleene’s alternative.Wim Veldman - 2014 - Archive for Mathematical Logic 53 (5):621-693.
    The paper is a contribution to intuitionistic reverse mathematics. We introduce a formal system called Basic Intuitionistic Mathematics BIM, and then search for statements that are, over BIM, equivalent to Brouwer’s Fan Theorem or to its positive denial, Kleene’s Alternative to the Fan Theorem. The Fan Theorem is true under the intended intuitionistic interpretation and Kleene’s Alternative is true in the model of BIM consisting of the Turing-computable functions. The task of finding equivalents of Kleene’s Alternative is, intuitionistically, a nontrivial (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  3.  56
    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, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  4.  43
    An intuitionistic proof of Kruskal’s theorem.Wim Veldman - 2004 - Archive for Mathematical Logic 43 (2):215-264.
  5.  49
    The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective.Wim Veldman - 2008 - Journal of Symbolic Logic 73 (1):1-64.
    In intuitionistic analysis, "Brouwer's Continuity Principle" implies, together with an "Axiom of Countable Choice", that the positively Borel sets form a genuinely growing hierarchy: every level of the hierarchy contains sets that do not occur at any lower level.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  29
    Some observations on intuitionistically elementary properties of linear orderings.Wim Veldman & Michaël Janssen - 1990 - Archive for Mathematical Logic 29 (3):171-185.
  7.  6
    The Fan Theorem, its strong negation, and the determinacy of games.Wim Veldman - forthcoming - Archive for Mathematical Logic:1-66.
    In the context of a weak formal theory called Basic Intuitionistic Mathematics $$\textsf{BIM}$$ BIM, we study Brouwer’s Fan Theorem and a strong negation of the Fan Theorem, Kleene’s Alternative (to the Fan Theorem). We prove that the Fan Theorem is equivalent to contrapositions of a number of intuitionistically accepted axioms of countable choice and that Kleene’s Alternative is equivalent to strong negations of these statements. We discuss finite and infinite games and introduce a constructively useful notion of determinacy. We prove (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  47
    Enrico Martino.*Intuitionistic Proof Versus Classical Truth, The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics.Wim Veldman - 2019 - Philosophia Mathematica 27 (3):445-450.
    MartinoEnrico.* * Intuitionistic Proof Versus Classical Truth, The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics. Logic, Methodology and the Unity of Science; 42. Springer, 2018. ISBN: 978-3-319-74356-1 ; 978-3-030-08971-9, 978-3-319-74357-8. Pp. xiii + 170.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  52
    (1 other version)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  
  10.  85
    The fine structure of the intuitionistic borel hierarchy.Wim Veldman - 2009 - Review of Symbolic Logic 2 (1):30-101.
    In intuitionistic analysis, a subset of a Polish space like or is called positively Borel if and only if it is an open subset of the space or a closed subset of the space or the result of forming either the countable union or the countable intersection of an infinite sequence of (earlier constructed) positively Borel subsets of the space. The operation of taking the complement is absent from this inductive definition, and, in fact, the complement of a positively Borel (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  11.  18
    The problem of determinacy of infinite games from an intuitionistic point of view.Wim Veldman - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Dordrecht, Netherland: Springer Verlag. pp. 351--370.
  12.  29
    Aczel Peter. The strength of Martin-Löf's intuitionistic type theory with one universe. Proceedings of the symposiums on mathematical logic in Oulu 1974 and in Helsinki 1975, edited by Miettinen Seppo and Väänänen Jouko, The department of philosophy, University of Helsinki, Helsinki 1977, pp. 1–32. [REVIEW]Wim Veldman - 1984 - Journal of Symbolic Logic 49 (1):313.
  13.  22
    (1 other version)Aczel Peter. The type theoretic interpretation of constructive set theory. Logic Colloquium '77, Proceedings of the colloquium held in Wrocław, August 1977, edited by Macintyre Angus, Pacholski Leszek, and Paris Jeff, Studies in logic and the foundations of mathematics, vol. 96, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, pp. 55–66. [REVIEW]Wim Veldman - 1984 - Journal of Symbolic Logic 49 (1):313-314.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  19
    (1 other version)Gabbay Dov M.. Semantical investigations in Heyting's intuitionistic logic. Synthese library, vol. 148. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1981, x + 287 pp. [REVIEW]Wim Veldman - 1986 - Journal of Symbolic Logic 51 (3):824-824.
  15.  31
    (1 other version)Martin-Löf Per. An intuitionistic theory of types: predicative part. Logic colloquium '73, Proceedings of the logic colloquium, Bristol, July 1973, edited by Rose H. E. and Shepherdson J. C., Studies in logic and the foundations of mathematics, vol. 80, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, pp. 73–118. [REVIEW]Wim Veldman - 1984 - Journal of Symbolic Logic 49 (1):311-313.
  16.  17
    Review: Peter Aczel, Seppo Miettinen, Jouko Vaananen, The Strength of Martin-Lof's Intuitionistic Type Theory with One Universe. [REVIEW]Wim Veldman - 1984 - Journal of Symbolic Logic 49 (1):313-313.