The principle of open induction on [0, 1] and the approximate-fan theorem

DOI10.1215/00294527-2024-0035MaRDI QIDQ6930128zbMATH OpenFDO

Authors Wim Veldman

Publication date 16 September 2025

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-66/issue-3/The-Principle-of-Open-Induction-on-01-and-the-Approximate/10.1215/00294527-2024-0035.full

zbMATH Keywords

approximate-fan theoremopen induction on \([0, 1\)]

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55)

Cites work

• A direct version of Veldman's proof of open induction on Cantor space via delimited control operators
• Almost the fan theorem.
• An Introduction to Constructive Reverse Mathematics
• An intuitionistic proof of Kruskal's theorem
• Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
• Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem
• Classical and constructive hierarchies in extended intuitionistic analysis
• Constructivism in mathematics. An introduction. Volume II
• Delimited control operators prove double-negation shift
• Equivalents of the (weak) fan theorem
• scientific article; zbMATH DE number 3485716 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (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?)
• Intuitionism: an inspiration?
• Leçons sur la théorie des fonctions (Éléments et principes de la théorie des ensembles: applications à la théorie des fonctions). 3. éd.
• Note on the fan theorem
• On a problem of formal logic.
• On some points in the theory of functions.
• Points and Spaces
• Projective sets, intuitionistically
• Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics
• Solovay's relative consistency proof for FIM and BI
• The Fan Theorem, its strong negation, and the determinacy of games
• Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
• Two simple sets that are not positively Borel
• Zur Begründung der intuitionistischen Mathematik. I. II.
• Über Definitionsbereiche von Funktionen.

This page was built for publication: The principle of open induction on \([0, 1]\) and the approximate-fan theorem

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