{"entities":{"Q1012969":{"pageid":1014817,"ns":120,"title":"Item:Q1012969","lastrevid":57323148,"modified":"2026-03-30T12:15:17Z","type":"item","id":"Q1012969","labels":{"en":{"language":"en","value":"Infinite subsets of random sets of integers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5548668"}},"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":"Q1012969$28351BF2-BD69-4F66-B2E9-19C30D6A4008","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc6d61e9c5049326df33acadf4382479f26ebd6a","datavalue":{"value":{"text":"Infinite subsets of random sets of integers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1012969$DE6AF5F4-747F-401D-8FFA-5722636A770A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8cafc6a2c17c2affa875a6f7ac3e9c93493e3c8","datavalue":{"value":"1179.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012969$0B773D8F-569B-42B4-A1AF-B88A12B2178A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"713c2f755459cde585837394c4916f4792e504e4","datavalue":{"value":{"entity-type":"item","numeric-id":490406,"id":"Q490406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012969$F76BC0D5-5762-4CDC-839D-749F5DE30DA9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82759f7bd5d339c54aa2233fde0d7f5ffae8b2c0","datavalue":{"value":{"entity-type":"item","numeric-id":170810,"id":"Q170810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012969$B28C000D-4B91-465F-925A-168CCCCAF9AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"962aaad97593dfc1dafb90617b979127f52bb556","datavalue":{"value":{"time":"+2009-04-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":"Q1012969$81C985E3-315A-4832-AEBE-0AF081FFB67D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c25ec8db45cc409e26f5a3d76318b9a66bd1985e","datavalue":{"value":"https://arxiv.org/abs/1408.2881","type":"string"},"datatype":"url"},"type":"statement","id":"Q1012969$F8A7A6D1-76C6-43B7-8BBC-5B380F0D6D4D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"386de29dc473ecd5c786ab844dc3275c58c2d3d2","datavalue":{"value":"The author proves that it is not the case that every infinite subset of every Martin-L\u00f6f random set of integers computes a Martin-L\u00f6f random set. First, he proves that each real of positive effective Hausdorff dimension computes an infinite subset of a Martin-L\u00f6f random set of integers. This result is applied to a real constructed by \\textit{J. S. Miller} [``Extracting information is hard: a Turing degree of non-integral effective Hausdorff dimension'', Adv. Math. (to appear)], which has effective Hausdorff dimension \\(1/2\\) and does not compute any Martin-L\u00f6f random real. This work is motivated by questions related to the strength of SRT (stable Ramsey's theorem for pairs) and WWKL (weak weak K\u00f6nig's lemma).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012969$5474184A-9ECD-49DE-8D0C-97ED2DA4C91B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c7a0f70c0b7cc2161585e985e86183cb70d3ef","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012969$7C35D68A-E0EC-4FC7-B5CD-8AD12C989A4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012969$1F3977D9-0BDC-44D5-ADFF-C48E3F59A34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012969$486C9F34-1B13-4EBD-BE55-D5BF6A89789D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bfc1b1c272474384546bcd37c9164f9d239a9903","datavalue":{"value":"03D32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012969$AB65B76C-E77E-4082-B82B-8725CD515B5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5b77424fc52d20a3fec4084d99be99170d34124","datavalue":{"value":"5548668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012969$E2104AB3-E65B-4C73-B107-0857ECBDC5A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012969$8265C8DA-B333-4B92-B529-0125BA0F932A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c35ff20c2409c5acf398e3e58f29e36ad784af70","datavalue":{"value":"algorithmic randomness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012969$0867B7DB-4DF7-4DE5-BE29-8E6B1E48582C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1daad792015e31c3b46c45734af21ade6af479","datavalue":{"value":"SRT","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012969$96538129-1744-4B8D-BAD3-771BCCE892BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a957e117a35eab84996ca449d0ecd3d9733967","datavalue":{"value":"WWKL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012969$A96B9F1F-1123-48FF-A87A-A5A16C8A43AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3738894d4f2a8c6a75bcc917291a1ff1549694c","datavalue":{"value":"Martin-L\u00f6f","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012969$D0737B32-7D01-43E5-8206-D4EC20DC208B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df9a046c7ebbfb3ccbaa43c1532ff05812571051","datavalue":{"value":"effective Hausdorff dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012969$45026D09-417E-4A57-9E8D-EC465BF36B6E","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":"Q1012969$FD53AFE9-C281-44EC-80DA-1701C637BE7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7685abd51618bcc09f521038b6b8de968b4283f","datavalue":{"value":"10.4310/MRL.2009.V16.N1.A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012969$2B401172-F69E-493F-9C6E-203C29E2513E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20b1bbbc6681077fbc13c47169515c6e98231842","datavalue":{"value":{"entity-type":"item","numeric-id":3094357,"id":"Q3094357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ac83639040b0916a33f1bf35fbe524d7a91674c","datavalue":{"value":{"amount":"+0.8070456385612488","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":"Q1012969$1DAB0142-4C8D-4F3C-8908-2D96C4DF85BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce233d9fbe7eda7d44d832232642441fb415de54","datavalue":{"value":{"entity-type":"item","numeric-id":2663792,"id":"Q2663792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff4edca364c3c3f73d7fec84784f43a2e896a6cf","datavalue":{"value":{"amount":"+0.799013078212738","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":"Q1012969$A0B1B4C9-1D94-4187-9D57-D60E2CA102E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1de19f8e03edae9fbce201e40ed215f99243fcbe","datavalue":{"value":{"entity-type":"item","numeric-id":5496642,"id":"Q5496642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dd5c552fde5a347471d9ac1aa2662932c095414","datavalue":{"value":{"amount":"+0.798642098903656","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":"Q1012969$1667CF04-F595-44EE-B0E3-EDD6748310B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc625072d1009834f9cc8800ecd7acd0bf6a4cca","datavalue":{"value":{"entity-type":"item","numeric-id":4708604,"id":"Q4708604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"366315fdf053a2e6b2a4e0476a45436789564c1f","datavalue":{"value":{"amount":"+0.7531722784042358","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":"Q1012969$0D835AE4-0C7D-4A71-A565-1BE05B812314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5784cb23e7c1b396f4093b6b5502803c84615528","datavalue":{"value":{"entity-type":"item","numeric-id":609759,"id":"Q609759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"366315fdf053a2e6b2a4e0476a45436789564c1f","datavalue":{"value":{"amount":"+0.7531722784042358","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":"Q1012969$23979519-17D7-41DF-A949-2A51FE97FEDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1012969","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1012969"}}}}}