{"entities":{"Q1315458":{"pageid":1326208,"ns":120,"title":"Item:Q1315458","lastrevid":68442162,"modified":"2026-04-12T23:44:49Z","type":"item","id":"Q1315458","labels":{"en":{"language":"en","value":"A \\(\\Pi_ 2^ 1\\) singleton incompatible with \\(0^ \\#\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 513340"}},"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":"Q1315458$FD4BB07A-DC67-4864-ACA7-36882EFC0E14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96daf5935e812458c61f1cbe07ca0eea3b867f3d","datavalue":{"value":{"text":"A \\(\\Pi_ 2^ 1\\) singleton incompatible with \\(0^ \\#\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1315458$C7DBE2FD-230F-429E-8EC7-270178699C8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f362adbefe2e3e99443d4b637e8949cf40a35232","datavalue":{"value":"0801.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315458$4AFBF9A7-6C3B-4291-9591-3C5DBDD8C37A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1ff066a7fc6f109203eea39fbd3193ba90ffdd0","datavalue":{"value":"10.1016/0168-0072(94)90078-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315458$4B910C65-B848-4182-952F-55817B362735","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe30be52d266dd1412754952e04791a29019c0c8","datavalue":{"value":{"entity-type":"item","numeric-id":208732,"id":"Q208732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315458$C7595120-76B4-43C0-B7A3-BF2693292BA5","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":"Q1315458$256C726D-B83A-436F-AC2D-C00C6B95BC1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87ddefd6c83e22cbdb85f95663ace293dcff1d10","datavalue":{"value":{"time":"+1994-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1315458$BCFF9059-D789-4E4F-BDD0-7AC7574ED0B0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"07166bdba807c56cc9bdd440e9c7c9ecd4804f0d","datavalue":{"value":"It is shown that there is a \\(\\Pi_ 2^ 1\\) formula \\(\\Phi\\) of second- order number theory such that if at most one real can satisfy \\(\\Phi\\) in any model of ZF, if \\(V=L\\), then no real satisfies it, and it is consistent that some \\(b\\) satisfies it and \\(L\\) and \\(L[b]\\) have the same cardinals. The latter consistency is via a class forcing over the minimal model of ZF. The result is motivated by Solovay's conjecture on \\(\\Pi_ 2^ 1\\) reals.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315458$A1222BF9-0349-4BDB-BF53-FBB22C0BCD5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315458$E25EEF36-739E-42B1-8FAC-ECB468196250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315458$E24C4CD9-9234-429B-AC70-C27D8381A001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315458$3CADDC4B-9289-49D5-9BCA-64332B22368D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdde6dc19066fc004c5fd38a42dafb35917a4df5","datavalue":{"value":"513340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315458$207397EA-4B59-4BD2-BBEA-37F78B6F22C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3bfea75598a6af326b6cfa02421c4c09fbf6af9","datavalue":{"value":"0 sharp","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315458$CD340774-B07A-462A-BB0E-51B7A3B1AA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315458$A7F933C8-7C6D-4BDD-83D5-BF4A6B538BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15a185a60494eaa3da17cb02bef58fe44cad688b","datavalue":{"value":"class forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315458$735DFD9D-9621-4E8D-9057-D01D03675A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15a8d525dfac25149e4a5b21136d89326b670069","datavalue":{"value":"Solovay's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315458$C3FDD810-DED9-478A-9706-264AAC299798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1736ec2e394edb6fcdc58f0ef30336d245d4bf8c","datavalue":{"value":"\\(\\Pi_ 2^ 1\\) reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315458$20BD5922-718D-4367-80DC-DD1A25B84119","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"826db22c8ad0fdc537525e95eba03f39da931f90","datavalue":{"value":{"entity-type":"item","numeric-id":178041,"id":"Q178041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315458$4FC0F500-99E6-46CF-9007-69B2B2509FBE","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":"Q1315458$B1C59FAA-5EE7-46E5-8FC8-C2E63A332103","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"996cd2578ea4c0a7a1ea2c8b867fe3ac2af13e4e","datavalue":{"value":"https://doi.org/10.1016/0168-0072(94)90078-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1315458$3EDD36BC-5F33-4CAD-970B-73ECBD827B00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"174461ef2692647906e55d27a1ed44ec80f35d3c","datavalue":{"value":"W2065938029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315458$F7CF9D4B-D92D-40FB-97DF-D07511288017","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eccbcfd7e342f92ce474b668987130a65c2b46aa","datavalue":{"value":{"entity-type":"item","numeric-id":3921212,"id":"Q3921212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315458$D165390B-11F3-4DB8-8D65-E74CA09496EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d45e990202a28147a0b3d92756ad6005ac64bed4","datavalue":{"value":{"entity-type":"item","numeric-id":3669400,"id":"Q3669400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315458$0FDEF7B2-F33C-40D7-83D2-262C2704C842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27aadaedced7c7d0a32e641f99bf0398e1b5db33","datavalue":{"value":{"entity-type":"item","numeric-id":1219884,"id":"Q1219884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315458$4C521AFB-4135-4556-93AD-4B39AB87AEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dd575c37219a92676050b7b9e11a99694000e70","datavalue":{"value":{"entity-type":"item","numeric-id":3731594,"id":"Q3731594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315458$0E23D4D7-03EE-4005-AA44-0AF2AF2DAAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b9107ead49e3ab4b503b794674a581c93dc041","datavalue":{"value":{"entity-type":"item","numeric-id":5202650,"id":"Q5202650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315458$BCA57F25-7C35-4B70-A3A3-9D2F0CDAE1C0","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":"Q1315458$10C21204-D432-4326-BA1A-FB77067A4673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f443312fd326dec5c6aad0da984ea936534e525","datavalue":{"value":{"entity-type":"item","numeric-id":5656764,"id":"Q5656764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315458$8D4C0C6A-799B-4B4B-B4E6-19D15CFC78D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ef0a61b929be08845a37ea98e47035c6f2ca8b","datavalue":{"value":{"entity-type":"item","numeric-id":4777289,"id":"Q4777289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315458$4339D6FD-2905-4F34-B5C7-B24C066AFD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b925524429d1fe93684c705869e846dbfd40a4dc","datavalue":{"value":{"entity-type":"item","numeric-id":5626664,"id":"Q5626664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315458$B5D7C954-479E-4747-B605-A33438C95A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28c24c8db6464fc8d063e24f589b077b435c99f4","datavalue":{"value":{"entity-type":"item","numeric-id":4163219,"id":"Q4163219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315458$0A467021-515B-478D-A063-A85725E2EECC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f76f66d7a82b4e950519852ac99ba76811a8f4a","datavalue":{"value":{"entity-type":"item","numeric-id":4874116,"id":"Q4874116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59ed7e3f766bf042784383abbae80a9990bd616f","datavalue":{"value":{"amount":"+0.8508496284484863","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":"Q1315458$46856C37-9C6D-4813-A5E5-CCA4C3AB5CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5bca741d2a63f205839cc2173c4cc4adb630471","datavalue":{"value":{"entity-type":"item","numeric-id":5202650,"id":"Q5202650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0332a1a99075d8f89ebe878892146fb5e363b84","datavalue":{"value":{"amount":"+0.8448708057403564","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":"Q1315458$A0E0D7CB-2F40-4805-A78C-5976CA3E14CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c39d526b2b7658add4b1db5241538e01049e527","datavalue":{"value":{"entity-type":"item","numeric-id":1824615,"id":"Q1824615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec03e885dd55c06b1bad2eaa4e17a3ccc165240","datavalue":{"value":{"amount":"+0.8334929943084717","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":"Q1315458$D9BFDD69-3B18-48A4-A2F0-D651C2AAA0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d413769e661669f14244a0fd5d3de9da6028dda","datavalue":{"value":{"entity-type":"item","numeric-id":3830992,"id":"Q3830992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed5a26364c20587fe17012be3695f600a0001024","datavalue":{"value":{"amount":"+0.8176426887512207","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":"Q1315458$0AF2E9BB-F495-45D5-96BD-CA6D73DFCF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f70f5244307e913351cad1cabe066fb4a87e4c3c","datavalue":{"value":{"entity-type":"item","numeric-id":4311398,"id":"Q4311398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"970e65417e46dcb6096e33c0b26ee0456fca8f8c","datavalue":{"value":{"amount":"+0.7557069659233093","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":"Q1315458$9D932D2B-DD53-442A-8BC0-C04EEBBA4602","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A \\(\\Pi 2^ 1\\) singleton incompatible with \\(0^ \\\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_%5C(%5CPi_2%5E_1%5C)_singleton_incompatible_with_%5C(0%5E_%5C%5C)"}}}}}