Um teorema ao longo das seguintes linhas é válido: Se é um pouco maior que , então ?
É fácil mostrar que , pelo menos. Prova: Suponha que não. Então então e, portanto, (por preenchimento) . Mas então nossa suposição implica que , contradizendo o teorema da hierarquia de tempo não determinístico. QED.
Mas nem vejo como separar de , pois a diagonalização parece complicada nessa configuração.
7
A interseção é uma classe semântica e não sabemos como provar teoremas de hierarquia para classes semânticas .
—
Kaveh