Priority arguments and separation problems
Shen, Alexander
HAL, lirmm-01923125 / Harvested from HAL
Different constructions in the recursion theory use the so-called priority arguments. A general scheme was suggested by A.~Lachlan. Based on his work, we define the notion of a priority-closed class of requirements. Then, for a specific priority construction, we need to check only that all requirements we want to satisfy belong to some priority-closed class (defined in game terms). This game version of Lachlan's approach is used to present some results about recursively inseparable sets obtained by the author.
Publié le : 1979-07-04
Classification:  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
@article{lirmm-01923125,
     author = {Shen, Alexander},
     title = {Priority arguments and separation problems},
     journal = {HAL},
     volume = {1979},
     number = {0},
     year = {1979},
     language = {en},
     url = {http://dml.mathdoc.fr/item/lirmm-01923125}
}
Shen, Alexander. Priority arguments and separation problems. HAL, Tome 1979 (1979) no. 0, . http://gdmltest.u-ga.fr/item/lirmm-01923125/