Czy istnieje kompletny problem dla klasy rozstrzygających problemów Turinga?
Języki, takie jak są uzupełniane ponownie przy wielu redukcjach. To banalne, aby zobaczyć, że co-RE ma również kompletne problemy. S. Schmitz [1] rozważa niektóre klasy pomiędzy ELEM a REC . Stanowią one kompletne problemy dla tych klas w ramach specjalnie spreparowanych...