Uniform diagonalization (part 2)

15 dezembro 2023, 13:30 José Félix Costa

Uniform diagonalization and its applications (Ladner's theorem and other results). 

Negative results for recursively presentability: NP - P, NP - NP-complete, P - FIN.