Pages that link to "Item:Q5224158"
From MaRDI portal
The following pages link to Principles of bar induction and continuity on Baire space (Q5224158):
Displaying 4 items.
- A formalization of Brouwer's argument for bar induction (Q1799271) (← links)
- Characterising Brouwer's continuity by bar recursion on moduli of continuity (Q2219099) (← links)
- Equivalence of bar induction and bar recursion for continuous functions with continuous moduli (Q2417961) (← links)
- A logical characterization of the continuous bar induction (Q6601762) (← links)