every set satisfies property neither turing degree computable sets turing degree halting problem post find property solution problem applied priority methods instead harrington soare found eventually property automorphism problems another important question existence automorphisms computability theoretic structures one structures one computably enumerable sets inclusion modulo finite difference structure ''a'' ''b'' set difference ''b'' nbsp minus nbsp ''a'' finite maximal sets
Formal science Computer science Theory of computation Computability theory