Pages that link to "Item:Q2536051"
From MaRDI portal
The following pages link to Selection functions for recursive functionals (Q2536051):
Displayed 5 items.
- A comparison of the indices arising in the transfinite iteration of functions (Q1394223) (← links)
- The extended plus-one hypothesis—A relative consistency result (Q3342551) (← links)
- (Q4141228) (← links)
- Inductive Definitions and Computability (Q5628117) (← links)
- On effectively discontinuous type-2 objects (Q5629626) (← links)