Things that can be made into themselves

Frank Stephan, Jason Teutsch

One says that a property $P$ of sets of natural numbers can be made into itself iff there is a numbering ${\alpha }_0,{\alpha }_1,\dots$ of all left-r.e. sets such that the index set $\{e:{\alpha }_e$ s…