The following pages link to (Q5596755):
Displaying 7 items.
- Transfinite recursion and computation in the iterative conception of set (Q510712) (← links)
- Jean van Heijenoort's contributions to proof theory and its history (Q1942094) (← links)
- An example related to Gregory's theorem (Q2377350) (← links)
- Hyperarithmetical Sets (Q3305318) (← links)
- La prédicativité (Q5339291) (← links)
- Classes of Polish spaces under effective Borel isomorphism (Q5365177) (← links)
- La théorie des fonctions récursives et ses applications. (Exposé d'information générale) (Q5536266) (← links)
