A potentialist perspective on intuitionistic analysis

DOI10.1093/PHILMAT/NKAE025MaRDI QIDQ6909075zbMATH OpenFDO

Authors Ethan Brauer

Publication date 30 October 2025

Published in Philosophia Mathematica. Series III (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1093/PHILMAT/NKAE025

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Intuitionistic mathematics (03F55)

Cites work

• A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES
• Can all things be counted?
• Constructivism in mathematics. An introduction. Volume I
• Divergent potentialism: a modal analysis with an application to choice sequences
• Epistemic and intuitionistic formal systems
• Formal systems for some branches of intuitionistic analysis
• How connected is the intuitionistic continuum?
• scientific article; zbMATH DE number 3908428 (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 3552491 (Why is no real title available?)
• scientific article; zbMATH DE number 1478228 (Why is no real title available?)
• scientific article; zbMATH DE number 3999912 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 3325546 (Why is no real title available?)
• scientific article; zbMATH DE number 3191281 (Why is no real title available?)
• Intensional mathematics
• Intuitionistic views on the nature of mathematics
• On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions
• PREDICATIVISM AS A FORM OF POTENTIALISM
• Realizability semantics for quantified modal logic: generalizing Flagg's 1985 construction
• Spreads or choice sequences?
• The creating subject, the Brouwer-Kripke schema, and infinite proofs
• The iterative conception of set. A (bi-)modal axiomatisation
• THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES
• THE POTENTIAL HIERARCHY OF SETS
• VARIETIES OF CLASS-THEORETIC POTENTIALISM

Cited in

(1)

• Introduction to special issue on potentialism in the philosophy of mathematics

This page was built for publication: A potentialist perspective on intuitionistic analysis

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