A note on Bar Induction in Constructive Set Theory

DOI10.1002/malq.200510030zbMath1095.03068OpenAlexW2080683066MaRDI QIDQ5485398

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

proof-theoretic strengthConstructive set theoryBar InductionBrouwerian principles

Mathematics Subject Classification ID

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

Related Items

Dialogues and Proofs; Yankov’s Contribution to Proof Theory, Derived rules for predicative set theory: an application of sheaves, Validating Brouwer's continuity principle for numbers using named exceptions, Formally computing with the non-computable

Cites Work

• Constructivism in mathematics. An introduction. Volume I
• Unnamed Item
• Unnamed Item