 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
The phrase:
As a corollary, Jones and Selman showed that a set is a spectrum if and only if it is in the complexity class NEXP.
suggests the work of Jones and Selman is posterior to Fagin's paper. It is the other way around. Fagin's cites Jones and Selman's paper and derives their result using the same proof technique used for his theorem. Rjraya (talk) 20:59, 27 July 2022 (UTC)