Pages that link to "Item:Q435192"
From MaRDI portal
The following pages link to The bounded functional interpretation of bar induction (Q435192):
Displaying 6 items.
- A formalization of Brouwer's argument for bar induction (Q1799271) (← links)
- Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness (Q2238150) (← links)
- Equivalence of bar induction and bar recursion for continuous functions with continuous moduli (Q2417961) (← links)
- A logical analysis of the generalized Banach contractions principle (Q3145986) (← links)
- The bounded functional interpretation of the double negation shift (Q3570171) (← links)
- (Q5144612) (← links)