{"entities":{"Q937818":{"pageid":939666,"ns":120,"title":"Item:Q937818","lastrevid":42775299,"modified":"2025-07-11T09:09:22Z","type":"item","id":"Q937818","labels":{"en":{"language":"en","value":"A proof of Shelah's strong covering theorem for \\({\\mathcal P}_{\\kappa} \\lambda\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5312751"}},"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":"Q937818$C26B7B73-E121-47C0-A65F-48DBB3EB913F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c541fb86eadbc00b8a7926d977623aa3e483e67c","datavalue":{"value":{"text":"A proof of Shelah's strong covering theorem for \\({\\mathcal P}_{\\kappa} \\lambda\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q937818$21EA8C07-7589-4829-8A2B-0CECA833C4EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39af8692b18aca92d6b30971a295736b1df7aa62","datavalue":{"value":"1167.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937818$BB7E5A1C-6756-4A34-8161-DC5496A1DF2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9341c1022469b9815ec93f212060df607c321ed4","datavalue":{"value":{"entity-type":"item","numeric-id":937817,"id":"Q937817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937818$31614A7B-70CA-4A1C-BAB2-ECFCA000FC63","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6fe50e98b0aa99209fa6db00abb40af0a8c01ca9","datavalue":{"value":{"entity-type":"item","numeric-id":170982,"id":"Q170982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937818$6C6EC6FB-9675-49A7-9725-B0A18CA0D479","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"046b71469fa93a7e7a58447419bb590ca4ec43ef","datavalue":{"value":{"time":"+2008-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q937818$8CE26824-222C-4836-8388-B534434C4D28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76df9e69eeb28e2e98c14968fc4c4ba28e5109aa","datavalue":{"value":"https://projecteuclid.org/euclid.ajm/1213798135","type":"string"},"datatype":"url"},"type":"statement","id":"Q937818$8A087114-AFA6-49A4-BAA2-FEE4B6E9F712","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"775b4dda7d65065fc126913743336ce5e02ae560","datavalue":{"value":"A theorem of \\textit{S. Shelah} [``Advances in cardinal arithmetic'', in: N. W. Sauer et al. (eds.), Finite and infinite combinatorics. Dordrecht: Kluwer. NATO ASI Ser., Ser. C, Math. Phys. Sci. 411, 355--383 (1993; Zbl 0844.03028)] answered a long-standing open question in a surprising way: for every regular uncountable \\(\\kappa\\) and \\(\\lambda>\\kappa\\), the smallest size of a stationary set in \\(\\mathcal P_\\kappa\\lambda\\) is the same as the smallest size of an unbounded set in \\(\\mathcal P_\\kappa\\lambda\\). By work of Baumgartner and Taylor, this was known in the situation when \\(\\lambda<\\kappa^{+\\omega}\\), but the argument stopped there. Shelah's proof uses pcf theory and an ingenious system of elementary submodels. Unfortunately, close inspection of the details of this proof found some incorrect ones, as noticed by Shioya and apparently confirmed by Shelah.  In this paper, Shioya gives the correct version of Shelah's proof, with the missing details pointed out and corrected. The historical notes in the introduction suggest that the corrections were suggested by Shelah in response to Shioya's inquiry and then further revised by Shioya. In addition to this proof, the paper gives a different, self-contained proof due to Shioya.  The paper is well written and interesting to read. I was slightly annoyed by the use of \\(\\Pi A\\) in place of \\(\\Pi A/U\\) in the section reviewing pcf theory, making some of the statements quoted formally incorrect.","type":"string"},"datatype":"string"},"type":"statement","id":"Q937818$5C24A5AA-A03B-4C7D-850A-5CF2B59AF6B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d47e25e8cf618d2abb950656f24c2f07fd7d2928","datavalue":{"value":"03E04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937818$6995554C-C34B-4CD3-BACB-D77CBE062A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937818$C941365D-B97A-40BB-A546-33A0AC1B68F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e7aab5d906b3adc8f9e486c8ed83571a7949aa2","datavalue":{"value":"5312751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937818$4EF72CC4-7C8A-46BF-996C-59105BE75528","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"168ce2104a23796d6cd2184bb5f612a132594684","datavalue":{"value":"size of stationary sets in \\({\\mathcal P}_\\kappa\\lambda\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q937818$EC20EF44-B79F-4333-B8F0-BBBBA058D97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cb77774c8eab49a7e996e78114ff831fbf047d7","datavalue":{"value":"cofinality","type":"string"},"datatype":"string"},"type":"statement","id":"Q937818$825FA803-1F6D-4717-8A2C-8709026CC756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75aec86f8e12b350bef363645bfad54f9558610d","datavalue":{"value":"pcf theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q937818$DCF1F5AD-63DE-4129-8370-9613217662EE","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":"Q937818$E354AA6F-3A9C-4927-97AA-F7DCCFD53D30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47debd49b49dcf30d6ebef2986c5502daa20bca0","datavalue":{"value":"W1983779125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937818$7EDB3011-0D2B-4EE0-A641-23A6FDBB9FB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8fda9c37faca4697015e9d393f5c92a5cd3e8b1","datavalue":{"value":"10.4310/AJM.2008.V12.N1.A7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937818$09D924F5-F5A2-4D9B-80D0-2CD7EE096FCF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b483b316f156e7507733096853717a853ac97c71","datavalue":{"value":{"entity-type":"item","numeric-id":5388718,"id":"Q5388718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97e78d757ad4eb0f15c5a279962d9fd5690b8f38","datavalue":{"value":{"amount":"+0.7779389","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":"Q937818$407E944E-5B00-416C-89B1-128E7D96803B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"736319a7c47aa28c4ece5a61609a38491f29f8d0","datavalue":{"value":{"entity-type":"item","numeric-id":1407536,"id":"Q1407536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb36ef11a2f93185f87ef1964ff2bf6a3b75abf8","datavalue":{"value":{"amount":"+0.76924115","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":"Q937818$31819971-9F1C-4476-BA11-9BE8DC52555A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab0ac5b63428c73689e9424a62fba90e1d6074fa","datavalue":{"value":{"entity-type":"item","numeric-id":3530403,"id":"Q3530403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6b8a60b297508028cbccd81e97f5001ecd82aec","datavalue":{"value":{"amount":"+0.75705624","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":"Q937818$7EB7E6F0-2D05-4011-8B05-C84E12CB6269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd669265020aad7a5e479647a5372d53dc681a0e","datavalue":{"value":{"entity-type":"item","numeric-id":1969011,"id":"Q1969011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffa10160e2bface0153dc4014ce3afe5d4e72962","datavalue":{"value":{"amount":"+0.7552083","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":"Q937818$2FB3512F-AED6-4D8D-83FB-F4F6421995D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a686e088a7a9a6096cdfbbb3a310d821a9b6e47","datavalue":{"value":{"entity-type":"item","numeric-id":3735701,"id":"Q3735701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4b113d961e2ec9587360b6e903d1b8b41dd704c","datavalue":{"value":{"amount":"+0.75433224","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":"Q937818$588EF2B6-734D-4166-A18F-ECA78B801BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afbaffa218134d1135c4511dc1f4e9109f82c553","datavalue":{"value":{"entity-type":"item","numeric-id":1182481,"id":"Q1182481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5576c30bcda69b23653323e7b052e6f63aff53b","datavalue":{"value":{"amount":"+0.74931157","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":"Q937818$CBEE6143-31AB-4768-B4F9-C363FBAB810B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5ffc5c92669b99408b56710c4eaf20d9f0d6b59","datavalue":{"value":{"entity-type":"item","numeric-id":3392764,"id":"Q3392764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ca06b36bf9e9a8b1d6ea91b35096f3a88476571","datavalue":{"value":{"amount":"+0.7469699","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":"Q937818$3A976CA8-2AE3-4A71-B9C8-AA5CD8D3C5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03600ef2ceed3eb64b7f5d84af8a6875fc1b27e3","datavalue":{"value":{"entity-type":"item","numeric-id":3329456,"id":"Q3329456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7636424d8e01a17fd3feac2d08b2ff0a0d5d4932","datavalue":{"value":{"amount":"+0.740028","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":"Q937818$4E477619-C8B8-4ADB-A258-2BAB1FB2635A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e3406d8be4e984c34a5948555b77a142457fba8","datavalue":{"value":{"entity-type":"item","numeric-id":3343979,"id":"Q3343979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b559226bb8e4ca1a2fef29d70c5d815f2f890e90","datavalue":{"value":{"amount":"+0.733588","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":"Q937818$B12381F3-2E3C-4B24-8AF7-C73E7FA70AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58c0eb6e258bc6c03d3ccd882f196d7c6a72a393","datavalue":{"value":{"entity-type":"item","numeric-id":4548077,"id":"Q4548077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"179dd2341d2dc5f31a419416c5549399d34c5417","datavalue":{"value":{"amount":"+0.7267767","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":"Q937818$37372269-256E-4BA0-9876-8FFE7CF6E3A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:937818","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:937818"}}}}}