Analysing choice sequences

DOI10.1007/BF00247189MaRDI QIDQ1053674zbMATH OpenOpenAlexFDO

Authors A. S. Troelstra

Publication date 1983

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00247189

zbMATH Keywords

choice sequenceslawless sequencessurvey

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Cited in

(8)

• On the Brouwerian concept of negative continuity
• Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics
• The creating subject, the Brouwer-Kripke schema, and infinite proofs
• Using Brouwer's continuity principle to pick stocks
• Continuity of motion in Whitehead's geometrical space
• Spreads or choice sequences?
• A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES
• Open bar -- a Brouwerian intuitionistic logic with a pinch of excluded middle

This page was built for publication: Analysing choice sequences

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