Analysing choice sequences
From MaRDI portal
Publication:1053674
DOI10.1007/BF00247189zbMath0518.03023OpenAlexW1984653431MaRDI QIDQ1053674
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
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