Pages that link to "Item:Q753810"
From MaRDI portal
The following pages link to Extended bar induction in applicative theories (Q753810):
Displaying 7 items.
- An induction principle over real numbers (Q512134) (← links)
- Extensional realizability (Q1356980) (← links)
- Arithmetical conservation results (Q1688961) (← links)
- A formalization of Brouwer's argument for bar induction (Q1799271) (← links)
- Totality in applicative theories (Q1896484) (← links)
- On Goodman realizability (Q2330510) (← links)
- Bar Induction is Compatible with Constructive Type Theory (Q5244386) (← links)