A note on Bar Induction in Constructive Set Theory

DOI10.1002/MALQ.200510030MaRDI QIDQ5485398zbMATH OpenOpenAlexFDO

Authors Michael Rathjen

Publication date 30 August 2006

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200510030

zbMATH Keywords

Bar InductionBrouwerian principlesConstructive set theoryproof-theoretic strength

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Relative consistency and interpretations (03F25) Metamathematics of constructive systems (03F50) Other constructive mathematics (03F65)

Recommendations

• Constructive set theory and Brouwerian principles
• scientific article; zbMATH DE number 2247249
• Principles of bar induction and continuity on Baire space
• Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
• A Constructive Version of the Lusin Separation Theorem

Cites work

• Constructivism in mathematics. An introduction. Volume I
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 1390277 (Why is no real title available?)

Cited in

(11)

• A formalization of Brouwer's argument for bar induction
• Formally computing with the non-computable
• Bar induction and restricted classical logic
• scientific article; zbMATH DE number 3900745 (Why is no real title available?)
• scientific article; zbMATH DE number 1156830 (Why is no real title available?)
• Derived rules for predicative set theory: an application of sheaves
• scientific article; zbMATH DE number 1795235 (Why is no real title available?)
• Validating Brouwer's continuity principle for numbers using named exceptions
• Constructive set theory and Brouwerian principles
• scientific article; zbMATH DE number 2247249 (Why is no real title available?)
• Dialogues and Proofs; Yankov’s Contribution to Proof Theory

This page was built for publication: A note on Bar Induction in Constructive Set Theory

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