Index sets for \(\Pi^0_1\) classes (Q1295386)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Index sets for \(\Pi^0_1\) classes |
scientific article; zbMATH DE number 1308072
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Index sets for \(\Pi^0_1\) classes |
scientific article; zbMATH DE number 1308072 |
Statements
Index sets for \(\Pi^0_1\) classes (English)
0 references
23 November 1999
0 references
The authors present an effective enumeration of the \(\Pi_1^0\) classes and then investigate the index sets corresponding to various properties of \(\Pi_1^0\) classes. The paper deals with index sets arising in a wide range of contexts, from measure and category to logical theories to combinatorial questions. Particular attention is paid to boundedness of trees, with a couple of new versions of boundedness being introduced.
0 references
index set
0 references
\(\Pi_1^0\) class
0 references
effective enumeration
0 references
measure and category
0 references
logical theories
0 references
combinatorial questions
0 references
boundedness of trees
0 references
0 references
0 references
0.94737375
0 references
0.9183165
0 references
0.90178996
0 references
0.87468755
0 references
0.8741599
0 references
0.8736715
0 references
