${\rm P}\neq{\rm NP}\cap\textrm{co-}{\rm NP}$ for infinite time Turing machines Posted on September 25, 2011 by Joel David Hamkins Reply
