Harrington gave a further example of an automorphic property: that of the creative sets, the sets which are many-one equivalent to the halting problem.
Harrington a dat un alt exemplu de proprietate automorfă: mulțimile creative, mulțimi care sunt echivalente neinjectiv cu problema opririi.