scientific article; zbMATH DE number 3825800

MaRDI QIDQ3671972zbMATH OpenFDO

Authors A. S. Troelstra

Publication date 1982

zbMATH Keywords

choice sequence

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Intuitionistic mathematics (03F55)

Cited in

(8)

• The creating subject, the Brouwer-Kripke schema, and infinite proofs
• Using Brouwer's continuity principle to pick stocks
• Weyl and Intuitionistic Infinitesimals
• Spreads or choice sequences?
• A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES
• Brouwer, as never read by Husserl
• What is forcing potentialism?
• Brouwer's weak counterexamples and the creative subject: a critical survey

This page was built for publication:

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