Series: de Gruyter Series in Logic and Its Applications 7
24 x 17 cm
xi, 317 pages
Languages: English
Type of Publication: Monograph
About this Title
In this volume the author develops and applies methods for proving, from large cardinals, the determinacy of definable games of countable length on natural numbers. The determinacy is ultimately derived from iteration strategies, connecting games on natural numbers with the specific iteration games that come up in the study of large cardinals.
The games considered in this text range in strength, from games of fixed countable length, through games where the length is clocked by natural numbers, to games in which a run is complete when its length is uncountable in an inner model (or a pointclass) relative to the run. More can be done using the methods developed here, reaching determinacy for games of certain length.
The book is largely self-contained. Only graduate level knowledge of modern techniques in large cardinals and basic forcing is assumed. Several exercises allow the reader to build on the results in the text, for example connecting them with universally Baire and homogeneously Suslin sets.
- Important contribution to one of the main features of current set theory, as initiated and developed by Jensen, Woodin, Steel and others.
Reviews
"There is an excellent extensive Introduction presenting a view of the theory that can be profitable for a non-specialist as well."
(ap) in: EMS-Newsletter 3/2007
Subjects
Mathematics > Basics of Logic, Set Theory
Social Sciences, Economics > Computer Science > Introduction, Theory
Readership
Research Mathematicians, in particular set Theorists; Advanced Graduate Students; Theoretical Computer Scientists; Academic Libraries
(No shipping costs for online and electronic products.)