The following pages link to (Q4513589):
Displaying 5 items.
- Hierarchies of total functionals over the reals (Q1434355) (← links)
- Exact real number computations relative to hereditarily total functionals. (Q1607298) (← links)
- Feasibly continuous type-two functionals (Q1961060) (← links)
- (Q3748274) (← links)
- A Relationship between Equilogical Spaces and Type Two Effectivity (Q4917046) (← links)