Coding a family of sets (Q1295408): Difference between revisions
From MaRDI portal
Latest revision as of 20:49, 28 May 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
0 references
0 references