Analysing choice sequences

DOI10.1007/BF00247189zbMath0518.03023OpenAlexW1984653431MaRDI QIDQ1053674

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

surveychoice sequenceslawless sequences

Mathematics Subject Classification ID

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

Related Items

On the Brouwerian concept of negative continuity ⋮ Spreads or choice sequences? ⋮ A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES ⋮ Continuity of Motion in Whitehead’s Geometrical Space ⋮ 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