{"entities":{"Q609760":{"pageid":611536,"ns":120,"title":"Item:Q609760","lastrevid":63147120,"modified":"2026-04-11T10:56:31Z","type":"item","id":"Q609760","labels":{"en":{"language":"en","value":"A covering lemma for HOD of \\(K(\\mathbb R)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5822355"}},"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":"Q609760$AA847ADE-5BFA-403F-9D5F-7665C536F9BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d5613293aa561166d39716c91be383d96bec175","datavalue":{"value":{"text":"A covering lemma for HOD of \\(K(\\mathbb R)\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q609760$FC11F0A9-78A7-48CF-9CCD-90377ED35454","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92a340f44f60bdc3784b651ef89faac294a11c4a","datavalue":{"value":"1217.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609760$9C1A063D-2E6F-4ED8-A4C3-5A76B796D889","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"babccab00fbbd443bb6df18af137fa35e3968367","datavalue":{"value":"10.1215/00294527-2010-027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609760$FB1BFDC0-7D86-4F42-A156-0461BA37B8D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a80f1f4c099461f511b88fc3d64a1c7c16946618","datavalue":{"value":{"entity-type":"item","numeric-id":412054,"id":"Q412054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609760$7ACB98AA-36D1-4323-ABF1-4EE5B5B49C62","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609760$B2A87750-96AE-4F26-B167-E77F385F80D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f7a6f873bf5c0d11b62fa3d4700ead7fb1e1f3b","datavalue":{"value":{"time":"+2010-12-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":"Q609760$1264E907-F310-499A-A8CE-E2EFBDB93568","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"32e2c11d5a3b072e66eacd3fda732d2a1f19217d","datavalue":{"value":"This is the third in the series of the author's articles on covering lemmas for inner models. In the first of the series [Arch. Math. Logic 41, No.~1, 49--54 (2002; Zbl 1022.03031)], the author developed the covering lemmas for \\(L({\\mathbb R})\\), as well as \\(\\text{HOD}^{L({\\mathbb R})}\\), under the assumption of \\(\\text{ZF}+\\text{AD}\\) and the nonexistence of \\({\\mathbb R}^\\sharp\\). In the second [Arch. Math. Logic 46, No. 3--4, 197--221 (2007; Zbl 1110.03044)] and this paper, the author generalizes these results to an inner model called \\(K({\\mathbb R})\\). \\(K({\\mathbb R})\\) is built with mice that are associated to \\({\\mathbb R}\\)-complete measures, and is less general than Steel's \\(\\mathbf{K}({\\mathbb R})\\), which is built with mice that are associated to sequence of extenders. This paper proves the covering lemma for \\(\\text{HOD}^{K({\\mathbb R})}\\).  The main theorem states that under \\(\\text{ZF}+\\text{AD}\\) and the nonexistence of an inner model with \\({\\mathbb R}\\)-complete measurable cardinals, every set of reals of size \\(\\geq \\Theta\\) (the supremum of the ordinals that are the surjective images of \\({\\mathbb R}\\)) can be covered by one in \\(\\text{HOD}^{K({\\mathbb R})}\\) of the same size. A key ingredient of the argument is the version of a theorem of Woodin's adapted to \\(K({\\mathbb R})\\), more precisely, \\(K({\\mathbb R})\\) is a symmetric generic extension of its own \\(\\text{HOD}\\). Though this follows from Steel's analysis for \\(\\mathbf{K}({\\mathbb R})\\), the author provides his own arguments. As a corollary, the author obtains that, assuming \\(\\text{ZF}+\\text{AD}\\), the existence of an inner model with \\({\\mathbb R}\\)-complete measurable cardinals is equivalent to the existence of a set of ordinals that has size \\(\\geq \\Theta^{K({\\mathbb R})}\\) but no covering set in \\(\\text{HOD}^{K({\\mathbb R})}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q609760$9F77A8C9-F995-4791-B38E-93AC1ACC89E6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"004a10a5c768333f1f56f1c2cf5fda45c1f014f7","datavalue":{"value":{"entity-type":"item","numeric-id":512140,"id":"Q512140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609760$960AB578-5B59-495A-A96A-57EE6ECC3061","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609760$E9985B56-F956-447E-8DF8-9F242D81FE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609760$AE345B23-82A9-4440-A15B-8464A1B3829D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d0fbfdd56746b1fac4d86fe54b6e7e79ffa6e12","datavalue":{"value":"03E60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609760$BCA8EF94-A46F-4F9D-BEE7-07C048B34401","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"101a23aae375c2e6b0e16f71a7ce4209692e0e35","datavalue":{"value":"5822355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609760$5D62C51D-7F42-46CE-9751-46665A5BFE76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b12abbcb0a7b047891aaa5ec845e0574a8f7e04","datavalue":{"value":"descriptive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q609760$6A13B105-BC20-486C-B7F9-1F8E7915803C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56adf33694e786dc761f163866775cf1c3cbb831","datavalue":{"value":"determinacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q609760$7A66335B-DE83-4589-BF4F-7218DA2325CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66cabac1d9c0f192ae0509f1bcd62615b02663d7","datavalue":{"value":"fine structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q609760$C593D98A-F826-46BF-8654-653524D2C2C2","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":"Q609760$08598607-1F00-4CE4-92B7-2DF0CF371D5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb26c8e8d73c0e066db89ad7a184177c57e7d4ce","datavalue":{"value":"https://doi.org/10.1215/00294527-2010-027","type":"string"},"datatype":"url"},"type":"statement","id":"Q609760$0C2BEB18-D08A-4950-96A7-49918DC650A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"298a99b008da3b34ef184cd2ac37ac6243d443ac","datavalue":{"value":"W2001409760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609760$B92BBD2A-B962-48AF-A89A-5FC4EC47B27B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ae23c6e933b729ae9e4d56185660da94ef182a0c","datavalue":{"value":"Q124808340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609760$9A3B8AA6-2D0D-4A9D-8218-6B880D6A4439","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9b47506d67227bfde2ee3a05187f1915ca74b9a","datavalue":{"value":{"entity-type":"item","numeric-id":877257,"id":"Q877257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"819b036cecaef5131abea258066403f708f6240a","datavalue":{"value":{"amount":"+0.7993586","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":"Q609760$A081D795-5868-4598-A0ED-AE50597ED12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e2c8c99d92377e3b55be83561bb7a6bb97310f","datavalue":{"value":{"entity-type":"item","numeric-id":3053905,"id":"Q3053905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e28a583b659ac3da5fc66c6976679b31f379eb49","datavalue":{"value":{"amount":"+0.78972733","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":"Q609760$BABEA610-18E8-47CC-822C-971918000090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00bdd19043d26efc6adbd7461c7ef4e62540d3a8","datavalue":{"value":{"entity-type":"item","numeric-id":1295373,"id":"Q1295373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8375bedafd8d16e3745cb2a2287ebe26a19ab7f0","datavalue":{"value":{"amount":"+0.76725554","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":"Q609760$7D916E28-70C1-4756-9A80-4BC52B1F013C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd73eeddf423aaf6179e50e92f5548f5eec16cb","datavalue":{"value":{"entity-type":"item","numeric-id":3222184,"id":"Q3222184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5851d76ab31bcc5089bdaf696fe744128107196","datavalue":{"value":{"amount":"+0.7656174","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":"Q609760$8221A3D2-A45A-462F-9D7A-B47D20E83F57","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":"f129060c3deaadb50843a35c3df952459e8447d3","datavalue":{"value":{"amount":"+0.74608064","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":"Q609760$B225C165-2B57-41C4-960F-897281B11AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a2d7d099689540acae8ca53669b29f0480f7e02","datavalue":{"value":{"entity-type":"item","numeric-id":3029006,"id":"Q3029006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78824c70efcdfffe18f252015a80205eb7d15365","datavalue":{"value":{"amount":"+0.73633254","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":"Q609760$BE1324B1-E51A-45B4-84F6-3FFFB58BECC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97d68262547c1167c706348965c7495299ae6385","datavalue":{"value":{"entity-type":"item","numeric-id":4837675,"id":"Q4837675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0e704bea803a2c1421618731a57d5fc18921cc1","datavalue":{"value":{"amount":"+0.73437405","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":"Q609760$3EA77966-DC7E-4EF4-BA1B-88391AB1FAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c02210d2ccf298b865a3d627b7eb088b2cfd155","datavalue":{"value":{"entity-type":"item","numeric-id":3053904,"id":"Q3053904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"479ab9a2c4c72e1266b4f833d5536068a1cc92ed","datavalue":{"value":{"amount":"+0.7336632","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":"Q609760$B2EEACCD-BDA1-405B-94C9-6BFCF62C6FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d2780a2237f32ac8732d5f64a5f71e6fb222fe","datavalue":{"value":{"entity-type":"item","numeric-id":5744320,"id":"Q5744320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f62e7e6c7d2ac0501dbf358b1248bf75e1bc5ce","datavalue":{"value":{"amount":"+0.71631217","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":"Q609760$10FD97E3-EBD4-4E44-AC19-5785B67037F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb05ec5ada53c11b028428bba82ed78a56368695","datavalue":{"value":{"entity-type":"item","numeric-id":3199411,"id":"Q3199411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23d1af4e285abf80347692535e83954fc53bc6f9","datavalue":{"value":{"amount":"+0.7153176","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":"Q609760$00227981-A088-4970-830E-8CA84FC81328","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A covering lemma for HOD of \\(K(\\mathbb R)\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_covering_lemma_for_HOD_of_%5C(K(%5Cmathbb_R)%5C)"}}}}}