02963nam 22006974a 450 991081320980332120230617042210.01-282-19506-997866121950683-11-020006-610.1515/9783110200065(CKB)1000000000479971(EBL)325586(OCoLC)476123595(SSID)ssj0000137596(PQKBManifestationID)11134147(PQKBTitleCode)TC0000137596(PQKBWorkID)10088653(PQKB)11755439(MiAaPQ)EBC325586(DE-B1597)32460(OCoLC)979759074(DE-B1597)9783110200065(Au-PeEL)EBL325586(CaPaEBR)ebr10197224(CaONFJC)MIL219506(OCoLC)935267359(EXLCZ)99100000000047997120040914d2004 uy 0engurun#---|u||utxtccrThe determinacy of long games /Itay NeemanReprint 2015Berlin ;New York Walter de Gruyterc20041 online resource (332 p.)De Gruyter series in logic and its applications ;7Description based upon print version of record.3-11-018341-2 Includes bibliographical references (p. [309]-311) and index.Front matter --Contents --Introduction --Chapter 1 Basic components --Chapter 2 Games of fixed countable length --Chapter 3 Games of continuously coded length --Chapter 4 Pullbacks --Chapter 5 When both players lose --Chapter 6 Along a single branch --Chapter 7 Games which reach local cardinals --Back matterIn 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 point class...Gruyter series in logic and its applications ;7.Game theoryDeterminantsLogic, Symbolic and mathematicalGame theory.Determinants.Logic, Symbolic and mathematical.519.3SK 860rvkNeeman Itay1972-1645872MiAaPQMiAaPQMiAaPQBOOK9910813209803321The determinacy of long games3992612UNINA