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 metadatas

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01923125
Contributor : Alexander Shen <>
Submitted on : Thursday, November 15, 2018 - 7:28:32 AM
Last modification on : Tuesday, November 20, 2018 - 1:09:37 AM
Long-term archiving on: : Saturday, February 16, 2019 - 12:51:13 PM

Files

1979eng.pdf
Files produced by the author(s)

Identifiers

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

Collections

Citation

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

Share

Metrics

Record views

68

Files downloads

22