Skip to Main content Skip to Navigation
Journal articles

Priority arguments and separation problems

Alexander Shen 1
1 ESCAPE - Systèmes complexes, automates et pavages
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : 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.
Document type :
Journal articles
Complete list of metadata
Contributor : Alexander Shen <>
Submitted on : Thursday, November 15, 2018 - 7:28:32 AM
Last modification on : Friday, May 21, 2021 - 8:22:02 PM
Long-term archiving on: : Saturday, February 16, 2019 - 12:51:13 PM


Files produced by the author(s)


  • HAL Id : lirmm-01923125, version 1
  • ARXIV : 1811.06860



Alexander Shen. Priority arguments and separation problems. Доклады Академии Наук / Doklady Mathematics, MAIK Nauka/Interperiodica, 1979, 248 (6), pp.1309-1313. ⟨lirmm-01923125⟩



Record views


Files downloads