Spreads or choice sequences?

DOI10.1080/01445349208837203zbMath0769.03004OpenAlexW2135457340WikidataQ58517931 ScholiaQ58517931MaRDI QIDQ4018173

H. C. M. De Swart

Publication date: 16 January 1993

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445349208837203

zbMATH Keywords

spreadcontinuity principlesBrouwer's reconstruction of mathematicshistory of intuitionistic logicmeaning of quantificationquantification over lawless sequenceswell- circumscribed intuitionistic set

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Metamathematics of constructive systems (03F50)

Related Items (3)

Realizing Brouwer's sequences ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs ⋮ Using Brouwer's continuity principle to pick stocks

Cites Work

• Analysing choice sequences
• Constructivism in mathematics. An introduction. Volume I
• The continuum hypothesis in intuitionism
• Elements of Intuitionistic Analysis. Rolle's Theorem and Complete, Totally bounded, Metric Spaces
• Elements of Intuitionistic Analysis II the Stone‐Weierstrass Theorem and Ascoli's Theorem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Spreads or choice sequences?