The existence of minimal honest polynomial degree below and recursively enumerable degrees
scientific article