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

DOI10.1016/J.INDAG.2019.01.003MaRDI QIDQ1740612zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Choice sequences and the continuum
• scientific article; zbMATH DE number 997681
• Intuitionistic analysis at the end of time
• Relative lawlessness in intuitionistic analysis
• Spreads or choice sequences?

Cites work

• Analysing choice sequences
• Formal systems for some branches of intuitionistic analysis
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 3747104 (Why is no real title available?)
• scientific article; zbMATH DE number 192927 (Why is no real title available?)
• scientific article; zbMATH DE number 3552491 (Why is no real title available?)
• scientific article; zbMATH DE number 3557754 (Why is no real title available?)
• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3298807 (Why is no real title available?)
• Intuitionism. An introduction
• Intuitionistic analysis at the end of time
• Points and Spaces
• The creating subject, the Brouwer-Kripke schema, and infinite proofs
• The use of Kripke's schema as a reduction principle

Cited in

(1)

• A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES

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

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