Arguments for the Continuity Principle

DOI10.2307/3062203MaRDI QIDQ4779633zbMATH OpenOpenAlexFDO

Authors Mark van Atten, Dirk van Dalen

Publication date 16 December 2002

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://dspace.library.uu.nl/handle/1874/26961, http://www.math.ucla.edu/~asl/bsl/0803-toc.htm

zbMATH Keywords

Brouwer's continuity principle

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Recommendations

• scientific article; zbMATH DE number 3954905
• On the Brouwerian concept of negative continuity
• Continuity and nondiscontinuity in constructive mathematics
• Continuity in intuitionism
• A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem

Cited in

(22)

• On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis
• To be or not to be constructive, that is not the question
• On Brouwer's continuity principle
• The creating subject, the Brouwer-Kripke schema, and infinite proofs
• Reasoning continuously: a formal construction of continuous proofs
• Formally computing with the non-computable
• Using Brouwer's continuity principle to pick stocks
• A note on neat reducts
• A Dialogical Account of the Intersubjectivity of Intuitionism
• scientific article; zbMATH DE number 3954905 (Why is no real title available?)
• Church's thesis, continuity, and set theory
• scientific article; zbMATH DE number 4095810 (Why is no real title available?)
• Validating Brouwer's continuity principle for numbers using named exceptions
• In Domain Realizability, not all Functionals on C[–1, 1] are Continuous
• Bishop-Style Constructive Reverse Mathematics
• The inconsistency of a Brouwerian continuity principle with the Curry-Howard interpretation
• A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES
• \(\text{TT}^\Box_{\mathcal{C}}\): a family of extensional type theories with effectful realizers of continuity
• Open bar -- a Brouwerian intuitionistic logic with a pinch of excluded middle
• Brouwer, as never read by Husserl
• Separating Markov's principles
• Brouwer's weak counterexamples and the creative subject: a critical survey

This page was built for publication: Arguments for the Continuity Principle

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