Uniform diagonalization (part 1)

12 dezembro 2023, 14:00 José Félix Costa

Recursively presentable computational classes. 

P(A) for a decidable A, P, PSPACE, NP, NP-complete, co-NP, co-NP-complete, and PSPACE-complete.