{"entities":{"Q412069":{"pageid":413836,"ns":120,"title":"Item:Q412069","lastrevid":42436995,"modified":"2025-06-27T16:36:53Z","type":"item","id":"Q412069","labels":{"en":{"language":"en","value":"Non-saturation of the nonstationary ideal on \\(P _{\\kappa }(\\lambda )\\) in case \\(\\kappa \\leq \\mathrm{cf}(\\lambda ) < \\lambda \\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6029803"}},"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":"Q412069$962AEA19-A67B-46B6-A381-3D815C38B8EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"afb1412ad4baf939a20c5a1352525c4cb891446a","datavalue":{"value":{"text":"Non-saturation of the nonstationary ideal on \\(P _{\\kappa }(\\lambda )\\) in case \\(\\kappa \\leq \\mathrm{cf}(\\lambda ) < \\lambda \\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q412069$D98C4850-3E68-4447-8927-23689C1A4ADB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0c42dbfc2d9744bf99e2ead2c84f39a6a580117","datavalue":{"value":"1252.03106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412069$99C0EC8B-5FBA-410C-A7C7-44E3DF2CEAB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b160cbe93cec725e3ada91d17e709245c11fa9a","datavalue":{"value":{"entity-type":"item","numeric-id":412068,"id":"Q412068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412069$B5D2D54E-9B44-4A41-9139-B479A4C6643A","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":"Q412069$21A6CE36-7926-4753-BD09-DD63D855C72F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97df402d3a91ac31bfea85893aa349af566173be","datavalue":{"value":{"time":"+2012-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q412069$93CB34A9-F226-49FA-A24F-45CC8BEA6037","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"48024ec03c0bcce65e46a744a8541055e008b8b3","datavalue":{"value":"Let \\(\\kappa\\) be a regular uncountable cardinal, and \\(\\lambda \\) be a singular cardinal with \\(\\mathrm{cf}(\\lambda) \\geq\\kappa\\). Let \\(\\mathrm{NS}_{\\kappa,\\lambda}\\) denote the nonstationary ideal on \\(P_\\kappa(\\lambda)\\). By the works of \\textit{D. R. Burke} and \\textit{Y. Matsubara} [Isr. J. Math. 114, 253--263 (1999; Zbl 0946.03056)] and \\textit{M. Foreman} and \\textit{M. Magidor} [Acta Math. 186, No. 2, 271--300 (2001; Zbl 1017.03022)], \\(\\mathrm{NS}_{\\kappa,\\lambda}\\) is not \\(\\lambda^+\\)-saturated for the case \\(\\kappa\\leq\\mathrm{cf}(\\lambda)<\\lambda\\). In fact, in those two papers, \\(\\mathrm{NS}_{\\kappa,\\lambda}|T\\), for various \\(T\\subset P_\\kappa(\\lambda)\\) and under various cardinal assumptions, are shown not to be \\(\\lambda^+\\)-saturated.  In this paper, the author adds one more instance to the collection of situations that \\(\\mathrm{NS}_{\\kappa,\\lambda}|T\\) is not \\(\\lambda ^+\\)-saturated, more precisely, when \\(\\kappa\\geq \\omega_2\\) and \\(T=\\{a \\in P_\\kappa(\\lambda) \\mid |a|=|a\\cap \\kappa| \\text{ and } \\mathrm{cf}(\\sup(a\\cap \\kappa)) = \\mathrm{cf}(\\sup(a)) = \\omega\\}\\). Apart from the use of Foreman-Magidor's result on mutually stationary sets and Shelah's result on the existence of scales, the new ingredient of the argument is the following fact of game ideals in the author's earlier paper [Ann. Pure Appl. Logic 158, No. 1--2, 23--39 (2009; Zbl 1173.03036)]: \\(\\mathrm{NG}_{\\kappa,\\lambda}=p(\\mathrm{NS}_{\\omega_1, \\lambda^{<\\kappa}})\\) for some \\(p: P_{\\omega_1}(\\lambda^{<\\kappa}) \\to P_\\kappa(\\lambda)\\), where \\(\\mathrm {NG}_{\\kappa,\\lambda}\\) denotes the game ideal on \\(P_\\kappa(\\lambda)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q412069$8BD02153-4D23-42E5-AB5A-8452C512CA9C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"004a10a5c768333f1f56f1c2cf5fda45c1f014f7","datavalue":{"value":{"entity-type":"item","numeric-id":512140,"id":"Q512140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412069$DE487556-25B4-41A3-9F67-E2142A7AB6A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412069$EF8C9D60-FC31-4373-8EE4-6A540C5ACC9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04db218c89df60ae12031832961ec09ceade20e7","datavalue":{"value":"6029803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412069$3F604E7B-1417-4138-BE37-A8A0584E903B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad246eac8a1fec2405834d51bcf0fbc668ed2960","datavalue":{"value":"\\(P_\\kappa(\\lambda)\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q412069$A752E732-62AD-4ADF-9108-3D6BBC018585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6739fba16acf61162defd709061e3d3f6a05da4","datavalue":{"value":"saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q412069$A5D2B259-1D41-4925-90BB-3855CCF82890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d5c7db1931cdd79fad9733af35b968300a3432a","datavalue":{"value":"game ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q412069$80E627B2-44DC-4DDC-8139-43585325CE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bbc2846ac8cb5fe3d408f76dc77b3d650cba469","datavalue":{"value":"mutually stationary sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q412069$1CC738FF-A33A-4693-87E8-927DBEA08EA3","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":"Q412069$665FF238-7065-4124-AEAC-702157014137","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab69a6f56ca6d177f21b348734334b3ebf9a2fdb","datavalue":{"value":"https://doi.org/10.1007/s00153-012-0270-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q412069$5A08EF68-72B3-4908-A9EE-07F17F0AEE9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2381b93dfa218b0754fa9b9e0a8bb063f6b64c6","datavalue":{"value":"W1968613132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412069$BE7CCD40-88A9-4CF5-81BD-6591900468CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b83ab56567fa1ff9a0087ce54189b1d1e004e7","datavalue":{"value":{"entity-type":"item","numeric-id":1969004,"id":"Q1969004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412069$7A64487E-9446-45CD-9096-C2AAFECF7896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f8f71e654dcf9cc59a7d36b442dc8b72c309ad","datavalue":{"value":{"entity-type":"item","numeric-id":690039,"id":"Q690039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412069$CE1E9C07-981B-442B-BC2E-4592F23080F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc7213f71577869fc3250dad19a38f1f41ebd479","datavalue":{"value":{"entity-type":"item","numeric-id":5953843,"id":"Q5953843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412069$3ACEE81F-6357-4F84-B5B5-9B2D5B779A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaba5fb1e91396a7f921edf76f4ba857e27ee397","datavalue":{"value":{"entity-type":"item","numeric-id":4258066,"id":"Q4258066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412069$F1CBD0AC-A995-468E-A141-E02788E8DC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c7a92242c2bfba7195aae451f55da0747db337","datavalue":{"value":{"entity-type":"item","numeric-id":1011753,"id":"Q1011753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412069$D8B3F82A-D38C-4F69-8F17-24CD987A3C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ad1469f98d76462a84361383c26c7e72d5692e3","datavalue":{"value":{"entity-type":"item","numeric-id":3011111,"id":"Q3011111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412069$F8BA36B8-6325-4B2C-ADC0-7985D45312D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc1e3df1760cadd113e61d046c424326fd13cd1","datavalue":{"value":{"entity-type":"item","numeric-id":3117778,"id":"Q3117778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412069$601245A4-21EC-471D-B0D3-5E31E662343E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d6bf5b1d461b439561219da31489cfbf1e0c24","datavalue":{"value":{"entity-type":"item","numeric-id":1969011,"id":"Q1969011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412069$47ACDA98-A759-4BD9-9B3F-6D8553C2D259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84103fd7245f688455c654a3678984446fbbf743","datavalue":{"value":{"entity-type":"item","numeric-id":5626665,"id":"Q5626665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412069$62E92C5F-76DB-4DBF-9165-29728DED88F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79974973a36777c2b1f8de66e3024aa69fe8e6a2","datavalue":{"value":"10.1007/S00153-012-0270-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412069$647CC05E-C94B-4ED4-9E1F-B1FC8765D40F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a17826f19cc4b1ac99e1366da8c4984e3e40214c","datavalue":{"value":{"entity-type":"item","numeric-id":3117778,"id":"Q3117778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d72c21d98f15cb2e46e49777fb2c506ad439e4d","datavalue":{"value":{"amount":"+0.9364225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q412069$6177D884-076D-442F-8431-C89E4CC202AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20130879e7bcbb22bec881ad8a0302c4740dce9b","datavalue":{"value":{"entity-type":"item","numeric-id":2461192,"id":"Q2461192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"166d27cb7f69332070d227e340ca10c2176f55a8","datavalue":{"value":{"amount":"+0.9320245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q412069$DD564700-C89B-4631-AA66-BC504EEA841B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3033a0802811ed041a4da8f6eae1b303ea6603b8","datavalue":{"value":{"entity-type":"item","numeric-id":2408080,"id":"Q2408080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"140e911e64ed324762108f7fac4fe86a0873df48","datavalue":{"value":{"amount":"+0.9236186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q412069$AF0992EF-096D-447D-AA6E-9B47586E8734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16ac9546547477b4236df71e9011902b1ee805f8","datavalue":{"value":{"entity-type":"item","numeric-id":3808085,"id":"Q3808085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa9a47f7c58e1b8a0ddaa48599dacfbf371326c8","datavalue":{"value":{"amount":"+0.9005116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q412069$573D97EB-C4E5-48E7-9986-D32DC2528A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc0578f2714e4f171eea6a8dd1740547604e5aa5","datavalue":{"value":{"entity-type":"item","numeric-id":3426568,"id":"Q3426568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7732ee83d515b0f81aec3d6c7836e4204a6ab2c1","datavalue":{"value":{"amount":"+0.8935609","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q412069$AB311ECA-B23A-421E-B832-8CD13AB4B07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"826e6e69c35c6d6473b270e8070b908a6f87d6a0","datavalue":{"value":{"entity-type":"item","numeric-id":4485722,"id":"Q4485722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed37387b9fdcb4389664b81329fc4437e0c2752d","datavalue":{"value":{"amount":"+0.89316595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q412069$2531F75F-33E1-4C67-84AC-29A7BDDADD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bccf6fce1cf897e23cb7de98185fd003ef8492ae","datavalue":{"value":{"entity-type":"item","numeric-id":2996226,"id":"Q2996226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1adce5819ca12fc93d795c74e42735850d82e26","datavalue":{"value":{"amount":"+0.8908328","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q412069$CA651099-D403-4520-9C8D-D368EB759122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b80a8f52c7b9d854d7339b6137ff347ae0f2e0eb","datavalue":{"value":{"entity-type":"item","numeric-id":678791,"id":"Q678791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa2ce2320e49e35e5f9b70c6f8b11f0849ce1c45","datavalue":{"value":{"amount":"+0.8879423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q412069$19E0C098-1E9C-4EF9-A7CA-DF82B8854303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f925f29640a8d68b7eaa3fc736d877da3f47403","datavalue":{"value":{"entity-type":"item","numeric-id":4551992,"id":"Q4551992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4dc4b49cc492ec7107004643a29da18c2f9164a","datavalue":{"value":{"amount":"+0.88732636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q412069$D9BFABE2-24D8-4E1B-A0EF-7D0F31093184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b647e9c2553478503ea34f14f19680f253f1635","datavalue":{"value":{"entity-type":"item","numeric-id":5953843,"id":"Q5953843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdf4c4287c0f4778f17fac42816190a5f70289e1","datavalue":{"value":{"amount":"+0.88113016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q412069$6D73F463-FCCB-4341-82BE-1D05A888DF72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:412069","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:412069"}}}}}