A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES

DOI10.1017/bsl.2023.12OpenAlexW4323665341MaRDI QIDQ6072337

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

Brouwerintuitionistic analysisintuitionismpotential infinitypotentialismfree choice sequences

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Brouwer meets Husserl. On the phenomenology of choice sequences
• Analysing choice sequences
• Decidability for branching time
• Constructivism in mathematics. An introduction. Volume II
• Intuitionistic views on the nature of mathematics
• Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics
• The creating subject, the Brouwer-Kripke schema, and infinite proofs
• The strong future tense
• A classical view of the intuitionistic continuum
• Mathematical intuitionism and intersubjectivity. A critical exposition of arguments for intuitionism
• Intuitionism. An introduction. 3rd revised ed
• Epistemic arithmetic is a conservative extension of intuitionistic arithmetic
• INTUITIONISTIC ANALYSIS AT THE END OF TIME
• Arguments for the Continuity Principle
• Divergent Potentialism: A Modal Analysis With an Application to Choice Sequences
• Iterated Definability, Lawless Sequences, and Brouwer’s Continuum

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