Arguments for the Continuity Principle

DOI10.2307/3062203zbMATH Open1036.03047OpenAlexW2109302367MaRDI QIDQ4779633FDOQ4779633

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

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

zbMATH Keywords

Brouwer's continuity principle

Mathematics Subject Classification ID

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

Cited In (19)

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

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)