Index sets for \(\Pi^0_1\) classes (Q1295386): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 03:51, 5 March 2024
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