scientific article; zbMATH DE number 3825800

MaRDI QIDQ3671972zbMATHFDO

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

(6)

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

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)