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.
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.