\(\Sigma_2\) induction and infinite injury priority arguments. III: Prompt sets, minimal pairs and Shoenfield's conjecture (Q5937666)
From MaRDI portal
scientific article; zbMATH DE number 1620027
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | \(\Sigma_2\) induction and infinite injury priority arguments. III: Prompt sets, minimal pairs and Shoenfield's conjecture |
scientific article; zbMATH DE number 1620027 |
Statements
\(\Sigma_2\) induction and infinite injury priority arguments. III: Prompt sets, minimal pairs and Shoenfield's conjecture (English)
0 references
31 July 2001
0 references
\(B\Sigma_2\) model
0 references
\(\Sigma_2\) collection
0 references
\(\Sigma_2\) induction
0 references
recursively enumerable
0 references
minimal pairs
0 references
0 references
0 references
