What is intuitionistic arithmetic?

DOI10.1007/S10670-023-00671-WMaRDI QIDQ7228049zbMATH OpenFDO

Authors V. Alexis Peluce

Publication date 13 April 2026

Published in Erkenntnis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S10670-023-00671-W

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55)

Cites work

• Barcan Both Ways
• Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject: afterthoughts on a Parisian joint session
• Constructivism in mathematics. An introduction. Volume II
• Epistemic predicates in the arithmetical context
• Extensions of some theorems of Gödel and Church.
• Finite Kripke models of HA are locally PA
• First-order modal logic
• From Brouwerian counter examples to the creating subject
• From epistemic paradox to doxastic arithmetic
• scientific article; zbMATH DE number 5905243 (Why is no real title available?)
• scientific article; zbMATH DE number 3891353 (Why is no real title available?)
• scientific article; zbMATH DE number 3819710 (Why is no real title available?)
• scientific article; zbMATH DE number 3950473 (Why is no real title available?)
• scientific article; zbMATH DE number 4021069 (Why is no real title available?)
• scientific article; zbMATH DE number 50290 (Why is no real title available?)
• scientific article; zbMATH DE number 107511 (Why is no real title available?)
• scientific article; zbMATH DE number 3485716 (Why is no real title available?)
• scientific article; zbMATH DE number 1093813 (Why is no real title available?)
• scientific article; zbMATH DE number 1855559 (Why is no real title available?)
• scientific article; zbMATH DE number 2204804 (Why is no real title available?)
• scientific article; zbMATH DE number 3209151 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• scientific article; zbMATH DE number 3247139 (Why is no real title available?)
• scientific article; zbMATH DE number 3298807 (Why is no real title available?)
• scientific article; zbMATH DE number 3190337 (Why is no real title available?)
• Implicit epistemic aspects of constructive logic
• Intuitionism. An introduction
• Intuitionisme en Formalisme.
• Logic and structure
• Mathematical intuition. Phenomenology and mathematical knowledge
• Mathematical intuitionism and intersubjectivity. A critical exposition of arguments for intuitionism
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• On the structure of kripke models of heyting arithmetic
• Possible-worlds semantics for modal notions conceived as predicates
• Toward predicate approaches to modality
• Varieties of logic

This page was built for publication: What is intuitionistic arithmetic?

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