{"entities":{"Q1354350":{"pageid":1365089,"ns":120,"title":"Item:Q1354350","lastrevid":67218966,"modified":"2026-04-12T16:08:37Z","type":"item","id":"Q1354350","labels":{"en":{"language":"en","value":"Large normal ideals concentrating on a fixed small cardinality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1006574"}},"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":"Q1354350$BBB55C46-9921-4E20-BE8D-90707A377742","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec284960d14d9fdbacbe900f4c56dec520f63a26","datavalue":{"value":{"text":"Large normal ideals concentrating on a fixed small cardinality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1354350$8DCB3906-AF36-4C58-940A-F5D8ED05A3A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ec8c70658e353b6a317849c7e99f5d8ad1652fe","datavalue":{"value":"0874.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354350$FBFE43B2-8F2E-43FD-80C2-05E8B2EFA3A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354350$791B1F42-56D7-4DDB-964E-024847371E0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354350$527D884F-6E71-4EC7-A5D5-0FD5107EC3D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62c8c7692fa7223a1bc40102133e79e318fde956","datavalue":{"value":{"time":"+1997-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1354350$25CCCBE7-E982-486F-A5B5-1B4A31B4BD98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd629089f6082d1973d714ca1f01ee3f030057c6","datavalue":{"value":"https://arxiv.org/abs/math/9406219","type":"string"},"datatype":"url"},"type":"statement","id":"Q1354350$8F1C1D8E-80E1-47FB-BACE-6A307D030041","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9b4c446d3d3ace5e9747804320a8346fc4d9077e","datavalue":{"value":"The author considers the following cut-and-choose games: Let \\(\\kappa\\), \\(\\mu\\) and \\(\\xi\\) be cardinal numbers and \\(\\theta\\) an ordinal number such that \\(2\\leq\\mu<\\xi\\leq\\kappa\\) and \\(\\theta\\leq\\kappa\\), and let \\(\\mathcal D\\) be a filter on \\(\\kappa\\).   The game has \\(\\theta\\) innings. In the \\(\\nu\\)th inning ONE first cuts \\(\\kappa\\) into fewer than \\(\\xi\\) pieces -- let \\(O_\\nu\\) be the set of these pieces. Then TWO responds by choosing fewer than \\(\\mu\\) of these pieces, say \\(T_\\nu\\subset O_\\nu\\). A play  \\[ O_0, T_0,O_1,T_1,\\dots, O_\\nu,T_\\nu,\\dots\\quad (\\nu<\\theta) \\]  is won by TWO if for each \\(\\nu<\\theta\\) the set \\(\\bigcap_{\\gamma\\leq\\nu}(\\bigcup T_\\gamma)\\) has nonempty intersection with each element of the filter \\({\\mathcal D}\\); otherwise, ONE wins. Let the symbol \\(G_{\\kappa,\\xi,\\mu,\\theta}({\\mathcal D})\\) denote this game.   For fixed \\(\\kappa\\), \\(\\xi\\), \\(\\mu\\) and \\(\\theta\\), the author then defines a class \\(K_{\\kappa,\\xi,\\mu,\\theta}\\) of partially ordered sets by specifying five qualifying properties. The main result of the paper is as follows:   If \\(\\kappa\\) is a measurable cardinal number and \\(\\mathcal D\\) is a \\(\\kappa\\)-complete ultrafilter on \\(\\kappa\\), then for every partially ordered set \\({\\mathbf P}\\) from the class \\(K_{\\kappa,\\xi,\\mu,\\theta}\\), in any generic extension by \\({\\mathbf P}\\) player TWO has a winning strategy in the game \\(G_{\\kappa,\\xi,\\mu,\\theta}({\\mathcal D})\\).   As one of the applications of the result, the author shows that the consistency of a hypothesis is an earlier paper by Liu and himself can be derived using large cardinals and the main result.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354350$08F332E3-42AF-4513-A69D-6A5237857F41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354350$D2113750-C295-46FD-A60A-451DF1C91ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"510e330772fd04e754f6dc13a22280a9e1e62256","datavalue":{"value":"91A44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354350$B36F5C70-F6F2-4B48-9885-F419D8240025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354350$4DCCB80B-555A-4FA8-89E4-27412F0D771B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354350$446DC813-4718-4C5F-9C81-2DBB48075D44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ecff95807395e70c92e4c172b6a9e4cb16a98b0f","datavalue":{"value":"1006574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354350$ACBC18DD-BDB7-426F-973E-BB79D2B587C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f94073d650f13fd13a104b29c215734850de7f86","datavalue":{"value":"infinite game","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354350$EB841B30-422D-42C1-BA8B-4BA45E71BDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"117816c464c7958f447f6e07568eeff4b735729a","datavalue":{"value":"winning strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354350$CB6E47F4-0E5B-4DE6-A4C5-FE51DB41F7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354350$F000EA7B-5538-4439-8B72-B33B1058C187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f9af591f80191ce5614f45f279e38106dc6ab91","datavalue":{"value":"cut-and-choose games","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354350$ACDF4944-1616-4567-86A7-794FA8E9D39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1d05e3b4848f1c5fc4abe6d3027ac7da7539cb8","datavalue":{"value":"measurable cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354350$B3F72C4D-C0C3-442C-B40B-BB269F67C3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c07e461ea895d5e1f93a1913d4b00eb39ee936","datavalue":{"value":"ultrafilter","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354350$66C151E6-E466-4ED1-A71F-5E3229CB8C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354350$5C3EB8E9-5BCD-4FFC-8B72-958A76C13775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebca3a6c115ad9fc460e4a0debbc4ce171f41fbc","datavalue":{"value":"large cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354350$29A7B96A-C796-4D3F-A540-C39D07582731","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"51bf169258a732e26a3ba14f442735c9320d1cb8","datavalue":{"value":{"entity-type":"item","numeric-id":251390,"id":"Q251390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354350$FF577BB2-D3F0-4FF7-842B-6822D18A0785","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":"Q1354350$6199A19A-8042-487D-A0F0-49A775C13BED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed07a77dd4aa3ef78d4aa1ae394731535ff3ca27","datavalue":{"value":"W2138083647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354350$25200E30-1095-4B98-ADCC-3DA7A7B784F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67634ee135a4cf471e024dfcdec389ea5fff6352","datavalue":{"value":"10.1007/S001530050049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354350$CBC86B38-B7E2-4A89-8295-A87F11E0892F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67678cf6413e356617771158b1e3dc8216d7371a","datavalue":{"value":{"entity-type":"item","numeric-id":1011753,"id":"Q1011753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3bb3ba824eb05c60f1c02a895b69483392e18d5","datavalue":{"value":{"amount":"+0.8410648107528687","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1354350$41AC44D6-63D4-4BB1-AD13-6444E6D3AE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82d74af20765c0dd87abed1844665280513614b9","datavalue":{"value":{"entity-type":"item","numeric-id":1068819,"id":"Q1068819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b97094c5c579c5c14fbee1e7a9fa47e97db71ed4","datavalue":{"value":{"amount":"+0.8122879862785339","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1354350$9305B0DF-2FCB-4EC1-B78F-661EEFD33C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8a1d65e9d75f08d6abd7349152f5a18d53e6fe","datavalue":{"value":{"entity-type":"item","numeric-id":4628691,"id":"Q4628691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3b7ebf77d8fc24f8979b2d276ceaa8ac4eb60ef","datavalue":{"value":{"amount":"+0.8063244819641113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1354350$4F9A42AD-AD11-416B-9DA4-050061E56726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d29c541bf9f4098eccc3a903f8c3127b374cda3","datavalue":{"value":{"entity-type":"item","numeric-id":3481693,"id":"Q3481693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91d85d27cf46110a906e7d4a9d9cfb36916b883d","datavalue":{"value":{"amount":"+0.7909278273582458","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1354350$57A271E7-08C0-4187-96D7-B09745E5A41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6236cfa1076172d703b705eb7b6d7600717b9cbb","datavalue":{"value":{"entity-type":"item","numeric-id":675112,"id":"Q675112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d73c87acea83f7c036d4937c130661330e09076","datavalue":{"value":{"amount":"+0.7881469130516052","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1354350$D5369F5B-E843-4817-A2C6-D2AD6AE3E1EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Large normal ideals concentrating on a fixed small cardinality","badges":[]}}}}}