Bar induction and restricted classical logic

DOI10.1007/978-3-662-59533-6_15MaRDI QIDQ2303591zbMATH OpenOpenAlexFDO

Authors Makoto Fujiwara

Publication date 4 March 2020

Full work available at URL https://doi.org/10.1007/978-3-662-59533-6_15

zbMATH Keywords

bar inductionintuitionistic mathematicsreverse mathematicssubsystems of second-order arithmetic

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Principles of bar induction and continuity on Baire space
• scientific article; zbMATH DE number 1795235
• Bar induction. The good, the bad, and the ugly
• A logical characterization of the continuous bar induction
• A note on Bar Induction in Constructive Set Theory

Cited in

(6)

• A formalization of Brouwer's argument for bar induction
• Parallelizations in Weihrauch reducibility and constructive reverse mathematics
• Minimum classical extensions of constructive theories
• Equivalence of bar induction and bar recursion for continuous functions with continuous moduli
• König's lemma, weak König's lemma, and the decidable fan theorem
• A logical characterization of the continuous bar induction

This page was built for publication: Bar induction and restricted classical logic

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