LEADER 02963nam  22006974a 450 
001 9910813209803321
005 20230617042210.0
010   $a1-282-19506-9
010   $a9786612195068
010   $a3-11-020006-6
024 7 $a10.1515/9783110200065
035   $a(CKB)1000000000479971
035   $a(EBL)325586
035   $a(OCoLC)476123595
035   $a(SSID)ssj0000137596
035   $a(PQKBManifestationID)11134147
035   $a(PQKBTitleCode)TC0000137596
035   $a(PQKBWorkID)10088653
035   $a(PQKB)11755439
035   $a(MiAaPQ)EBC325586
035   $a(DE-B1597)32460
035   $a(OCoLC)979759074
035   $a(DE-B1597)9783110200065
035   $a(Au-PeEL)EBL325586
035   $a(CaPaEBR)ebr10197224
035   $a(CaONFJC)MIL219506
035   $a(OCoLC)935267359
035   $a(EXLCZ)991000000000479971
100   $a20040914d2004      uy         0
101 0 $aeng
135   $aurun#---|u||u
181   $ctxt
182   $cc
183   $acr
200 14$aThe determinacy of long games /$fItay Neeman
205   $aReprint 2015
210   $aBerlin ;$aNew York $cWalter de Gruyter$dc2004
215   $a1 online resource (332 p.)
225 1 $aDe Gruyter series in logic and its applications ;$v7
300   $aDescription based upon print version of record.
311 0 $a3-11-018341-2 
320   $aIncludes bibliographical references (p. [309]-311) and index.
327   $tFront matter --$tContents --$tIntroduction --$tChapter 1 Basic components --$tChapter 2 Games of fixed countable length --$tChapter 3 Games of continuously coded length --$tChapter 4 Pullbacks --$tChapter 5 When both players lose --$tChapter 6 Along a single branch --$tChapter 7 Games which reach local cardinals --$tBack matter
330   $aIn 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...
410  0$aGruyter series in logic and its applications ;$v7.
606   $aGame theory
606   $aDeterminants
606   $aLogic, Symbolic and mathematical
615  0$aGame theory.
615  0$aDeterminants.
615  0$aLogic, Symbolic and mathematical.
676   $a519.3
686   $aSK 860$2rvk
700   $aNeeman$b Itay$f1972-$01645872
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910813209803321
996   $aThe determinacy of long games$93992612
997   $aUNINA