{"entities":{"Q2888627":{"pageid":2899352,"ns":120,"title":"Item:Q2888627","lastrevid":58048434,"modified":"2026-04-03T14:38:50Z","type":"item","id":"Q2888627","labels":{"en":{"language":"en","value":"Shelah's strong covering property and CH in \\(V[r]\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6040453"}},"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":"Q2888627$3C818845-CE4C-4BCD-839A-E800A44B5CC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b45f81798ed8e2736b500fd1184c6fc460cbed94","datavalue":{"value":"1262.03104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888627$E525D03B-6E05-4BAB-A28B-2ADB8D0C0AEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3eacdbb2e4c9feaad4fd7b6f76efe213d06a3561","datavalue":{"value":{"entity-type":"item","numeric-id":229879,"id":"Q229879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888627$B9B676EC-60D4-45C4-AF4C-686A62BB060A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f2b2115389686798f935530714325ea58941b30","datavalue":{"value":{"entity-type":"item","numeric-id":453188,"id":"Q453188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888627$F37D7C3E-AE10-4A75-A030-4BA7FF8184F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551a6f900a46a3a457eea381c5a639d070eb099d","datavalue":{"value":{"time":"+2012-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2888627$DEF8F8EA-8E23-4C12-8C61-FDE651697953","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e151dfd32a13c9e838f6dc895a65c6a2dd1362b9","datavalue":{"value":"https://arxiv.org/abs/1510.02935","type":"string"},"datatype":"url"},"type":"statement","id":"Q2888627$4EE5F833-15C9-4EC4-AD79-C00338537EDA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888627$865D62CE-094A-4A0D-ABD1-DB8F5A51028F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888627$1F4DF77E-8EF2-487B-9395-CF6E85D3C90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888627$A461D38F-6CFE-499E-91E2-6676CE8899E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6c2ec37930dfc5f7c3d4a0185168b251a7af0c4","datavalue":{"value":"6040453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888627$5363B448-5E62-4039-A977-DB7B6A51CDEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9066ec7685f3512122e66cc3b35b742b713be7ea","datavalue":{"value":"strong covering property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888627$09582D46-219D-4A00-94A6-5239D9CEAAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac5b83c95d70ec16e692ef9733982acec77a0888","datavalue":{"value":"reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888627$4BA05773-74B9-4FF7-B1B8-88CEF20A6946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc16aac6d2ea60085fceba1fdda10f5239b2f7ec","datavalue":{"value":"CH","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888627$719B117D-6270-42CE-BD1D-948E053465C8","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":"Q2888627$C6EFB1CF-DF23-4C5B-AE07-C322C65631FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e08a3469c5670471a885002eff736fa0f1a9d46","datavalue":{"value":"W2091649841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888627$208702BB-1AA5-4914-9FCF-F4D387BEB948","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb70607a96cbad40f6de1375b0df636ef431c56d","datavalue":{"value":{"entity-type":"item","numeric-id":4779642,"id":"Q4779642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888627$878B242A-D69E-417B-9145-744E7B6A457C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd9759eeb92e61b6361d1bb1e42b1aada82ab19","datavalue":{"value":{"entity-type":"item","numeric-id":3718699,"id":"Q3718699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888627$1D8FBBC2-7215-4EC6-B037-A639C84592F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1221b1bc81cd381a2a63fe0d5a511232d5a63de","datavalue":{"value":{"entity-type":"item","numeric-id":4032656,"id":"Q4032656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888627$A7EDA57B-D6F9-4DDA-9327-1446A227A8ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fdba415090699b7b1d4708fa3bcc7f8cfe840305","datavalue":{"value":"10.1002/MALQ.201100050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888627$24091B43-05C6-4565-93F1-4F0FD4F9AD90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c166e6a2cbed3292dca0e246b71a09b12e9c347","datavalue":{"value":{"text":"Shelah's strong covering property and CH in \\(V[r]\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2888627$CB362CDD-D41C-4395-B481-8964D9D5706D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888627$DE45F4DD-CA5D-4230-B28B-FEC5FA2BB509","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cf609c4a752dc58c30bf7ce03f128913f887a92b","datavalue":{"value":"The authors provide a proof of a result of \\textit{M. B. Vanliere} (see [Splitting the reals into two small pieces. Berkley: University of California (PhD thesis) (1982)]) which states that if \\(X\\subseteq \\omega_n\\) for some \\(n\\in\\omega\\), \\(a\\subseteq \\omega\\), \\(L[X]\\vDash \\text{ZFC}+\\text{GCH}\\) and the cardinals of \\(L[X]\\) are the true cardinals, then \\(L[X,a]\\vDash \\text{GCH}\\). They examine Shelah's strong covering property in the context of pairs of models \\((W,V)\\), where \\(V=W[r]\\) for some real \\(r\\), and discuss various applications. For example, they show that if \\(W\\) and \\(W[r]\\) have the same cardinals, \\(W\\vDash \\text{GCH}\\) and \\(W[r]\\vDash 2^{\\aleph_0} >\\aleph_1\\), then in \\(W[r]\\) there is an inner model with a measurable cardinal. In [\\textit{S. Shelah} and \\textit{H. Woodin}, J. Symb. Log. 49, 1185--1189 (1984; Zbl 0591.03028)] it is shown that there is a generic extension \\(W\\) of the constructible universe and reals \\(a\\), \\(b\\) such that both \\(W[a]\\), \\(W[b]\\) satisfy \\(\\text{CH}\\), while in \\(W[a,b]\\) the continuum hypothesis fails. NEWLINENEWLINENEWLINE NEWLINEThe present paper gives a generalization of this result stating that, if \\(\\lambda\\) is a cardinal of uncountable cofinality, there are \\(\\lambda\\)-many measurable cardinals and \\(\\text{GCH}\\) holds, then there is a cardinal-preserving generic extension \\(W\\) of the universe and reals \\(a\\), \\(b\\) such that \\(W\\), \\(W[a]\\), \\(W[b]\\) and \\(W[a,b]\\) have the same cardinals, \\(W[a]\\) and \\(W[b]\\) satisfy \\(\\text{GCH}\\), while in \\(W[a,b]\\) the continuum has size \\(\\lambda\\). The authors conclude with a discussion of open problems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888627$2C2B879A-80AD-4CD5-A29D-9BB1DAD3766D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"933756bef6928eafad6318302c3c176da6374688","datavalue":{"value":{"entity-type":"item","numeric-id":403411,"id":"Q403411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888627$338EEB2C-EE9E-45BE-AD79-82F4CDC42B3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b31c3de4294fcff0ae351ed7eae8834ab90e878","datavalue":{"value":{"entity-type":"item","numeric-id":2869902,"id":"Q2869902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a90839a89917cfeafc376cdb7ebd9926fd2c6af0","datavalue":{"value":{"amount":"+0.7906570434570312","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":"Q2888627$EDB41643-E96D-425A-848A-92123C15781B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"350e8c78dcd93c996a0d2c26ec89308c50698bb0","datavalue":{"value":{"entity-type":"item","numeric-id":2743643,"id":"Q2743643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d639366e7561ebbee04e37802769846559c3ecf8","datavalue":{"value":{"amount":"+0.7670519351959229","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":"Q2888627$9AC6E244-0CB3-41E3-9DD3-7DB41A4EAB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9354dafd3e0ce0f150ff8881568a4337ee7b5fec","datavalue":{"value":{"entity-type":"item","numeric-id":3991810,"id":"Q3991810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d639366e7561ebbee04e37802769846559c3ecf8","datavalue":{"value":{"amount":"+0.7670519351959229","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":"Q2888627$D2543635-41E2-43C8-BF8C-C2FC9E0D29A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fda69ec53ba1209f525b322b477a8a35758b249","datavalue":{"value":{"entity-type":"item","numeric-id":4523074,"id":"Q4523074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf26978e3d0e62a1ac3e812564e282597db5fdc9","datavalue":{"value":{"amount":"+0.7629641890525818","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":"Q2888627$02B26E75-CE09-49E5-802D-1BAA8F2B7094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db3da560e24bcd07d16f34118772e8890bdde46b","datavalue":{"value":{"entity-type":"item","numeric-id":1119631,"id":"Q1119631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a66d05ac3754ad8759c52d716d3cfe79860e6ff2","datavalue":{"value":{"amount":"+0.7623597979545593","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":"Q2888627$FF862ACB-FE3F-46C5-ACC3-C24E29B9D0E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2888627","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2888627"}}}}}