More Lachlan Games
With the Kleene-Post  paper on oracle constructions presented in Chapter 6, and the finite injury computable approximations to them in Friedberg  and Muchnik  presented in Chapter 7, constructions in computability entered a new and much more complicated phase in the 1960s. Shoenfield  and independently Sacks [1963a, 1963c, and 1964a] invented the infinite injury method for constructing c.e. sets and degrees.
KeywordsComputability Theory Winning Strategy Measurable Cardinal Minimal Pair Game Theory Model
Unable to display preview. Download preview PDF.