The following pages link to Higher Recursion Theory (Q5274767):
Displaying 8 items.
- Higher Kurtz randomness (Q636362) (← links)
- The isomorphism problem for torsion-free abelian groups is analytic complete (Q952542) (← links)
- Fundamentals of generalized recursion theory (Q1078561) (← links)
- From axiomatics to intrinsic characterization: some open problems in computable analysis (Q1292411) (← links)
- Higher type recursion, ramification and polynomial time (Q1577477) (← links)
- Higher randomness and forcing with closed sets (Q2363960) (← links)
- Higher Index Theory (Q5110816) (← links)
- STRUCTURAL HIGHNESS NOTIONS (Q6140191) (← links)