The following pages link to (Q3335779):
Displaying 5 items.
- A constructive manifestation of the Kleene-Kreisel continuous functionals (Q290639) (← links)
- Relations between sequences and selection properties (Q2472094) (← links)
- Phenomenology of choice sequences (Q2703586) (← links)
- Higher order functions and Brouwer’s thesis (Q5016215) (← links)
- (Q5109510) (← links)