Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics

DOI10.1016/J.INDAG.2019.01.003OpenAlexW2909562585MaRDI QIDQ1740612

Saul A. Kripke

Publication date: 2 May 2019

Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.indag.2019.01.003

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Related Items (1)

A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intuitionism. An introduction
• Analysing choice sequences
• The creating subject, the Brouwer-Kripke schema, and infinite proofs
• The use of Kripke's schema as a reduction principle
• INTUITIONISTIC ANALYSIS AT THE END OF TIME
• Formal systems for some branches of intuitionistic analysis
• Points and Spaces

This page was built for publication: Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics