\(\Pi_1^0\) classes, Peano arithmetic, randomness, and computable domination (Q976541)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | \(\Pi_1^0\) classes, Peano arithmetic, randomness, and computable domination |
scientific article |
Statements
\(\Pi_1^0\) classes, Peano arithmetic, randomness, and computable domination (English)
0 references
11 June 2010
0 references
The paper provides an overview of research and results obtained in the study of \(\Pi_{1}^{0}\) classes, Peano arithmetic, randomness and computable domination. Those topics have been -- from the historical point of view -- topics of interest in computability theory. They are still a source of problems and ideas. Links and connections between these topics are indicated. Their meaning for modern research is stressed.
0 references
\(\Pi^0_1\) classes
0 references
basis theorems
0 references
Peano arithmetic
0 references
randomness
0 references
computable domination
0 references
hyperimmunity
0 references
survey paper
0 references
