{"entities":{"Q732054":{"pageid":733903,"ns":120,"title":"Item:Q732054","lastrevid":63953082,"modified":"2026-04-11T16:39:44Z","type":"item","id":"Q732054","labels":{"en":{"language":"en","value":"Covering theorems for the core model, and an application to stationary set reflection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5612544"}},"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":"Q732054$1ED73635-6AC4-44BF-A320-8E6787FEB658","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f24dd65802884eb2719cad3147730ba3c6978251","datavalue":{"value":{"text":"Covering theorems for the core model, and an application to stationary set reflection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q732054$4226BDA1-F2CF-4FC3-8E40-6BB635482B8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afe64ea246e2ebc00161b10eaf937eaaaef8b88f","datavalue":{"value":"1183.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732054$D8AF7EB9-31E4-4D81-9B51-F30D9A64496A","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":"Q732054$BAA1ED7B-AC4D-45E4-A6CF-741550E9C701","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eca99fd9b1fdaf08a8ea0b1d2ea2e0c66a9f63c5","datavalue":{"value":{"time":"+2009-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q732054$17295FA0-9F5F-4245-B6B6-5C3C6D5714C3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5adca3ee13c4635cadf00951da9885ba9e67267f","datavalue":{"value":"The bulk of this paper is devoted to the proof of its main result: a covering theorem for the core model~\\(K\\) below the sharp for a strong cardinal. If \\(\\gamma>\\omega_2\\) is regular in~\\(K\\) but \\(\\text{cf}^V\\gamma<|\\gamma|^V\\) then \\(\\gamma\\)~is measurable in~\\(K\\).   The paper ends with applications to stationary set reflection: Mahlo cardinals suffice for the consistency of unqualified reflection but to get stationary subsets of \\(\\{\\alpha\\in\\omega_3:\\text{cf}\\,\\, \\alpha=\\omega\\}\\) to reflect at ordinals of cofinality~\\(\\omega_1\\) requires larger cardinals than Mahlo to exist in~\\(K\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q732054$EE9DB49C-DC0E-49EB-B66C-50FDB4B3C6D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732054$BAEFD394-01BB-42AD-A225-003C3D650019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732054$4F56E6A2-5649-4E06-BC93-91ACFCCE3FAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"704bad91d258f8ed3c668fb02de0ee6bb3590d1f","datavalue":{"value":"5612544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732054$73B892C3-356F-4D27-851A-283B22719F87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1968dcf3cd7ce02d9451d5c51600f569b2486e0a","datavalue":{"value":"core model","type":"string"},"datatype":"string"},"type":"statement","id":"Q732054$DB1BB929-AC9E-4DCB-AA87-D685921ADC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d3b45fdf3de69ddb0a22a1384b03eedf1ad7e14","datavalue":{"value":"covering lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q732054$A76B22CE-8220-48CB-8FAE-F91CEF4C4316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7782a17c695d96628c97022dd9f9d7f5d3b25a3e","datavalue":{"value":"strong cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q732054$0DC0179C-3F28-4160-9B8B-D05016C54441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"907204840cb32e49dc843e323ad2215385a30d54","datavalue":{"value":"stationary set reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q732054$BE419FAD-D368-4DB5-A0AD-67FF2D06776F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"455f7028ce20d8220e961432a243eeaf98da4981","datavalue":{"value":"inner model","type":"string"},"datatype":"string"},"type":"statement","id":"Q732054$44EE3675-ACFC-43BD-AE50-14ABA35B7266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66cabac1d9c0f192ae0509f1bcd62615b02663d7","datavalue":{"value":"fine structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q732054$26D0FD35-A42B-42E6-9C96-12C085D84B28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29777a565010d1fbcf42ab7f0515477b4fdcb263","datavalue":{"value":{"entity-type":"item","numeric-id":647331,"id":"Q647331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732054$59DDDD76-E729-4952-B70C-47B7B4A3B07F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cf76eb1ad6b6800930767644a3f137783ccd42eb","datavalue":{"value":{"entity-type":"item","numeric-id":330038,"id":"Q330038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732054$FE9B66D4-EACD-4CAF-9E4B-1859B9C75913","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":"Q732054$3E82CFAB-F57E-449C-9C07-661FD8175803","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa6d59fa727868069628f5a57ffd3ed2616e3b14","datavalue":{"value":"https://doi.org/10.1016/j.apal.2009.06.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q732054$83A97BDE-13BF-4939-ADA6-5F92096FE4CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4455d3a246cfc96ac9bf58ccad5b9ad38d5c15aa","datavalue":{"value":"W2065550657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732054$86389632-41AF-408E-8148-D4B14CD88573","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"100b65a5987fbeb41d25d1ec0bb12156e174298a","datavalue":{"value":{"entity-type":"item","numeric-id":4106206,"id":"Q4106206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732054$080D6E03-C82F-4C89-AC6F-C660963F691F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"399b94ee967063edea579b8ec70ea5460958ff4f","datavalue":{"value":{"entity-type":"item","numeric-id":3160564,"id":"Q3160564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732054$70C295BB-DC13-4073-967F-5EB5B6C6DE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f6d0bce71699c4759b52fafe96d92f3ba0daab8","datavalue":{"value":{"entity-type":"item","numeric-id":1066894,"id":"Q1066894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732054$AFA4F827-7F97-452F-908D-288006A32CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e31389e130089d13c331acd856e82f87095a9a","datavalue":{"value":{"entity-type":"item","numeric-id":4742774,"id":"Q4742774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732054$BF80C46E-93C3-43D7-BABA-EB2B9A3C2C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49e4bceb5f821f768a0b1a97565f676ad17c4b4b","datavalue":{"value":{"entity-type":"item","numeric-id":3029006,"id":"Q3029006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732054$4681F6D2-38F7-471F-8338-35DCDCC7AD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda377ddede77c657ceb567fc085ee9e287ea69e","datavalue":{"value":{"entity-type":"item","numeric-id":5692257,"id":"Q5692257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732054$48B14A4F-DA07-482F-96B9-55679CED515B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ca31230c67c3d2f888b5cfd4340c67d61e5719","datavalue":{"value":{"entity-type":"item","numeric-id":5950797,"id":"Q5950797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732054$021908D3-E8EE-4358-943D-3D20BEF45816","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"610ac2e5f5f917d703b82e897560927a69e1cb2c","datavalue":{"value":"10.1016/J.APAL.2009.06.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732054$B5E7A2E2-DB45-4C8C-9897-443379381030","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22cc8862b1098a213160609623b58ced9f2bfd8a","datavalue":{"value":{"entity-type":"item","numeric-id":2789882,"id":"Q2789882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbb96681fb69b0d6d096fb9208daed058de31435","datavalue":{"value":{"amount":"+0.7929245829582214","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":"Q732054$570623D1-0B4E-48D5-95DD-FCA1C2F26E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daa00250a1eaa92cc46b03245cc44b7e9abed268","datavalue":{"value":{"entity-type":"item","numeric-id":4333463,"id":"Q4333463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"431555db0acabe1d45b3b60a5eed75bde98aaea4","datavalue":{"value":{"amount":"+0.7884162068367004","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":"Q732054$C63785D4-5A93-4385-A60F-18000B50271F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e6b573a5841519dc9f440925d16333aabe16430","datavalue":{"value":{"entity-type":"item","numeric-id":4955695,"id":"Q4955695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f596dce5a5584e59cd2545eea1e5d78b31501f19","datavalue":{"value":{"amount":"+0.7864302396774292","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":"Q732054$B879D55B-8239-4F51-98DC-EAEEF12128C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f17e2cc9935fb900851c7d25325655d3a0a10051","datavalue":{"value":{"entity-type":"item","numeric-id":4934565,"id":"Q4934565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d787e929e1bb33b2c4b3a703b0cc951c2420ef7","datavalue":{"value":{"amount":"+0.7858089208602905","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":"Q732054$DD8A7869-5BB0-4B9B-A614-2898B8411D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"574b2f1cfdd41a5234aca27f599f89273a0b43e5","datavalue":{"value":{"entity-type":"item","numeric-id":4379935,"id":"Q4379935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7539c10f1191554ca99c91eb4017d224a00f3d06","datavalue":{"value":{"amount":"+0.7851287722587585","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":"Q732054$72D06441-CBED-46B8-BECE-B5EE288215D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Covering theorems for the core model, and an application to stationary set reflection","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Covering_theorems_for_the_core_model,_and_an_application_to_stationary_set_reflection"}}}}}