Unsolvability Cores in Classification Problems

Hermann K. -G. Walter, Ulrike Brandt

Classification problems have been introduced by M. Ziegler as a generalization of promise problems. In this paper we are concerned with solvability and unsolvability questions with…