Complexity-theoretic hierarchies induced by fragments of Gödel's \(T\)
scientific article; zbMATH DE number 5552167
scientific article