{"entities":{"Q2883843":{"pageid":2894568,"ns":120,"title":"Item:Q2883843","lastrevid":42442196,"modified":"2025-06-27T18:59:19Z","type":"item","id":"Q2883843","labels":{"en":{"language":"en","value":"Suitable extender models. II: Beyond \\(\\omega \\)-huge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6034173"}},"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":"Q2883843$BBAF31BA-1CF5-4A5B-B875-840306B753BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bb227348379516c3d6612d679208f01b2726abe","datavalue":{"value":"1248.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883843$BF32F072-5B6D-4514-B035-0D3634F42847","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d95ebdcb9ad13059519853271a2847bce1157071","datavalue":{"value":"10.1142/S021906131100102X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883843$D8DEA106-1A09-4A0C-811C-7BEF0E088C6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1aa73e14157c558b4cd52b4dcdb69d55d5554707","datavalue":{"value":{"entity-type":"item","numeric-id":251404,"id":"Q251404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883843$E36BA2B3-43B3-48BE-900E-278B7F785A46","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7c127e90f3bdb626ec3e36ebc57f0604031b78a6","datavalue":{"value":{"entity-type":"item","numeric-id":2732505,"id":"Q2732505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883843$FA9C348E-297D-4EB0-AC6E-38CB26FFBFE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43d88f7d78ed551eaafdba0e8b65f63e3ea90e6c","datavalue":{"value":{"time":"+2012-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2883843$DE40ABE2-1E89-41C9-BAE8-471CEE174E51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883843$60462437-F47D-4B62-9050-6D69D8F45F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883843$8108E15F-DE8D-45EF-9FDF-B90E5FB0E65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883843$387A53E9-D6A8-4997-9758-4962FBF1BDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883843$9404D2CA-7D24-4F73-938B-FBF071BD960A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d0fbfdd56746b1fac4d86fe54b6e7e79ffa6e12","datavalue":{"value":"03E60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883843$21CA76B7-C686-451D-8379-5981FE5F8AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ade5de9b5f8ac4fa93618c0e9b5cef64dcc691b7","datavalue":{"value":"03E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883843$ED491A0A-164A-4947-902D-26937C030B90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8734b55b91396996bae67169a623c2946f6bc09","datavalue":{"value":"6034173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883843$3EDB97FB-7E59-4BCB-8788-D59ADEE55D83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9987e4b40d21a30cc951ebd7903141edbb961fd1","datavalue":{"value":"extender","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883843$C6C11E5F-04A0-4FFC-AF9F-459BF2F65D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35f5b7ce138372608f03e1c8894162363ff1bdf9","datavalue":{"value":"inner models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883843$DAB8ED43-7E90-4E1D-8685-9589359D74B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58ceb89dcc5a025cb885d95184fb2b727e2af6dc","datavalue":{"value":"supercompact cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883843$E9896E79-E308-4BCE-9837-03E59A2158BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7767e91d61710f5f03027ba9182ee7a4a8b9e3","datavalue":{"value":"\\(\\omega \\)-huge","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883843$6E11518F-A604-43EC-A584-EBF9145043E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bc845a71aa77f1f075c1eb88e1b898365e4d595","datavalue":{"value":"determinacy axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883843$6011FDF9-8FAE-407E-84A3-39E6F3F000D1","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":"Q2883843$BFB7CC5F-CF4C-4468-9DEC-89E20B2D49D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"18420f2ec556e71b590bb5270e21b91ac7856793","datavalue":{"value":{"entity-type":"item","numeric-id":3094356,"id":"Q3094356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883843$E45E80B2-D6CD-467A-834D-FDB3376A9436","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f44812b3ff14cdf4a3b7d8243aa7847830ad33dc","datavalue":{"value":{"entity-type":"item","numeric-id":5311728,"id":"Q5311728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4a02647eaf7ab1077241129806ae3e07ce2e41d","datavalue":{"value":{"amount":"+0.85932255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883843$6229DB9F-F690-4688-B6D9-528CDB5E0543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2633192babadc0a361303751581a537b08b4febe","datavalue":{"value":{"entity-type":"item","numeric-id":3063978,"id":"Q3063978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9823583d239b8feaff14cb8ba9db53be1415f1c0","datavalue":{"value":{"amount":"+0.85112596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883843$0264E382-4583-43A0-AFEA-AAF200F1EDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f531bc62fce777759030f7f55975e9b27216c678","datavalue":{"value":{"entity-type":"item","numeric-id":3722479,"id":"Q3722479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4d0ec5f38e24f9c0d9d61008931b3b2d035a551","datavalue":{"value":{"amount":"+0.8502432","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883843$A7475B55-1856-4CB1-A42E-F77C70055683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faee662f4b69879f362b6733f28f2a3ae11ef824","datavalue":{"value":{"entity-type":"item","numeric-id":3118396,"id":"Q3118396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8beeeb03dbb529168dd05335b1065cb6e15baf55","datavalue":{"value":{"amount":"+0.83456194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883843$AAF258C7-796A-484A-9B70-3AF998F2A63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e531a102e5ea57af48d0909790da1c428d13f8f7","datavalue":{"value":{"entity-type":"item","numeric-id":1935372,"id":"Q1935372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"418d2b0b56fd84e2405247530bd7c98e0d5f6ba5","datavalue":{"value":{"amount":"+0.8328109","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883843$0163A142-3F66-409D-8670-01CB656D3E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd0e5a0537984b4e6d07b5ffd2a6b574a1a8bc8b","datavalue":{"value":{"entity-type":"item","numeric-id":3464624,"id":"Q3464624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"923b32b1b24b708fe062f4e2e9417c7bf9eab0d6","datavalue":{"value":{"amount":"+0.832647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883843$A49CB924-34FE-4F8B-AC36-8020C1A77021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0191e75a29cca4c213a6a1fbd8c18a72da439291","datavalue":{"value":{"entity-type":"item","numeric-id":3798655,"id":"Q3798655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc250aef49d5add2f7088ff1ff371caef06708b6","datavalue":{"value":{"amount":"+0.83032084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883843$D1725759-47C0-4BDF-8D3F-BAFB7C8E4834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"412656c305df303d6fc46f6c3733e63a969b1ff6","datavalue":{"value":{"entity-type":"item","numeric-id":3166614,"id":"Q3166614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"642136122e348baaa7252a842e0f4a12d287c302","datavalue":{"value":{"amount":"+0.826108","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883843$EB8E0320-B196-4318-8031-C2A53CDD249E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"405e81e9a178afecc3e20dd8f03b0cbd5947ccf8","datavalue":{"value":{"entity-type":"item","numeric-id":3822164,"id":"Q3822164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b02af185cb7b1dd727d7d743531a16957f3b19d","datavalue":{"value":{"amount":"+0.82605064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883843$6150CD44-E999-4B33-AA27-3394AC95599A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1496282d88710998a1a31b7cdf3e97b780ce778b","datavalue":{"value":{"entity-type":"item","numeric-id":4356742,"id":"Q4356742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f0e3b696f069d819aab50b2c836c995e5c0acf0","datavalue":{"value":{"amount":"+0.82581985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883843$71218B76-1630-4204-A4D3-D6D58904FBB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80c2256e2e1c3fd42dccbe52eae3e6fe6db4c407","datavalue":{"value":{"text":"Suitable extender models. II: Beyond \\(\\omega \\)-huge","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2883843$7D506247-8342-4F2A-9157-D7A2E98589B3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"024b39d21e4ce2468a96f4a82fce1198fa3772f3","datavalue":{"value":"This journal-filling paper (more than 300 pages), referred to as Part II, is the continuation of [the author, ``Suitable extender models. I'', ibid. 10, No. 1--2, 101--339 (2010; Zbl 1247.03110)], referred to as Part I. The author urges the reader who undertakes a detailed reading of Part II to have Part I available for consultation, as Part II makes many references to its contents. Also, the introduction to Part I presents an overview of both papers.NEWLINENEWLINEPart II: The author considers large-cardinal axioms at the level of \\(\\omega\\)-huge. The original impetus for his study was to understand how these axioms transfer down to the suitable extender models of Part I. The investigation of the transference problem unearths an analog of \\(\\text{AD}_{\\mathbb R}\\) at the level of \\(\\omega\\)-huge. The author shows that the resulting \\(\\text{AD}_{\\mathbb R}\\)-like axiom transfers from \\(V\\) to suitable extender models. In addition, the transference proof reveals that there is a proper class of \\(\\lambda\\) at which the \\(\\text{AD}_{\\mathbb R}\\)-like axioms hold and the existence of this class is invariant under set forcing.NEWLINENEWLINEThe discovery of \\(\\text{AD}_{\\mathbb R}\\)-like axioms motivates the author to propose two conjectures: (1) the weak uniqueness of square roots at \\(\\lambda\\), and (2) the AD-conjecture at \\(\\lambda\\) (the subjects of Section 5 and Sections 6 and 8, respectively). For \\(\\mathbb M\\) a suitable extender model, the validity of either conjecture would show that all such determinacy-like axioms (ranked by a suitable ordinal parameter) transfer from \\(V\\) to a small generic extension of \\(\\mathbb M\\) and that a considerable initial segment of them transfer to \\(\\mathbb M\\).NEWLINENEWLINENEWLINENEWLINE[For part I see ibid. 10, No.\\,2, 101--339 (2011; Zbl 1247.03110).]","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883843$1BB48CEB-922F-49E8-ADDE-61AAAFCA7A7E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49ac28ac151a8a9103bbae52e8a00e91b3069fd7","datavalue":{"value":{"entity-type":"item","numeric-id":590477,"id":"Q590477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883843$47D61C41-6F8A-4704-B426-ED255B901B5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2883843","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2883843"}}}}}