{"entities":{"Q861814":{"pageid":863662,"ns":120,"title":"Item:Q861814","lastrevid":64905177,"modified":"2026-04-11T23:00:42Z","type":"item","id":"Q861814","labels":{"en":{"language":"en","value":"The least strongly compact can be the least strong and indestructible"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5121367"}},"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":"Q861814$97737D82-8E1E-4C99-8BB0-E634569A3DB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3b34067006ad465a3264e8e0289d6c60f48b570","datavalue":{"value":{"text":"The least strongly compact can be the least strong and indestructible","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q861814$954A84DB-775F-48F9-8E14-D39B98A3A231","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4656094a6cfef55b5211c83fe27dc4cdbe9d3655","datavalue":{"value":"1115.03073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861814$514CC3B2-9118-4285-89CE-AB5F131335E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcf534c7b1523a87fbcb9b465fca131c004067a9","datavalue":{"value":{"entity-type":"item","numeric-id":167892,"id":"Q167892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861814$AF886BDC-DE45-49C1-ACE6-959F20C32140","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":"Q861814$04565EC1-78F4-40CB-93AF-806A8A1828C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"539267c31a7d3bcf05b384ccb35bcc69e5255213","datavalue":{"value":{"time":"+2007-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q861814$B8BDE687-9D95-4F31-BE07-187E1B7AD573","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6f480be320049003e83b02d7aa1a2eadaf39fbb5","datavalue":{"value":"The following three theorems are proved. (A) Suppose \\(V\\vDash \\text{ZFC}+ \\text{GCH}+\\kappa\\) is supercompact. Then, in some forcing extension, (a) \\(\\kappa\\) is both the least strongly compact and least strong cardinal, and (b) each of \\(\\kappa\\)'s strong compactness and strongness is indestructible under \\(<\\!\\kappa\\)-directed closed partial orderings which are also \\(\\kappa\\)-strategically closed. (B) Suppose \\(V\\vDash \\text{ZFC}+ \\text{GCH}+\\kappa_1\\) is supercompact \\(+\\,\\kappa_2 < \\lambda\\) and \\(\\kappa_2\\) and \\(\\lambda\\) are the smallest cardinals above \\(\\kappa_1\\) such that \\(\\kappa_2\\) is \\(\\lambda\\)-supercompact and \\(\\lambda\\) is inaccessible. There is then a partial ordering \\(\\mathbb{P}\\in V\\) such that, in \\((V_\\lambda)^{V^\\mathbb{P}},\\) (a) \\(\\kappa_1\\) and \\(\\kappa_2\\) are both the first two strongly compact and first two strong cardinals, (b) each of \\(\\kappa_1\\)'s strong compactness and strongness is indestructible under \\(<\\!\\kappa_1\\)-directed closed partial orderings which are also \\(\\kappa_1\\)-strategically closed, and (c) \\(\\kappa_2\\)'s strongness, but not its strong compactness, is indestructible under \\(\\kappa_2\\)-strategically closed forcing which is also \\(<\\!\\kappa_1\\)-directed closed. (C) Suppose \\(V\\vDash\\text{ZFC}+ \\text{GCH}+\\kappa\\) is supercompact with no Mahlo cardinal above it. Then, in some forcing extension, (a) \\(\\kappa\\) is both the least strongly compact and least strong cardinal, (b) there is no Mahlo cardinal above \\(\\kappa\\), (c) \\(\\kappa\\)'s strong compactness is indestructible under \\(<\\!\\kappa\\)-directed closed forcing, and (d) \\(\\kappa\\)'s strongness is indestructible under \\(\\kappa^+\\)-weakly closed forcing notions satisfying the Prikry condition.","type":"string"},"datatype":"string"},"type":"statement","id":"Q861814$F590A421-594D-4BC3-80BE-21C33FFCF26C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3b505131a94c07467560b76707b78e01a9a72b95","datavalue":{"value":{"entity-type":"item","numeric-id":412068,"id":"Q412068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861814$E2A64831-D09D-4CBC-A021-ACA87C265BD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861814$E79A96D3-A6E9-4EA7-ACAD-DBC6D285D587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861814$96F24BBB-6BB4-46B2-9A9B-CC7FBDCDED3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4768c0523b8317efc141db95df27d09866cd5677","datavalue":{"value":"5121367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861814$88752B19-5713-4DD0-AB9D-33C428F922D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9907c21cbac3360f7e105b987a79569c68a35f92","datavalue":{"value":"strongly compact cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q861814$54F955A7-F9CB-430A-B200-8EDB109A9FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7782a17c695d96628c97022dd9f9d7f5d3b25a3e","datavalue":{"value":"strong cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q861814$0B4A143D-3892-44EA-BFD2-B75ECCE4E690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6879defb7fca696eb789d4f3e9d8b8c22a60ade0","datavalue":{"value":"indestructibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q861814$1A723CCC-C708-44E3-BD73-D654F2AB344C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c69722ebd731bb9f265d2ebefbf6a791849991ad","datavalue":{"value":"Prikry forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q861814$F7385CAF-2B7B-4625-A0FD-9CA832FC7A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"916c3f67616dbc480f3286092b38c22bd7b4618f","datavalue":{"value":"Radin forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q861814$76F2F68D-0685-45BB-9D76-03B12365FD06","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":"Q861814$EFFDAD23-484E-47A3-B28C-6162D91C134C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"708f40281aab31809a85fb23b646388e44a5bd41","datavalue":{"value":"https://doi.org/10.1016/j.apal.2006.05.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q861814$475D9E4D-BCD0-43A7-9D06-01F3C73BEF9C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8f7e3088cc14cf0d18c675057788b59ee09e31a","datavalue":{"value":"W2033514078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861814$4DE70532-3C5D-4D28-BF09-F4E30AE11C9A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c4224851f48f78907893ec661ad00f583c02c0","datavalue":{"value":{"entity-type":"item","numeric-id":1423631,"id":"Q1423631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861814$60644A6E-94F4-4705-B3E1-DC0A62AF67B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120bacaa949e57eb0967a2bac13db711adf87001","datavalue":{"value":{"entity-type":"item","numeric-id":2717642,"id":"Q2717642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861814$A6411008-A06C-496B-B1A8-027FA928DA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce62df9b7e92928717536166c9ccf5db791c6039","datavalue":{"value":{"entity-type":"item","numeric-id":5928310,"id":"Q5928310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861814$EF67AFB0-067C-40FD-89F9-BC61EA21A490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cc3ad3d7b200d2dc6ac817d0c3b4d4ca5b1395e","datavalue":{"value":{"entity-type":"item","numeric-id":4254689,"id":"Q4254689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861814$49B3C0F1-8567-4935-938E-5696C9D91625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7886548d37b49d1e468e513bd09eb5d989afc3","datavalue":{"value":{"entity-type":"item","numeric-id":2765579,"id":"Q2765579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861814$A1613DDB-564B-4289-88E4-517D351AE47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad4894230970303ba2a5fcdc2e203bbd56a65f0","datavalue":{"value":{"entity-type":"item","numeric-id":2732507,"id":"Q2732507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861814$C125BD43-76DC-4C49-A17B-9A51EAA90A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5963a2f9e989c283f8e206ca7f177df52be2e093","datavalue":{"value":{"entity-type":"item","numeric-id":1105593,"id":"Q1105593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861814$0A3C3ADC-73E5-44A9-8235-504968CDD559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792619787fc92a8791f04699f311caaa4a52e7c3","datavalue":{"value":{"entity-type":"item","numeric-id":1114682,"id":"Q1114682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861814$5D2BDC93-D9DB-4FFD-812F-5F77837385CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a3e94c65e6d25dab65fb854e5be27be6f6c9285","datavalue":{"value":{"entity-type":"item","numeric-id":4811323,"id":"Q4811323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861814$6E9A4E07-11B8-425E-8FE0-D53A53E66AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a958ec26fbb81fa8b95566e01b8e3d3d9aac2d","datavalue":{"value":{"entity-type":"item","numeric-id":5951514,"id":"Q5951514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861814$EE2F659A-AAF2-4AC0-8EE1-EABD496CCB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1345557c58f7d68902e895b47ec8c8f1b67128","datavalue":{"value":{"entity-type":"item","numeric-id":4262606,"id":"Q4262606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861814$27B5B3C8-57D6-45ED-A664-86459E44B72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae3d690bc842626ee45bff8cb0751e7260c4dd16","datavalue":{"value":{"entity-type":"item","numeric-id":1964017,"id":"Q1964017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861814$904B7FCF-765F-4D71-AD0C-2D29ABDA8C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eccdecc380f6d1e9f102b238e6f94721db0d68c","datavalue":{"value":{"entity-type":"item","numeric-id":4501093,"id":"Q4501093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861814$E281C09C-B693-44C0-906A-C49C46FDC248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8873a5b1a50afe14f8bea6132f10dee810201084","datavalue":{"value":{"entity-type":"item","numeric-id":4315890,"id":"Q4315890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861814$D488BCD6-6599-44A1-9ABB-5C267E7ADFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b12b8afcd7ce10003fb014a71b600b2bc6250c","datavalue":{"value":{"entity-type":"item","numeric-id":1247322,"id":"Q1247322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861814$FF11D494-293F-43C0-8B2E-69FE88A82BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f1cdc9848d5899dc8a00ef0320b59efb2d72c9a","datavalue":{"value":{"entity-type":"item","numeric-id":1846869,"id":"Q1846869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861814$3C070E0E-C99A-4531-926A-AC58135604A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f48f65b0d0bb8c9c02df48186fc1ecf0523097","datavalue":{"value":{"entity-type":"item","numeric-id":4154561,"id":"Q4154561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861814$3E960304-D03B-4AB0-8969-57145FA930F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76fee5b2543858157fdde37302f6ea4e367e4955","datavalue":{"value":"10.1016/J.APAL.2006.05.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861814$38EB6FD7-AA39-4ED8-9E73-A51AB97B5A65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55c7c0c2d2b54fd1d97cc6b09e5c9689aa7ad764","datavalue":{"value":{"entity-type":"item","numeric-id":435196,"id":"Q435196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c1b4cd2407c3aba89893827b287a4280e59577a","datavalue":{"value":{"amount":"+0.8732203841209412","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":"Q861814$C0E1F669-1B7D-4517-B117-A288E2E998CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4f99967a690ac2c6a77947bb6b165d326b4f19f","datavalue":{"value":{"entity-type":"item","numeric-id":4254689,"id":"Q4254689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5de660ae35a6b3e08784de94dd916ee9d5a4641e","datavalue":{"value":{"amount":"+0.8641710877418518","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":"Q861814$CDDC34C9-7801-490A-BA04-2F5CD88514AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb3f10f1392f56abd1be2966f5c49b47f3d8703d","datavalue":{"value":{"entity-type":"item","numeric-id":1396399,"id":"Q1396399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16ce0cd2e267210819ba42298af85a0a6a330331","datavalue":{"value":{"amount":"+0.845312774181366","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":"Q861814$43BCB4CF-FE36-4F96-8F1C-862D112F5262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9bd6341bb134a6b8c2583e0bb19c0f7ff94d06e","datavalue":{"value":{"entity-type":"item","numeric-id":5693601,"id":"Q5693601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15d8ca09eab819e6b856b81491e82effa1510999","datavalue":{"value":{"amount":"+0.8364271521568298","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":"Q861814$7D9A16AE-09AD-4D17-A5A9-1C8F7241123D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d0cbaa356f329dc9cb5096ca8c760a41ea3d872","datavalue":{"value":{"entity-type":"item","numeric-id":4351933,"id":"Q4351933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a14b89debbc9df86d2234cece38ae4099f07b2f","datavalue":{"value":{"amount":"+0.820754885673523","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":"Q861814$2A143139-4975-4E42-8D5E-3845815B460E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The least strongly compact can be the least strong and indestructible","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_least_strongly_compact_can_be_the_least_strong_and_indestructible"}}}}}