Computability theory related domains (1)