{"entities":{"Q5961723":{"pageid":8138525,"ns":120,"title":"Item:Q5961723","lastrevid":58627626,"modified":"2026-04-06T02:02:05Z","type":"item","id":"Q5961723","labels":{"en":{"language":"en","value":"How to win some simple iteration games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 982617"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961723$BAE75E3F-D571-4B6F-89B2-CB7A19A5D674","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d56f4eff60d9d08e2f9335b14b195d277a069edc","datavalue":{"value":{"text":"How to win some simple iteration games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5961723$2AF5B785-CEC3-49C0-A4AF-6BEC7D96B52D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"283570529c4a7c4c7192696cd3ad979fe9dfe19b","datavalue":{"value":"0896.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961723$A8E1FB3A-FF58-4110-BA83-4A81D6179949","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6b27487f3309f5b8da18bab1dcd00b7cb67e887","datavalue":{"value":"10.1016/S0168-0072(96)00013-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961723$F184A2AF-A53B-4C8E-9281-170119EB0FF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5b985687ba57824935baee4698f86d6dc06a62c","datavalue":{"value":{"entity-type":"item","numeric-id":220687,"id":"Q220687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961723$A7B97112-3D85-42C6-A400-4C6E282F19EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e8a79b3296417ed8f62218edcdbc11634bb2940","datavalue":{"value":{"entity-type":"item","numeric-id":403402,"id":"Q403402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961723$87FCCA5E-E2C8-4488-9B52-328B30CF9596","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961723$C1A336B1-4274-4733-9220-81F8A5F11A4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b45602d520d2a372d4a35334391b31b407de877","datavalue":{"value":{"time":"+1998-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5961723$8750D834-3F40-476D-B71C-3EDEE0E61AC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70ab15f61179d249d50aa827610663154412d91c","datavalue":{"value":"https://arxiv.org/abs/math/9310212","type":"string"},"datatype":"url"},"type":"statement","id":"Q5961723$8E825944-5CFB-4967-B7A8-13BA3D5E76C6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9a95a62cba776042cfeeb1366b00bb212fc62cd8","datavalue":{"value":"It was shown by \\textit{D. A. Martin} and \\textit{J. R. Steel} [J. Am. Math. Soc. 7, 1-73 (1994; Zbl 0808.03035)] that II has a winning strategy in the weak iteration game (of length \\(\\omega_1+1)\\) on a countable \\(M\\) elementarily embeddable in some \\(V_\\alpha\\). The result was used by \\textit{J. R. Steel} [Ann. Pure Appl. Logic 65, 185-209 (1993; Zbl 0805.03043)] to obtain a comparison theorem for countable tame premice. It is an open problem whether II has a winning strategy in the (more general) full iteration game of length \\(\\nu\\) on \\(V\\) for all \\(\\nu\\). The authors introduce two new games: \\({\\mathcal G}\\) (of length \\(\\omega_1+1)\\), which is stronger than the weak iteration game, and \\({\\mathcal G}^+\\) (of variable countable length), which is stronger than \\({\\mathcal G}\\) but weaker than the full iteration game of length \\(\\omega_1\\). In fact, \\({\\mathcal G}^+\\) is played like the full iteration game except for the fact that player I must also play distinct natural numbers on the side. The game is over once I runs out of integers (provided neither player has lost by that time). It is shown that for a countable premouse \\(M\\prec V_\\alpha \\), a) II has a winning strategy in the game \\({\\mathcal G}\\) on \\(M\\), and b) I has no winning strategy in the game \\({\\mathcal G}^+\\) on \\(M\\). Each of these results yields a comparison theorem for non-tame mice. (According to the authors, \\({\\mathcal G}^+\\) should ensure enough iterability to prove a comparison theorem for inner models with many strong cardinals overlapping Woodin cardinals, but would not suffice for hypotheses like a Woodin limit of Woodins). It is pointed out that by a result of Neeman, if there is a Woodin cardinal \\(\\lambda\\) above a cardinal \\(\\kappa\\) that is \\(\\lambda+1\\)-strong, then for all countable \\(M\\), the game \\({\\mathcal G}^+\\) on \\(M\\) is determined.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961723$36814081-DA3B-41E3-8E81-E3D370528703","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3b505131a94c07467560b76707b78e01a9a72b95","datavalue":{"value":{"entity-type":"item","numeric-id":412068,"id":"Q412068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961723$7A0489D3-D951-431E-8EB4-698FAB2570EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961723$60B40260-CBBE-4580-8CDE-8264876DE90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961723$1DC08C51-6523-45FE-981D-EA9C34D64673","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f72104a9a5141bb960144809d4b0b45f3165aca","datavalue":{"value":"982617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961723$8EA24D73-9BA8-41E9-9AE9-9A55DF5F71A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b8dfb72194212cb8f2d03009a92546bb81de47f","datavalue":{"value":"iteration trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961723$361132ED-A7E9-4D4C-A310-40267A1D6BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a3a2df868794d642782a121586ecc9c8d5e0d43","datavalue":{"value":"iteration game","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961723$9256E176-0C81-4DFA-9173-3F68684F0B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e8f9e47e6f8fadb3c8e45a793e552c2bb59c89f","datavalue":{"value":"non-tame mice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961723$620A9D0B-E4C5-43D3-8E18-11DC6BFEC95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35f5b7ce138372608f03e1c8894162363ff1bdf9","datavalue":{"value":"inner models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961723$EC3B1A14-BD58-4D4B-97E7-E11D8103B4D5","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961723$D5F90DB7-2033-442D-9009-C360FDB70A1F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e9621e33c24015246230bab72a5d6f133223db","datavalue":{"value":{"entity-type":"item","numeric-id":3820593,"id":"Q3820593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961723$5D8DBF79-BAE5-4E50-BE9D-BB27F1241EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abe9e3d52131032099759134248cf40dee0775cf","datavalue":{"value":{"entity-type":"item","numeric-id":4276535,"id":"Q4276535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961723$A45CB9E4-94C3-4395-9590-1614B1415991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f55333bc31a49bd999856db7ce681bd44da7180","datavalue":{"value":{"entity-type":"item","numeric-id":4291791,"id":"Q4291791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961723$D0158795-5A3F-4C4B-8CCF-755EC3CF3683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff4d5c03506aa8e1392e030a50892db8d6a95bb","datavalue":{"value":{"entity-type":"item","numeric-id":1314641,"id":"Q1314641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961723$4FFE5733-748F-4456-B978-C775E668EF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb20363309c6a40440f247eed07bda0957e06d6","datavalue":{"value":{"entity-type":"item","numeric-id":3607629,"id":"Q3607629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961723$8F17F613-CD6B-4049-BAD2-1E4905248F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d84607d10e5f92adb96a98fa6c23622bd15ca077","datavalue":{"value":{"entity-type":"item","numeric-id":4276029,"id":"Q4276029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961723$C68000AC-5BC0-47F9-B552-261ADCCFF8CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dda14f201bf647fc51dd120a3df2f426f93818d","datavalue":{"value":{"entity-type":"item","numeric-id":3342555,"id":"Q3342555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af132aa8ee95c9e8102a5e5a074041dad30f60a","datavalue":{"value":{"amount":"+0.7053273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5961723$7529B638-CCE8-4302-A313-72173B7D913C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27f4d598ffb208a6a482d5ad9a4833177c8104be","datavalue":{"value":{"entity-type":"item","numeric-id":972499,"id":"Q972499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08389b689d7da909aadfcfba678af49a3bd491f9","datavalue":{"value":{"amount":"+0.69463295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5961723$A2B1CE29-F270-412C-9EA7-917F3079531B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90bc724487a2811f8ff720b35ab5db0501be4c06","datavalue":{"value":{"entity-type":"item","numeric-id":6132567,"id":"Q6132567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af509146eca3bffc1b14b1903586cc4056cf1842","datavalue":{"value":{"amount":"+0.68601424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5961723$F9866FAF-4854-47AF-901E-D4973AF76F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c38abf325146fd7d78839f495776beed266569c6","datavalue":{"value":{"entity-type":"item","numeric-id":3077399,"id":"Q3077399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75de88414af8725275718ecfc7b08ad474498fd6","datavalue":{"value":{"amount":"+0.68531007","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5961723$BF760914-5449-47DA-8161-5D1B39E9542C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2523dcf05780f067a95ef05583352bc9d42d5e1","datavalue":{"value":{"entity-type":"item","numeric-id":3399177,"id":"Q3399177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de1fd73fd86e8692e5e7eb0f0f4fc2948b4dfbfa","datavalue":{"value":{"amount":"+0.6809054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5961723$BB27A201-E46A-4F89-9576-1BCF46FA6250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc083691ad7664a471d8f9e1e621982dffbbb24f","datavalue":{"value":{"entity-type":"item","numeric-id":5287684,"id":"Q5287684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db527598c7537dc8a5a5146475ba841aa263fd67","datavalue":{"value":{"amount":"+0.6806466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5961723$259C19A2-B6BF-40EE-A791-6A047FC69954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"259cdd34687acb3b950fd0b0df73ee1b3db678a7","datavalue":{"value":{"entity-type":"item","numeric-id":2216666,"id":"Q2216666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e55be4340294e4f74c7f4a0ddc3736c28e01e53","datavalue":{"value":{"amount":"+0.6782217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5961723$34E5CEC3-D60A-43FE-971E-8F9EA850300E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f44812b3ff14cdf4a3b7d8243aa7847830ad33dc","datavalue":{"value":{"entity-type":"item","numeric-id":5311728,"id":"Q5311728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"615ab10ab564e68eb22fa4ca791ef5921fec24f2","datavalue":{"value":{"amount":"+0.6767895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5961723$C4758600-0DDE-4BB8-A224-40220451F300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d30df284b0d7d0c37d123a60ad3727efacbc3c","datavalue":{"value":{"entity-type":"item","numeric-id":4276535,"id":"Q4276535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bfde764f69561719683575d20e7c3bdd8bc0d39","datavalue":{"value":{"amount":"+0.67614645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5961723$72A3153C-FBD2-474D-A2D1-5FE55BD1632B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"412bde27703e572062b399265ad64d4167046ef0","datavalue":{"value":{"entity-type":"item","numeric-id":5855751,"id":"Q5855751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e55fa083cdac4506208b4462c70b13608f5f4c6","datavalue":{"value":{"amount":"+0.6710232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5961723$9C4D4907-13C6-4D70-A0AE-5B8AD4A2E46E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5961723","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5961723"}}}}}