Index sets for \(\Pi^0_1\) classes (Q1295386)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Index sets for \(\Pi^0_1\) classes |
scientific article |
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
