Priority arguments and separation problems - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Article Dans Une Revue Доклады Академии Наук / Doklady Mathematics Année : 1979

Priority arguments and separation problems

Alexander Shen

Résumé

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.
Fichier principal
Vignette du fichier
1979eng.pdf (61.89 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

lirmm-01923125 , version 1 (15-11-2018)

Identifiants

Citer

Alexander Shen. Priority arguments and separation problems. Доклады Академии Наук / Doklady Mathematics, 1979, 248 (6), pp.1309-1313. ⟨lirmm-01923125⟩
70 Consultations
27 Téléchargements

Altmetric

Partager

More