Coding a family of sets (Q1295408)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Coding a family of sets |
scientific article |
Statements
Coding a family of sets (English)
0 references
8 November 1999
0 references
A metatheorem for coding a family of sets into a family of relations (or, into a sole relation) is obtained. As an application one proves that the set of limit points in a recursive ordering of type \(\omega^2\) can have arbitrary 2-REA degree.
0 references
recursive ordering
0 references
coding
0 references
limit points
0 references
0 references
0 references
