Pages that link to "Item:Q1105588"
From MaRDI portal
The following pages link to Computable functionals and arithmetic of ordinal types (Q1105588):
Displaying 8 items.
- A revision-theoretic analysis of the arithmetical hierarchy (Q1344437) (← links)
- A parametrised functional interpretation of Heyting arithmetic (Q2659105) (← links)
- A logical analysis of the generalized Banach contractions principle (Q3145986) (← links)
- On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types (Q3585061) (← links)
- (Q3708005) (← links)
- (Q3816069) (← links)
- How is it that infinitary methods can be applied to finitary mathematics? Gödel's <i>T</i>: a case study (Q4254685) (← links)
- (Q4793030) (← links)