Hermann K.-G. Walter

Learn More
Promise problems have been introduced in 1985 by S.Even e.a. as a generalization of decision problems. Using a very general approach we study solvability and unsolvability conditions for promise problems of set families and languages. We show, that cores of un-solvability are completely determined by partitions of cohesive sets. We prove the existence of(More)
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 respect to a given set or language family, especially with cores of unsolvability. We generalize the results about unsolvability cores in promise problems to classification(More)