Revision history for entry Kent, Thomas F. (2006). "The Π₃-Theory of the $\Sigma _{2}^{0}$ -Enumeration Degrees Is Undecidable" [KENTTO-5] |
| Time | Type | Notes |
Revision history for entry Kent, Thomas F. (2006). "The Π₃-Theory of the $\Sigma _{2}^{0}$ -Enumeration Degrees Is Undecidable" [KENTTO-5] |
| Time | Type | Notes |