Coding a family of sets
Julia F. Knight · Annals of Pure and Applied Logic · 1998
In this paper, we state a metatheorem for constructions involving coding. Using the metatheorem, we obtain results on coding a family of sets into a family of relations, or into a single relation. For a concrete example, we show that the set of limit points in a recursive ordering of type ω2 can have arbitrary 2-REA degree.