Das Papier untersucht die Beziehung zwischen Berechnungstiefen für Sequenzen und tiefen Π0 1-Klassen. Es zeigt, dass nicht alle stark tiefen Sequenzen Mitglieder einer tiefen Π0 1-Klasse sind. Die Autoren beweisen, dass jede Mitglied einer tiefen Π0 1-Klasse stark tief ist, aber nicht umgekehrt. Des Weiteren wird gezeigt, dass die Sammlung von stark tiefen Sequenzen vernachlässigbar ist. Es werden Beispiele für tiefen Sequenzen aus verschiedenen Klassen präsentiert. Es wird gezeigt, dass nicht alle stark tiefen Sequenzen Mitglieder einer tiefen Π0 1-Klasse sind. Es wird auch gezeigt, dass die Sammlung von schwach tiefen Sequenzen nicht vernachlässigbar ist.
翻译成其他语言
从原文生成
arxiv.org
更深入的查询