{"entities":{"Q1407517":{"pageid":1418257,"ns":120,"title":"Item:Q1407517","lastrevid":68633718,"modified":"2026-04-13T01:04:47Z","type":"item","id":"Q1407517","labels":{"en":{"language":"en","value":"Turing cones and set theory of the reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1982455"}},"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":"Q1407517$88F9B998-8DD7-4822-B0A2-4D85198C1C8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7b7481d1d4713497ef34fdac08243d211612da8","datavalue":{"value":{"text":"Turing cones and set theory of the reals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1407517$8382CF69-41F7-4C07-8681-9E28054089FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc23549f71351b0d36dd36db2f2924dbba716d39","datavalue":{"value":"1028.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407517$B73C5174-7813-450F-A86D-8510C9DDE527","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407517$B6325C0B-C214-40BA-BF3F-F2A445BE4020","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7841ad7b9ae7c226290004bcfbbaa03cb759e96","datavalue":{"value":{"time":"+2003-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1407517$06485217-EFD0-4202-AE83-64F81A3F16FA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"acfc9ebed5c7f2beac0694268772aeb6794111e0","datavalue":{"value":"The paper treats relations between various determinacy principles. Turing Determinacy is the statement that every Turing invariant set of reals is Martin measurable, which means that the set or its complement contains a Turing cone. (Here reals are elements of \\(2^\\omega\\); a set of reals is said to be Turing invariant if it is closed under Turing equivalence; a Turing cone of a real \\(x\\) is defined to be the set of reals \\(\\{y: x\\leq_T y\\}\\).) D.~A.~Martin showed that Turing Determinacy follows from Determinacy, by proving that every determined Turing invariant set is Martin measurable. The author considers the question whether Turing Determinacy follows from Blackwell Determinacy, a version of Determinacy using imperfect information games instead of the usual perfect information games, and shows that this implication cannot be proven in a similar manner: it is provable in ZFC+CH that there is a Blackwell determined Turing invariant set of reals which is not Martin measurable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407517$40C4BDFE-7156-48B8-9D81-27FD790838E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407517$10B39B2A-696D-4509-BE61-E58EC0740D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86e7d9065663fa3ffd8f6c70df93df9f4742e385","datavalue":{"value":"03D28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407517$8BA6E67F-E231-4F1E-B47B-1D605F20B1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407517$1AD816C1-AC7A-4CFA-B54C-713301C5A4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d0fbfdd56746b1fac4d86fe54b6e7e79ffa6e12","datavalue":{"value":"03E60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407517$A9B36AFD-03C8-4FE6-B408-2B2B699E7641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407517$87375797-F85D-41E5-8028-AD1E8060675A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b3ca7d4b4d7d3afa4e54695a60f8504a0e57618","datavalue":{"value":"1982455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407517$2FA07E81-92B7-4808-B580-975F12D708EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca8747e792c9ec070a2b651f7745015b1625753b","datavalue":{"value":"Turing reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407517$B300CC67-BFB4-42DC-8AB9-77C7E3164719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4878b6d91362513a0e853e5a958d8de6993a9e7","datavalue":{"value":"Turing determinacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407517$3B61A11E-BB96-42FC-BF74-BF365EB374A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3835ebdef2dca86bd881914ce8d04a0794766cf7","datavalue":{"value":"Blackwell determinacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407517$BE9C64CB-AACC-45C6-8281-444A791A64AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1294aa2c1b7b8075353a8829fe6eed369d61b4a1","datavalue":{"value":{"entity-type":"item","numeric-id":1806279,"id":"Q1806279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407517$18F5A055-B8E4-40D7-81BF-CA0D5716BFA8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d7a760754899c4252076421c1bbdd70a575016d7","datavalue":{"value":{"entity-type":"item","numeric-id":593287,"id":"Q593287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407517$BA9ED3A9-5026-4996-B040-FB5BDC9065F3","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":"Q1407517$F191855E-01EF-4143-9DFB-D93874C4D328","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aeb4455d5416e74b432828b76c0de9c547068571","datavalue":{"value":"https://doi.org/10.1007/s001530100092","type":"string"},"datatype":"url"},"type":"statement","id":"Q1407517$BDCEC788-FFC5-42B9-9AC9-90EF0C4EB5DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"385ebdc3bcc673352f5ddaeacab593742fb2e87e","datavalue":{"value":"W2030506029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407517$80136BB2-BA36-4547-B1C0-CD061A0D222A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b706fa7ffe95c5ddf2b1cdd3e9c7c6ce428aabaf","datavalue":{"value":"10.1007/S001530100092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407517$6B83F97B-C2E3-4CE1-BDE4-DA7D0B8D94F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7bfab0b8ee898c8b7da888958de5ab81377e37b","datavalue":{"value":{"entity-type":"item","numeric-id":4228984,"id":"Q4228984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"480ceb60287c225f3c32a1926b4b980180e30fdc","datavalue":{"value":{"amount":"+0.88607186","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":"Q1407517$A4F15689-1F04-41EF-A1C0-DF959EC27D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"212c0de90c6e6d63ecb81bdaece571b4cea1fcd4","datavalue":{"value":{"entity-type":"item","numeric-id":4132513,"id":"Q4132513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"764cfc7334fde3072dcb61976f729de24391abf6","datavalue":{"value":{"amount":"+0.8764382","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":"Q1407517$021A613A-E06C-43AD-B89C-3B90E5F379F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c530676e7802a6bcb7755d2f93aca1defb21c9e4","datavalue":{"value":{"entity-type":"item","numeric-id":5076396,"id":"Q5076396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ce3bf7b7efb4420fd1f112e1c27d9926926db3e","datavalue":{"value":{"amount":"+0.87371796","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":"Q1407517$474BF3E4-5FAC-48F6-BC23-C60AEF414A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"874bf6f415af9972de5b6e2fae51a60f8a22305f","datavalue":{"value":{"entity-type":"item","numeric-id":6103515,"id":"Q6103515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"278fc734af4cca9ba39b4cd24547b5ec26c36cb7","datavalue":{"value":{"amount":"+0.8731819","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":"Q1407517$4F2E5A09-A30C-4D5D-AFBD-F39FF62B7637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cc46d10487ae31b9515661149a122692f34e269","datavalue":{"value":{"entity-type":"item","numeric-id":1824617,"id":"Q1824617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ec28a14ecd3483e4cef01292070f4e1c36d01fd","datavalue":{"value":{"amount":"+0.87174773","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":"Q1407517$799BAC2A-66E4-48DE-944C-79BA5664A636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f40c7278bfe50cba94c119e945b5bb3a359f5831","datavalue":{"value":{"entity-type":"item","numeric-id":1094418,"id":"Q1094418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1be9ae15646c25b39f12150663c9ddc171d5f669","datavalue":{"value":{"amount":"+0.8708155","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":"Q1407517$A2D1E0F7-07D3-4EE8-8105-54296CBEA42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b34c734ca736670d671c1c766119b43ba2d3f72","datavalue":{"value":{"entity-type":"item","numeric-id":2405404,"id":"Q2405404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af9b81e1b560de7a4856a06ccdf395087c61257f","datavalue":{"value":{"amount":"+0.8679771","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":"Q1407517$383BEEA2-CDFF-4DC2-8B9D-88DADC72E82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f3840abcffcfd533af6244a1c02b91cee05a126","datavalue":{"value":{"entity-type":"item","numeric-id":975475,"id":"Q975475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"158bf7f7da95d3c2afe10d22c05e9f4deb807ab8","datavalue":{"value":{"amount":"+0.8656242","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":"Q1407517$372FCC3A-7765-4A80-B867-6D712713163F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca84624c21ae77e80f8f170ffba0425fb05e769","datavalue":{"value":{"entity-type":"item","numeric-id":3409147,"id":"Q3409147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7881ac0401d176b5e6aa55381ea302b8d19903cb","datavalue":{"value":{"amount":"+0.8639536","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":"Q1407517$32156225-AF35-4637-A554-B73686E156B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7b870c046e52ea2c3d43b1b757fa2391b0fdd47","datavalue":{"value":{"entity-type":"item","numeric-id":5418470,"id":"Q5418470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"184e03e9a771ef3779a49e7ae26680cfdc74acab","datavalue":{"value":{"amount":"+0.86307347","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":"Q1407517$EBAF9047-766D-4D0C-834F-8C8D0A5890C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Turing cones and set theory of the reals","badges":[]}}}}}