Recursivity and compactness