{"entities":{"Q1818430":{"pageid":1829172,"ns":120,"title":"Item:Q1818430","lastrevid":73026087,"modified":"2026-04-14T09:28:21Z","type":"item","id":"Q1818430","labels":{"en":{"language":"en","value":"Weak covering and the tree property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1383928"}},"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":"Q1818430$03C2E954-C700-45E0-A31A-EFB0A0EEE500","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63766961441e0a4578d1ceac0a935206e5b5225e","datavalue":{"value":{"text":"Weak covering and the tree property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1818430$584E3810-C81C-4412-97E3-6A19962C3D9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a5f3b3855bc4fd0f44b4881e704b20edf6d215a","datavalue":{"value":"0941.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818430$0AA829CB-4905-4F0B-872A-21A9952142C6","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":"Q1818430$A83BE657-AA22-4B1A-861A-5422502A9000","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c926a7842f7994a2e02d7d97d6466af0601a09c0","datavalue":{"value":{"time":"+2000-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1818430$59455EAD-75D0-4152-81C4-E417ACAE37DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd029a7f5950d0f6279bfb784ae89b71a30c2c94","datavalue":{"value":"https://arxiv.org/abs/math/9706205","type":"string"},"datatype":"url"},"type":"statement","id":"Q1818430$BADAC167-B41F-4D88-8926-7FFBE6EF7D3D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"13f519ab01cefa85b8ac7f49a4ac02203342c5dd","datavalue":{"value":"A cardinal \\(\\delta\\) is said to have the tree property if there is no Aronszajn \\(\\delta\\)-tree. Suppose that there is no transitive model of ZFC + ``there is a strong cardinal''. Let \\(K\\) denote the core model. In the paper it is shown that if \\(\\delta\\) has the tree property then \\(\\delta^{+K} =\\delta^+\\) and \\(\\delta\\) is weakly compact in \\(K\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818430$C4A4DFB1-D831-4F6A-9175-8E0AF46E4CF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818430$DD96BA17-055D-4145-BB06-45C3D2BE0B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818430$85B395C3-918B-418F-8D1E-F0408272F163","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd4b55fdaa359abdf1e953d761ba5f79765e5bf0","datavalue":{"value":"1383928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818430$FC92733C-99E6-48AD-86C0-19D36FA012F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f83b9a23f9d3a7b28b00abcc573d8cf2f8182af","datavalue":{"value":"weakly compact cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818430$D5DC11EB-C250-42F3-9C76-758EF5AA4785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f34fd637aed5aa8e81fce705fbcf248cab36ef5","datavalue":{"value":"tree property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818430$ED0E39D6-CD17-437B-B94E-33A574E4BA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7782a17c695d96628c97022dd9f9d7f5d3b25a3e","datavalue":{"value":"strong cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818430$19700123-4CDC-4A21-B451-ED717F8E1A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1968dcf3cd7ce02d9451d5c51600f569b2486e0a","datavalue":{"value":"core model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818430$2E24D879-1DEE-4155-811D-2C3B6AEAEDB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3aa8175c1d7434282d2dbafd0143922a2082a35f","datavalue":{"value":{"entity-type":"item","numeric-id":1128185,"id":"Q1128185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818430$DFDA1336-286C-4053-B528-EEC6C9BC4B16","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"59699d8ba436c4690eab2e3c0ee0a7ef0d967cec","datavalue":{"value":{"entity-type":"item","numeric-id":1177040,"id":"Q1177040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818430$AE9C6F21-984F-4AC5-BE6A-4318C19ECDAF","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":"Q1818430$EBE340A1-3BD0-4DC8-9853-210F09C628B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93a4cb7aba654896f12c64b73167e182c10e38dd","datavalue":{"value":"W1997615605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818430$2B00FB76-257F-4E10-8854-865F087220B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a70a5f3e917e5490a15a9a1f365de05e6009aa6","datavalue":{"value":"10.1007/S001530050136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818430$050A70DD-35C3-4C77-AE10-2CC5A2015300","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8375dac921de618830c8497d84b612cc902b931","datavalue":{"value":{"entity-type":"item","numeric-id":4916563,"id":"Q4916563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d3488d2d1dbf9927869552fcf255781ddb28b51","datavalue":{"value":{"amount":"+0.8109585046768188","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":"Q1818430$CE0557F8-D78A-4518-B6AB-098A58A66D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"934ba54bc88201424444756ffe5e79a596a232c4","datavalue":{"value":{"entity-type":"item","numeric-id":2921029,"id":"Q2921029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"506eede964c22b472c5a93fbd39ffe2960d9872b","datavalue":{"value":{"amount":"+0.8103668689727783","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":"Q1818430$39027354-7639-46A7-9830-7DF46B95D96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eddd383303858426c7e7c26d8e6c6eb7914f82ab","datavalue":{"value":{"entity-type":"item","numeric-id":3011116,"id":"Q3011116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1510a0a9b56a8c32250abbd9bd507bf383ab602","datavalue":{"value":{"amount":"+0.8047541379928589","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":"Q1818430$5097965A-CB66-4CF0-BBD5-78678D7A4D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e31c38ce62d287b9ca9e1feff010d1a784bb2bfe","datavalue":{"value":{"entity-type":"item","numeric-id":5108097,"id":"Q5108097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a01cddc27666fe1e8b1dda1911b252e1ca76c5bd","datavalue":{"value":{"amount":"+0.800605833530426","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":"Q1818430$497148A2-CC50-4720-870B-C3E4D8D7F076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce58147e0f9b8fbaa235cc8bf1b193f3d91d9f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5109212,"id":"Q5109212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6380055ca61e36726e92e44579bc07373ec94c7","datavalue":{"value":{"amount":"+0.7962513566017151","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":"Q1818430$B32E222B-25AC-4697-B042-08414F46CCD1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weak covering and the tree property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weak_covering_and_the_tree_property"}}}}}