Title of article
Coding a family of sets Original Research Article
Author/Authors
J.F Knight، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1998
Pages
16
From page
127
To page
142
Abstract
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.
Keywords
Priority constructions , Coding , REA hierarchy
Journal title
Annals of Pure and Applied Logic
Serial Year
1998
Journal title
Annals of Pure and Applied Logic
Record number
896149
Link To Document