Iterated trees of strategies and priority arguments (Q1387095)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Iterated trees of strategies and priority arguments |
scientific article; zbMATH DE number 1158101
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Iterated trees of strategies and priority arguments |
scientific article; zbMATH DE number 1158101 |
Statements
Iterated trees of strategies and priority arguments (English)
0 references
2 November 1998
0 references
The paper is sequel to a number of joint articles of the authors where a new general approach to priority constructions is developed. The approach allows to better understand already existing proofs including well-known theorems of Friedberg, Muchnik, Sacks, Lachlan and others, and can serve as a guide in finding new proofs. A broad overview of related results is enclosed.
0 references
priority arguments
0 references
tree of strategies
0 references
degrees of unsolvability
0 references
