{"entities":{"Q5966622":{"pageid":8143418,"ns":120,"title":"Item:Q5966622","lastrevid":41811398,"modified":"2025-05-08T15:09:29Z","type":"item","id":"Q5966622","labels":{"en":{"language":"en","value":"Determinacy and the sharp function on the reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 39204"}},"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":"Q5966622$08EA277F-E212-42E7-A3E8-9105609B6FAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b08a6db912b5a9af6ba27118432a3008789677e8","datavalue":{"value":{"text":"Determinacy and the sharp function on the reals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5966622$E360F909-8BBF-4042-B3FA-552CBC2C8F71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cae913643cb5cfd9f39c0b986a938403a5d840cb","datavalue":{"value":"0745.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966622$708E6095-66F6-4AC0-B2E1-C8BE1D37A179","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19efcc9e441db72bdebf738044fea7259c6f9fb6","datavalue":{"value":"10.1016/0168-0072(92)90037-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966622$1B04C4CF-6325-4DFA-801A-C6DD71AFAC3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8efe5976544b76f8fc548262c3e23e14c19fe020","datavalue":{"value":{"entity-type":"item","numeric-id":1182472,"id":"Q1182472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5966622$38CCCD5F-2691-4820-9CD4-108AE4B17C07","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":"Q5966622$1433F3D2-7336-469D-8074-C971CB966690","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5966622$8896DDE9-05D0-4D72-827D-2A5D20C70C81","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"62cb732f63fe54f20f0f9090e9953766d94a0d29","datavalue":{"value":"This paper characterizes in terms of determinacy the strength of the existence of an inner model which satisfies that for every real its sharp exists. Martin in the 1970's showed that measurable cardinals imply the determinacy of \\(\\omega^ 2 - \\Pi_ 1^ 1\\) games and that the existence of \\#'s is equivalent to the determinacy of \\(\\bigcup_{\\beta < \\omega^ 2}\\left( \\beta - \\Pi_ 1^ 1 \\right) \\) games. These are the first \\(\\omega^ 2\\) levels in the Hausdorff difference hierarchy over the \\(\\Pi_ 1^ 1\\) sets and are very low in the hierarchy of \\(\\Delta_ 2^ 1\\) sets. Two classes of sets, \\((\\Pi_ 1^ 0)^*\\) and \\((\\Pi_ 1^ 0)_ +^*\\), are defined which are strictly between \\(\\bigcup_{\\beta < \\omega^ 2}\\left( \\beta - \\Pi_ 1^ 1 \\right) \\text{ and } \\Delta \\left( \\omega^ 2 - \\Pi_ 1^ 1 \\right) . \\) Define \\(\\#_ 1\\) to be the (partial) sharp function on the reals. It is shown that \\(L[\\#_ 1]\\models\\) ``every real has a sharp'' implies the determinacy of \\((\\Pi_ 1^ 0)^*\\) games. And the existence of indiscernibles for \\(L[\\#_ 1]\\) is equivalent to the determinacy of \\((\\Pi_ 1^ 0)_ +^*\\) games.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5966622$FE55BABA-B0A9-4498-BC1A-DAEEC3B0ABBC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d0fbfdd56746b1fac4d86fe54b6e7e79ffa6e12","datavalue":{"value":"03E60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966622$F3DDE5D5-68EA-4B5A-B016-D365A5C22DEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6783571b7463d4daf5d2bca8d5dfa32e1577a6b5","datavalue":{"value":"39204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966622$35FF64D7-15D5-4390-AC09-85C87430035D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0945965689e5bceccccb0189edeac3697d2fb90a","datavalue":{"value":"sharps","type":"string"},"datatype":"string"},"type":"statement","id":"Q5966622$24636AF9-AE3E-4F81-B250-C7DA2681BAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56adf33694e786dc761f163866775cf1c3cbb831","datavalue":{"value":"determinacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5966622$697AEACF-7482-4302-95E4-FB3BCDD2C403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"455f7028ce20d8220e961432a243eeaf98da4981","datavalue":{"value":"inner model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5966622$EC574BE4-9A65-4B1B-AEEC-6BD59FCD328D","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":"Q5966622$95EE060F-57EF-48A7-870D-96C6DE7CCB5D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97057d7afbb202523c7b944970819b7821a57458","datavalue":{"value":{"entity-type":"item","numeric-id":3476807,"id":"Q3476807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5966622$24F3C110-8978-45C8-A487-04B17B60556A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3857c286def95e05543f5d334c45d8acfa2d21e","datavalue":{"value":{"entity-type":"item","numeric-id":4876310,"id":"Q4876310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5966622$E8AB13FC-F15A-4F74-8B76-19C771F95784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9940c0e06b26b1101c84817c76f74d0dadecc1","datavalue":{"value":{"entity-type":"item","numeric-id":5817866,"id":"Q5817866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5966622$D5832703-8F34-4DDB-8D67-8B48D5574595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0cc4a183a16ac598a5db517e80e2022883acbb7","datavalue":{"value":{"entity-type":"item","numeric-id":4182737,"id":"Q4182737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5966622$651F84D4-A5E4-444F-87DC-D662DDA54CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5966622$BBDB540F-5DB9-46D4-923F-153D36B683F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c78020da47e0eece67216713da75789cba236d83","datavalue":{"value":{"entity-type":"item","numeric-id":3228608,"id":"Q3228608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5966622$894724E9-A1EE-4DD3-B3B3-A78478C92534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"058c9849d1a01c16d1b1868cdad37665faa51283","datavalue":{"value":{"entity-type":"item","numeric-id":5619096,"id":"Q5619096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5966622$074A78EA-1A08-42E5-AFF7-29CBE1631955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8e8cc36d2b41104889e91dde28a77d4c70be46","datavalue":{"value":{"entity-type":"item","numeric-id":1229718,"id":"Q1229718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5966622$C4C36EF4-6993-4BE0-8E79-FACB07E18B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ffed035003a07fe22ab4edff0f17bdfdb93781","datavalue":{"value":{"entity-type":"item","numeric-id":1139038,"id":"Q1139038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5966622$8093828B-54E5-4E2B-B3ED-14CCF0A2E7B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e0d7958ffb7c54e3deb8e9913363113db783f6b","datavalue":{"value":{"entity-type":"item","numeric-id":5905457,"id":"Q5905457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","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":"Q5966622$A8FE3CF5-CDA9-4A4B-A642-D1224D33B267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"801d3a03e53007b014fa6725ad6257120fd85a92","datavalue":{"value":{"entity-type":"item","numeric-id":1194242,"id":"Q1194242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffc06fdbf0423e85b139e3a1df2cea734a90b182","datavalue":{"value":{"amount":"+0.95817906","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":"Q5966622$73BE639D-62F8-4376-BCC2-34F51C69D8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83623d4a27cd1dcd0eb08c5b8cce87d60328d934","datavalue":{"value":{"entity-type":"item","numeric-id":4876310,"id":"Q4876310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8afa78b089997d89f711e1be3fe354e6b16c26ec","datavalue":{"value":{"amount":"+0.9264163","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":"Q5966622$0E034620-E649-4A49-90F2-D4BC20097060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b59e86d167aa4a5e731b744e57973522effed9d","datavalue":{"value":{"entity-type":"item","numeric-id":3053909,"id":"Q3053909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c3842c0fde0551e4087b9140acebd2e7bfa2145","datavalue":{"value":{"amount":"+0.88556826","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":"Q5966622$CC8DDC48-02AA-4962-AD48-F04304793408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da63b5d3c7763e207cdd8b62f3254b5f8112a91","datavalue":{"value":{"entity-type":"item","numeric-id":906823,"id":"Q906823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ff45a63641f670adcf21bf5e98f2768e55375d8","datavalue":{"value":{"amount":"+0.87867504","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":"Q5966622$5C10EB33-AD70-46FA-8190-C0FC6160C4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f4d775b31a3136e61c29a2c417ea8fc7bf3abb","datavalue":{"value":{"entity-type":"item","numeric-id":3476807,"id":"Q3476807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df1e6bade7b6b5ac10cd41e7b65a368577ca269b","datavalue":{"value":{"amount":"+0.8782785","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":"Q5966622$66B21895-0777-4AAF-B889-223294A60A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1a55c88c94cc880167e64778423a5d7868429c4","datavalue":{"value":{"entity-type":"item","numeric-id":4875634,"id":"Q4875634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b18746cc715bebbcb070c3da4fe15d63c36884e","datavalue":{"value":{"amount":"+0.8755916","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":"Q5966622$12A24A5B-0323-40DA-AD3A-3E878C60B1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"536caee6d7af99499d96d8f492e74a7e834c91d8","datavalue":{"value":{"entity-type":"item","numeric-id":2878783,"id":"Q2878783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff0e01a83c489725ff45e8e84990e614ae4849e5","datavalue":{"value":{"amount":"+0.8685645","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":"Q5966622$D43B422D-3A96-4A9E-8BCB-FF646A94300F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"907632fa37aaf55480a3bbaee1e33893db2c3cc2","datavalue":{"value":{"entity-type":"item","numeric-id":6062491,"id":"Q6062491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"271ea56cdc25e9d0f3383b450e44254edee28f3f","datavalue":{"value":{"amount":"+0.8664293","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":"Q5966622$72D43951-7074-42E0-BFFA-C6EA3A6F8DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c3b4acf994ed10568905d1d3eb2f62389cb7d94","datavalue":{"value":{"entity-type":"item","numeric-id":3487339,"id":"Q3487339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95b3346dbaf9afcbdf9181aa46d8633ad9976227","datavalue":{"value":{"amount":"+0.8650458","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":"Q5966622$7267696D-58F6-4176-BE75-E5E3498DA72C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5966622","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5966622"}}}}}