Σ<sub>2</sub> Induction and infinite injury priority argument, Part I: Maximal sets and the jump operator (Q4227867)
From MaRDI portal
scientific article; zbMATH DE number 1247634
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Σ<sub>2</sub> Induction and infinite injury priority argument, Part I: Maximal sets and the jump operator |
scientific article; zbMATH DE number 1247634 |
Statements
Σ<sub>2</sub> Induction and infinite injury priority argument, Part I: Maximal sets and the jump operator (English)
0 references
2 February 1999
0 references
recursively enumerable sets
0 references
infinite priority argument
0 references
induction
0 references
collection
0 references
maximal set
0 references
