Spektralproblem and Completeness of Logical Decision Problems