Pages that link to "Item:Q2915685"
From MaRDI portal
The following pages link to System T and the product of selection functions (Q2915685):
Displaying 6 items.
- How is it that infinitary methods can be applied to finitary mathematics? Gödel's <i>T</i>: a case study (Q4254685) (← links)
- (Q5015363) (← links)
- (Q5129941) (← links)
- BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS (Q5251356) (← links)
- A note on the finitization of Abelian and Tauberian theorems (Q6096323) (← links)
- Smart Choices and the Selection Monad (Q6135751) (← links)