A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES

DOI10.1017/BSL.2023.12MaRDI QIDQ6072337zbMATH OpenOpenAlexFDO

Authors Ethan Brauer

Publication date 13 October 2023

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/bsl.2023.12

zbMATH Keywords

Brouwerfree choice sequencesintuitionismintuitionistic analysispotential infinitypotentialism

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Relative consistency and interpretations (03F25) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Cites work

• A classical view of the intuitionistic continuum
• Analysing choice sequences
• Arguments for the Continuity Principle
• Brouwer meets Husserl. On the phenomenology of choice sequences
• Constructivism in mathematics. An introduction. Volume II
• Decidability for branching time
• Divergent potentialism: a modal analysis with an application to choice sequences
• Epistemic arithmetic is a conservative extension of intuitionistic arithmetic
• Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics
• scientific article; zbMATH DE number 3891353 (Why is no real title available?)
• scientific article; zbMATH DE number 3825800 (Why is no real title available?)
• scientific article; zbMATH DE number 3552491 (Why is no real title available?)
• scientific article; zbMATH DE number 1273299 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 1478228 (Why is no real title available?)
• scientific article; zbMATH DE number 2168558 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3294550 (Why is no real title available?)
• scientific article; zbMATH DE number 3298807 (Why is no real title available?)
• Intuitionism. An introduction. 3rd revised ed
• Intuitionistic analysis at the end of time
• Intuitionistic views on the nature of mathematics
• Iterated definability, lawless sequences, and Brouwer's continuum
• Mathematical intuitionism and intersubjectivity. A critical exposition of arguments for intuitionism
• The creating subject, the Brouwer-Kripke schema, and infinite proofs
• The strong future tense

Cited in

(3)

• scientific article; zbMATH DE number 510786 (Why is no real title available?)
• A potentialist perspective on intuitionistic analysis
• What is forcing potentialism?

This page was built for publication: A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES

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