Pages that link to "Item:Q5224158"

The following pages link to Principles of bar induction and continuity on Baire space (Q5224158):

Displaying 2 items.

• 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)