{"entities":{"Q5940149":{"pageid":8116951,"ns":120,"title":"Item:Q5940149","lastrevid":93432545,"modified":"2026-06-05T04:23:37Z","type":"item","id":"Q5940149","labels":{"en":{"language":"en","value":"The name for Kojman-Shelah collapsing function"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1624605"}},"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":"Q5940149$484DB2E9-D727-4E04-A02C-59F03C575A34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b47f17a4919b6a5adefa6fc6db81a2325396d324","datavalue":{"value":{"text":"The name for Kojman-Shelah collapsing function","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5940149$84AFD696-EED4-4C0D-8A0E-6A336FC616AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7c738468c6b100469c8c3f6dd8405eeddd04287","datavalue":{"value":"0989.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940149$4D017A79-5A9D-402A-9E77-FFFDB6A84519","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9dcc133f8edb4c888c627608ec9583624b79dd66","datavalue":{"value":"10.1016/S0168-0072(01)00046-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940149$3090BFBD-5448-42C5-8E72-366CDEDB5B86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25898d09c14fc77f0c4177782d9413bc05d30f1f","datavalue":{"value":{"entity-type":"item","numeric-id":1183631,"id":"Q1183631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940149$620630B8-1561-4520-85E8-740094E20A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"351f67d928b94c71517d735bdb38be24882fbeb7","datavalue":{"value":{"entity-type":"item","numeric-id":195664,"id":"Q195664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940149$31D155B1-71CC-410C-A348-35FBFFFF16CA","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":"Q5940149$03543B6B-819F-404E-8687-060ABA49588B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0325700ca3bc3f7d102c264ab8870dda2d06b4b","datavalue":{"value":{"time":"+2002-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5940149$8C433BDB-4AC6-4B5A-9FC3-850A57395153","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940149$DC00C15C-4FB1-4610-8710-72081AC0C384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e97646a8882015635af4610f03780a0fa4ada0c","datavalue":{"value":"06E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940149$4D82069C-CF74-4C15-A745-C67502A0440D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5dc3f5ac4d0b3a386661b604be4152f74812bc4e","datavalue":{"value":"1624605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940149$43D4A06B-DD10-4A46-8214-3C7DCFA777C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c1e20da2e0b0ff36aece792abf72b8107567f98","datavalue":{"value":"singular cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940149$8B9F1C54-44B5-4519-AF03-C9A919DCE13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd3d808871bec0d813060edc60b0f93ee9cf5336","datavalue":{"value":"complete Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940149$531EAEA5-6D3F-4A8C-8FCF-7823FD2858D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"103b0fad0becacf1f6ceeda6ffed2c8f8c667cc3","datavalue":{"value":"complete subalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940149$F35F7E36-E65A-483D-9EBB-238E95826426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79985c90db1fef54c58fa8d6764e396494bb5b74","datavalue":{"value":"quotient algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940149$131FA053-9BAE-4079-92E3-FC173F5949DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1965dcd8842a313f7ca54aeb4f553353135ff43e","datavalue":{"value":"collapse algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940149$981EDDC3-209A-46B5-8C1C-4DDFCAD05B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b69b4ba6ef9556a78d1b75dad86faa270e66471f","datavalue":{"value":"distributivity number","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940149$B0AB50E6-EFE4-402C-BA81-AF619C1340D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0556e2341fd8f882de3640c1cc8bd0ebf3154ea4","datavalue":{"value":"nowhere distributivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940149$7BAE941A-83E1-47F2-97C8-B07E32A1F61B","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":"Q5940149$D62353FF-0168-4184-B4AA-3254C81F6E28","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"728470473dac73b9bdbd0e79dd5507d6eb059091","datavalue":{"value":{"entity-type":"item","numeric-id":3684798,"id":"Q3684798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940149$4B2B7757-C239-4ACA-A8C5-9E36068DD5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d702c92b5b359c20e9009ef08388956dbcecebc","datavalue":{"value":{"entity-type":"item","numeric-id":3829546,"id":"Q3829546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940149$917F63CE-7BF4-4395-928A-C6A8C2B33D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8459862735a3ec9272090d344676c06d659741b","datavalue":{"value":{"entity-type":"item","numeric-id":3994998,"id":"Q3994998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940149$52F2734A-175A-4510-A618-41660172D9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3e87138e293ee4fea2986c4c84ceb6a59d4447a","datavalue":{"value":{"entity-type":"item","numeric-id":1905785,"id":"Q1905785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940149$309F9D52-4F51-41D5-B1BC-D349A16AF5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5c5438423b38074773b3a57114abe5830c0cb32","datavalue":{"value":{"entity-type":"item","numeric-id":5656772,"id":"Q5656772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940149$E98377F5-210B-4631-B0F0-FC2815635269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a05947a0c2e5b9c7ed73043a54478f13bf1383","datavalue":{"value":{"entity-type":"item","numeric-id":4052073,"id":"Q4052073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940149$DEE0B15C-579F-4A76-9629-9FC0FF1CE84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bacf6d66987a75cff09f9ab43ba9f43d5f08ab58","datavalue":{"value":{"entity-type":"item","numeric-id":1896642,"id":"Q1896642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940149$E1A279D4-9016-4984-B034-15ECDAA94BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"969f443e20b52574d523b1885aff0df212591a05","datavalue":{"value":{"entity-type":"item","numeric-id":5940148,"id":"Q5940148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940149$0F2EB44F-E485-4659-B4A1-FE39B10D7C62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2090b85bf61697ffb8ef3ca5ebba0fe07d13e395","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(01)00046-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q5940149$B378B301-5012-4654-8A3D-843CECD6661C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d73d268e2853912dff234d5452d63f63b72755ce","datavalue":{"value":"W1983878310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940149$FFAF96A7-037C-4A17-A05C-A012A8917F67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c4692a7b0ebeeee1ec6195bcada22a39466a7c8","datavalue":{"value":{"entity-type":"item","numeric-id":5940148,"id":"Q5940148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"358ba75730b5df69f7d34033117552ef9fdc05bf","datavalue":{"value":{"amount":"+0.91778123","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":"Q5940149$3BFD852E-0CE3-4AF5-854C-2BD178AB224E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1de30176ff9f28e3c99b1b474c673609ff62acc6","datavalue":{"value":{"entity-type":"item","numeric-id":3829546,"id":"Q3829546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2512216c563ebadb8b9f110105aab10fa1806069","datavalue":{"value":{"amount":"+0.7623702","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":"Q5940149$61CD48FD-0EB8-4A04-B8D8-744D72FED8A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e837ca2505a66fe840e7dfb71183fa134349f46f","datavalue":{"value":{"entity-type":"item","numeric-id":3426572,"id":"Q3426572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2e2b8d24655f2d710c9b71d8b37e5f4227b776b","datavalue":{"value":{"amount":"+0.7213643","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":"Q5940149$661FA508-C9F1-4B89-814B-2041206CE5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f7f9d578fa93c034be33c1ece52b58135c6d2db","datavalue":{"value":{"entity-type":"item","numeric-id":3754651,"id":"Q3754651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3836c15d2c473394b1bedeebd7a4e0490c996139","datavalue":{"value":{"amount":"+0.6990016","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":"Q5940149$CE6B1BB4-48BB-4B6E-809B-8C308B06AABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cc2a607237ced89a900b390c430779cd9db5442","datavalue":{"value":{"entity-type":"item","numeric-id":1071015,"id":"Q1071015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76ad8064e8ff49a905db3ea4dbdfef2fbfbb3782","datavalue":{"value":{"amount":"+0.67252356","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":"Q5940149$DE867EFC-856F-4196-A140-5BC3CFAD13AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b2a52d5ae6d192ab54960ee9a5a979b85bc0d94","datavalue":{"value":{"entity-type":"item","numeric-id":4846055,"id":"Q4846055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0748267d3507301cd89039fd92700de581f3211e","datavalue":{"value":{"amount":"+0.6713957","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":"Q5940149$C54E34A8-298E-4D9C-B5E9-752A3C6C98EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"809c1a2d775319a5a623c84635b89f64c08f4ecd","datavalue":{"value":{"entity-type":"item","numeric-id":4285970,"id":"Q4285970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31633f84748d80383fbbc6bbf8d764601335a145","datavalue":{"value":{"amount":"+0.66692793","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":"Q5940149$11C37BE3-6BE2-469D-850A-50119BC19852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"686d989bbfef92c8e233c65d5eb8d535a3873e7e","datavalue":{"value":{"entity-type":"item","numeric-id":3297041,"id":"Q3297041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b50cb84db65b88ed7970f5914be271f2645c5df9","datavalue":{"value":{"amount":"+0.6634205","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":"Q5940149$9F178510-F75D-4661-8989-350381F32F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b75b587653e354254e3bf0b7f21c8a937210ecc1","datavalue":{"value":{"entity-type":"item","numeric-id":3369019,"id":"Q3369019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c97b785adaa5f56e666f948390db0efb6995646","datavalue":{"value":{"amount":"+0.6626086","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":"Q5940149$6666218A-CB30-4ABF-BCDC-60BD252F7091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1e818bdea36e28ca7f10606fbfe3635ee116676","datavalue":{"value":{"entity-type":"item","numeric-id":1567337,"id":"Q1567337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afbdfd60009a3d3905c25ab3ae036af11761580e","datavalue":{"value":{"amount":"+0.6613653","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":"Q5940149$658078F3-F035-42C1-82BE-7E00105A8948","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"135d13f875d9790d4d73ec56a09bf2f8852b7713","datavalue":{"value":"For a cardinal number \\(\\mu\\), let \\({\\mathcal P}_\\mu (\\mu)\\) denote the completion of the quotient algebra of the power set \\({\\mathcal P} (\\mu)\\) modulo the ideal \\([\\mu]^{<\\mu}\\) of subsets of \\(\\mu\\) of size \\(<\\mu\\). For cardinals \\(\\kappa < \\lambda\\), \\(\\kappa\\) regular, the collapse algebra Col\\((\\kappa, \\lambda)\\) is the completion of the standard poset collapsing \\(\\lambda\\) to \\(\\kappa\\) using partial functions of size \\(< \\kappa\\). A complete Boolean algebra \\(B\\) is \\((\\kappa, \\cdot,\\lambda)\\)-nowhere distributive if there are partitions of unity \\(P_\\alpha \\subset B\\), \\(\\alpha<\\kappa\\), such that for every nonzero \\(b \\in B\\), there is \\(\\alpha < \\kappa\\) such that \\(b\\) meets at least \\(\\lambda\\) many \\(p\\in P_\\alpha\\). NEWLINENEWLINENEWLINEThe authors provide an elementary combinatorial argument (not hinging on pcf theory) for the result of \\textit{M. Kojman} and \\textit{S. Shelah} [Ann. Pure Appl. Logic 109, 117-129 (2001; Zbl 0989.03050)], reviewed above, saying that, for every singular \\(\\mu\\) of countable cofinality, the completion of the poset of closed subsets of \\(\\mu\\) (which completely embeds into \\({\\mathcal P}_\\mu (\\mu)\\)) is \\((\\omega_1, \\cdot, \\mu^\\omega)\\)-nowhere distributive. This is the main step in the proof (Kojman and Shelah) showing that forcing with \\({\\mathcal P}_\\mu (\\mu)\\) collapses \\(\\mu^\\omega\\) to \\(\\omega_1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940149$FE297F67-ACD8-4B10-9D39-EFFAF4B1E30D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The name for Kojman-Shelah collapsing function","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_name_for_Kojman-Shelah_collapsing_function"}}}}}