Coding a family of sets (Q1295408): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
| links / mardi / name | links / mardi / name | ||
Revision as of 11:00, 31 January 2024
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
