davidad comments on davidad’s Shortform

[davidad]

Among computational constraints, I think the most significant/​fundamental are, in order,

1. Semicomputability

2. P (polynomial time)

3. PSPACE

4. Computability

5. BPP

6. NP

7. ${\Delta }_1^1$ (first-order hypercomputable)

8. All the rest (BQP, PP, RP, EXPTIME, etc)