A formalization of Brouwer's argument for bar induction
From MaRDI portal
(Redirected from Publication:1799271)
Recommendations
- Bar induction and restricted classical logic
- Extended bar induction in applicative theories
- The bounded functional interpretation of bar induction
- A note on Bar Induction in Constructive Set Theory
- Gentzen's original consistency proof and the bar theorem
- Bar induction is compatible with constructive type theory
- Principles of bar induction and continuity on Baire space
- Well-ordering principles and bar induction
- Justifying induction on modal \(\mu\)-formulae
- scientific article; zbMATH DE number 1163362
Cited in
(3)
This page was built for publication: A formalization of Brouwer's argument for bar induction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1799271)