Fine hierarchy of regular ω-languages

Solving sequential conditions by finite-state strategies

J Büchi, Lawrence H. Landweber · Transactions of the American Mathematical Society · 1969 · 272 citations · Full text

Computing, Computer Science, Mathematics +12

On ω-regular sets

Klaus W. Wagner · Information and Control · 1979 · 176 citations

Reducibility and Determinateness on the Baire Space

William W. Wadge · OpenGrey (Institut de l'Information Scientifique et Technique) · 1982 · 113 citations

Natural Sciences, Mathematics, Set Theory +5

Determinateness and the separation property

John R. Steel · Journal of Symbolic Logic · 1981 · 60 citations

Natural Sciences, Mathematics, Descriptive Geometry +7

Fine hierarchies and Boolean terms

Victor Selivanov · Journal of Symbolic Logic · 1995 · 46 citations

Natural Sciences, Computer Science, Mathematics +12