Intuitionism: an inspiration?

DOI10.1365/S13291-021-00230-8MaRDI QIDQ2065727zbMATH OpenOpenAlexFDO

Authors Wim Veldman

Publication date 12 January 2022

Published in Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2102.01561

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55) Fixed-point and coincidence theorems (topological aspects) (54H25)

Cites work

• A recursion theoretic analysis of the clopen Ramsey theorem
• Almost the fan theorem.
• An intuitionist correction of the fixed-point theorem on the sphere
• An intuitionistic proof of Kruskal's theorem
• Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
• scientific article; zbMATH DE number 3119278 (Why is no real title available?)
• scientific article; zbMATH DE number 3843743 (Why is no real title available?)
• scientific article; zbMATH DE number 3873291 (Why is no real title available?)
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 46958 (Why is no real title available?)
• scientific article; zbMATH DE number 47172 (Why is no real title available?)
• scientific article; zbMATH DE number 108068 (Why is no real title available?)
• scientific article; zbMATH DE number 3485716 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 3004282 (Why is no real title available?)
• scientific article; zbMATH DE number 1795233 (Why is no real title available?)
• scientific article; zbMATH DE number 1418440 (Why is no real title available?)
• scientific article; zbMATH DE number 7377979 (Why is no real title available?)
• scientific article; zbMATH DE number 3428899 (Why is no real title available?)
• scientific article; zbMATH DE number 5200731 (Why is no real title available?)
• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• scientific article; zbMATH DE number 3236014 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• scientific article; zbMATH DE number 3363463 (Why is no real title available?)
• scientific article; zbMATH DE number 3404206 (Why is no real title available?)
• scientific article; zbMATH DE number 3198033 (Why is no real title available?)
• scientific article; zbMATH DE number 3062923 (Why is no real title available?)
• scientific article; zbMATH DE number 3068973 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• scientific article; zbMATH DE number 3077155 (Why is no real title available?)
• scientific article; zbMATH DE number 3099239 (Why is no real title available?)
• Intuitionism. An introduction
• L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction
• Points and Spaces
• Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics
• Retracing Cantor's first steps in Brouwer's company
• The continuum hypothesis in intuitionism
• The problem of determinacy of infinite games from an intuitionistic point of view
• Theory of relations. Transl. from the French by P. Clote
• Towards a Theory of Mathematical Research Programmes (I)
• Two simple sets that are not positively Borel
• Untersuchungen über das logische Schliessen. I
• What is Cantor's Continuum Problem?

Cited in

(5)

• Projective sets, intuitionistically
• Intuitionism: an inspiration?
• The principle of open induction on \([0, 1]\) and the approximate-fan theorem
• On some of Brouwer's axioms
• The Fan Theorem, its strong negation, and the determinacy of games

This page was built for publication: Intuitionism: an inspiration?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2065727)