Spreads or choice sequences?

DOI10.1080/01445349208837203MaRDI QIDQ4018173zbMATH OpenOpenAlexWikidataFDO

Authors Harrie 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

Brouwer's reconstruction of mathematicscontinuity principleshistory of intuitionistic logicmeaning of quantificationquantification over lawless sequencesspreadwell- circumscribed intuitionistic set

Mathematics Subject Classification ID

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

Recommendations

• Relative lawlessness in intuitionistic analysis
• Realizing Brouwer's sequences
• scientific article; zbMATH DE number 997681
• scientific article; zbMATH DE number 3941537
• More about relatively lawless sequences

Cites work

• Analysing choice sequences
• Constructivism in mathematics. An introduction. Volume I
• Elements of Intuitionistic Analysis II the Stone‐Weierstrass Theorem and Ascoli's Theorem
• Elements of Intuitionistic Analysis. Rolle's Theorem and Complete, Totally bounded, Metric Spaces
• scientific article; zbMATH DE number 3825800 (Why is no real title available?)
• scientific article; zbMATH DE number 3485716 (Why is no real title available?)
• scientific article; zbMATH DE number 3552491 (Why is no real title available?)
• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• The continuum hypothesis in intuitionism

Cited in

(9)

• Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics
• The creating subject, the Brouwer-Kripke schema, and infinite proofs
• Realizing Brouwer's sequences
• Using Brouwer's continuity principle to pick stocks
• On choice sequences determined by spreads
• Relative lawlessness in intuitionistic analysis
• scientific article; zbMATH DE number 1182711 (Why is no real title available?)
• Iterated definability, lawless sequences, and Brouwer's continuum
• A potentialist perspective on intuitionistic analysis

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

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