{"entities":{"Q1071763":{"pageid":1082515,"ns":120,"title":"Item:Q1071763","lastrevid":69794982,"modified":"2026-04-13T09:26:28Z","type":"item","id":"Q1071763","labels":{"en":{"language":"en","value":"More on the weak diamond"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3939353"}},"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":"Q1071763$62FD10BB-80B7-444B-883D-F821C81BA2E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e88893d2f29e9a722d087c61e6e78f549a09626","datavalue":{"value":{"text":"More on the weak diamond","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1071763$EF0AC64F-130F-4439-AD64-2EFA86C70BEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d6061ba96a081281c522360ab2f5cf45f0d1e18","datavalue":{"value":"0586.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071763$143C04BF-1C65-4F90-B22F-2FC11FDE4845","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f488841d597fb7b0d086bdd6b381cfcf86e9eae","datavalue":{"value":"10.1016/0168-0072(85)90019-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071763$9BE7BDCA-4D9A-44B9-A77E-595A83319E83","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":"Q1071763$9749BD11-9CC0-4ADD-88B9-32A54049718E","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":"Q1071763$D45DEC8F-2954-4E61-AD5A-0090E9C2A001","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1071763$28F9605F-DB2E-4362-87DB-BA2682CE1211","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b941b2833d7c7007e2aeab2a503a2bf69e4d29de","datavalue":{"value":"The subset S of the regular cardinal \\(\\lambda\\) is said to be small if for some function F, for every \\(\\eta \\in^{\\lambda}2\\), for some \\(g: \\lambda\\) \\(\\to \\lambda\\) and some closed unbounded subset C of \\(\\lambda\\), (\\(\\forall \\sigma \\in S\\cap C)\\) \\([\\eta (\\delta)=F(g\\upharpoonright \\delta)]\\). There had been some hope that one could show that \\(2^{\\aleph_ 1}<2^{\\aleph_ 2}\\) implies \\(\\{\\delta \\in \\aleph_ 2\\); \\(cf(\\delta)=\\omega \\}\\) is not small. However, in this note the author uses iterated forcing to prove a consistency result contradicting this (and much more).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071763$6B38BF7D-10C3-4E13-B4E2-AC2D84964440","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071763$1D73FCCD-DAB1-4454-BF98-99EBF02CC159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071763$2064A233-92CD-447A-978F-A800338468D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08a8228d5e7b44907f9165aba5ae045e03f360c1","datavalue":{"value":"3939353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071763$90AEB8DC-76DB-4E56-A51D-B584273A9814","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eacb0e4aab3d35beecc1ca5d565cdce29d072a94","datavalue":{"value":"continuum hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071763$85DA35D2-403A-48CD-A0E3-578E0D34F8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aea395cfac88785ba6388ee1fe1129625f58023","datavalue":{"value":"iterated forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071763$D2E486CC-DE3D-4B5C-AED7-EDB011BA0FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071763$B629FD85-E58F-4699-BEFB-1A42E8DB16A8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e895f7d767724f4ff7f1c864b815a28e2d8e0b38","datavalue":{"value":{"entity-type":"item","numeric-id":916652,"id":"Q916652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071763$69AC050F-CE50-438E-B37F-73A8CBF526C0","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":"Q1071763$21D444D7-5322-4244-B8A4-8814CF3A7401","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ba99668014aa1f92cbe47411a36c4fd5571fd47","datavalue":{"value":"https://doi.org/10.1016/0168-0072(85)90019-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1071763$AABF9C71-515F-4A2A-BAF4-8B6C39F0D68F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d3aad54dac3fdefdec3dced9f6720b0d7f96670","datavalue":{"value":"W2025347024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071763$1481CFB8-E8F1-4F1C-93DE-E3AA104D9F53","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"25d0aefaeeeb7ed27edff98f8ae0b72602e4605d","datavalue":{"value":{"entity-type":"item","numeric-id":1255946,"id":"Q1255946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071763$C3FBECAB-88E9-4C44-A7E0-24368134C58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9c504d005b7532e27a604f0dc718dbf518825d9","datavalue":{"value":{"entity-type":"item","numeric-id":4116450,"id":"Q4116450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071763$8D9A0D05-9E47-4EA6-B561-5F8602AEE306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eaf251446f1affa8083554c5ff954004ed26a9b","datavalue":{"value":{"entity-type":"item","numeric-id":3895456,"id":"Q3895456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071763$2390554A-FFFF-4500-B0C7-4F688A5DDC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daade9383c72c242ddad1e13560a6dec7611cf8a","datavalue":{"value":{"entity-type":"item","numeric-id":3731597,"id":"Q3731597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071763$117E40CD-370F-4B41-8811-43842D20E1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d45cd2ea360d17b085a46e8bc7dd71d81d0bdfcf","datavalue":{"value":{"entity-type":"item","numeric-id":1169456,"id":"Q1169456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071763$C54DE831-C86A-4053-A4CE-1FA583B74894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b590439f9bed40ebdaa35e2b3fe514e80752839","datavalue":{"value":{"entity-type":"item","numeric-id":1147695,"id":"Q1147695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071763$EA878EFC-292F-487F-A7ED-0D4553AC1509","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b550f98b10e5a1fff367f80d9901994479e3271b","datavalue":{"value":{"entity-type":"item","numeric-id":1354343,"id":"Q1354343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbb4b47d21096425edc3f91a333bbf54b85b4470","datavalue":{"value":{"amount":"+0.776273250579834","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":"Q1071763$44385765-8EAA-4940-863C-DC90BC857603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1eca35ef75f80ad299651efa6bed0515104138e","datavalue":{"value":{"entity-type":"item","numeric-id":4811309,"id":"Q4811309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12116c197d0f6311026e508e091715e8f316235e","datavalue":{"value":{"amount":"+0.7737964391708374","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":"Q1071763$CF1E40D1-3C14-4B46-96F8-FB31D84EF5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb49cfb2d4ad5e19255311fdd4a185df07c5284a","datavalue":{"value":{"entity-type":"item","numeric-id":5029027,"id":"Q5029027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e52ec98622a1f10a09b18602f2337389bbfc4d63","datavalue":{"value":{"amount":"+0.7698941826820374","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":"Q1071763$8D8F7B33-305E-4858-9230-94F7B0E5E0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b285fdfaba38c25b68ad04a968c4d301c41524c2","datavalue":{"value":{"entity-type":"item","numeric-id":2236637,"id":"Q2236637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75212ee29a0ceb13f0ae19977d164e89d4f016ed","datavalue":{"value":{"amount":"+0.7674224972724915","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":"Q1071763$F6A64ECF-0925-4ADD-9979-CF593EDB4D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be0395752e9bed26c17f8640a6c2bc1ef714470d","datavalue":{"value":{"entity-type":"item","numeric-id":524185,"id":"Q524185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf48b31761ab2ce315618ab442dbd4da2d26ec02","datavalue":{"value":{"amount":"+0.7639140486717224","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":"Q1071763$28893993-B480-4383-B584-3BCF0F7613F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"More on the weak diamond","badges":[]}}}}}