{"entities":{"Q976541":{"pageid":978389,"ns":120,"title":"Item:Q976541","lastrevid":65701494,"modified":"2026-04-12T04:35:22Z","type":"item","id":"Q976541","labels":{"en":{"language":"en","value":"\\(\\Pi_1^0\\) classes, Peano arithmetic, randomness, and computable domination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5720474"}},"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":"Q976541$B8228C70-3A9E-49FC-9491-A154B222D494","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba6cfb10324578df459de138ee011c7fcf709d41","datavalue":{"value":{"text":"\\(\\Pi_1^0\\) classes, Peano arithmetic, randomness, and computable domination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q976541$C1ADA6F2-1F6B-4877-BE5D-6649B5B00157","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75e59ef107013aafaad7fe98454fb92a852f191c","datavalue":{"value":"1197.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976541$1BFE6FF5-1B99-4152-8AB1-77B6F839B98D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e8f0c276237385ce1d6742d562fe5741a585d88","datavalue":{"value":"10.1215/00294527-2010-009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976541$0C5271B1-DF90-44BF-A303-2058DAF5EE4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f111e483efe7cd16c0f51eaa65de02504e2337dc","datavalue":{"value":{"entity-type":"item","numeric-id":976540,"id":"Q976540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976541$8169CEE6-E335-4A10-B08D-FE64744091FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df47b160552dc894c1aa471ca705195c5906bca7","datavalue":{"value":{"entity-type":"item","numeric-id":375887,"id":"Q375887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976541$311626E3-7D77-4C8D-A170-BB1E1B7490FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99d656eeef84f51d80bcbc7ccf03ab138401b634","datavalue":{"value":{"entity-type":"item","numeric-id":207673,"id":"Q207673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976541$AC5632F7-20CF-4B55-8F3A-7F98D42250B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976541$ACB6A737-59AD-4B71-91DF-E310EF79522B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8330f0162b04ee97697b5c3b59dea76e14d14e04","datavalue":{"value":{"time":"+2010-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q976541$1EDBA789-BFAA-43C8-851D-F65F4B8CA7FA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9e8ec281b7c08c3f36e7e2a7b277dcc63d158fda","datavalue":{"value":"The paper provides an overview of research and results obtained in the study of \\(\\Pi_{1}^{0}\\) classes, Peano arithmetic, randomness and computable domination. Those topics have been -- from the historical point of view -- topics of interest in computability theory. They are still a source of problems and ideas. Links and connections between these topics are indicated. Their meaning for modern research is stressed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q976541$0CFA75D6-5B24-44E0-8045-8CAFC7116265","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976541$1C981E08-C428-4854-842D-87B634745EC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976541$4E56F44F-A426-4532-A881-396F4537BB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976541$438E416A-121B-4929-8AF1-453A22D18FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976541$5504B83A-2191-4848-A514-34736B08187F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bfc1b1c272474384546bcd37c9164f9d239a9903","datavalue":{"value":"03D32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976541$A3E0440A-4EE3-4995-812A-25D4662E2EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976541$C86BD1F0-306A-4A86-878E-A5B193A565D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbd70750effa1a15f54ca5113a2fdd12d50a3c48","datavalue":{"value":"5720474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976541$B9E568DD-96CC-45A0-AAA1-776364C6B9E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"329ca9e87ec6055d44605066af04edcafac5182e","datavalue":{"value":"\\(\\Pi^0_1\\) classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q976541$D8C6631B-2C0B-4734-A6AD-594A2C0E275D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9cb17573fe9d7bbcc6f1a8a63c4797b3ed6f65d","datavalue":{"value":"basis theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q976541$D1308A90-4D3F-4B58-9C5A-25AAB2096712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q976541$504210D4-F7A1-48E0-AD0D-287BD11B2A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496fb62b5fbbae0889439900bccaa24ccd7b815b","datavalue":{"value":"randomness","type":"string"},"datatype":"string"},"type":"statement","id":"Q976541$D28465C7-588C-4A2E-967F-B73B1DAE9A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ac35d44594bc3b8587dec9f78b203fd77b508e1","datavalue":{"value":"computable domination","type":"string"},"datatype":"string"},"type":"statement","id":"Q976541$F10452E4-8079-4E2E-9078-70409620EEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04d112e6b6539dfd4b7a3d0b9f854797e725ca58","datavalue":{"value":"hyperimmunity","type":"string"},"datatype":"string"},"type":"statement","id":"Q976541$1A15333A-F8D0-4132-A22B-FF1A8DCA7626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"137d6794a6efe35571397acc6ff9f6acadf30893","datavalue":{"value":"survey paper","type":"string"},"datatype":"string"},"type":"statement","id":"Q976541$57544CFE-FEA7-4987-BAAF-21603E2215DE","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":"Q976541$2C06C64C-6C8F-46DC-8283-5B9ADA3C1CF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3da1b6257110eaf2595958d423060cb1d449b388","datavalue":{"value":"https://doi.org/10.1215/00294527-2010-009","type":"string"},"datatype":"url"},"type":"statement","id":"Q976541$599B984B-5D49-458F-A419-24C495B1395A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d760f2cd9ce114a5a58be2889afe62b70a6dbf86","datavalue":{"value":"W1970107198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976541$10B77E75-0CB6-4716-B308-7494560BFF64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5db27a760ddabd86de3a593a36b8c6be7ec0611e","datavalue":{"value":{"entity-type":"item","numeric-id":3611832,"id":"Q3611832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f907e6d924c5bfde54321f9dd169bc8da21ba00","datavalue":{"value":{"amount":"+0.7154538035392761","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":"Q976541$7A3C34FE-5AD8-4287-81B7-AE6AAEE127CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6909b8ca4744dc9a15adf96136cf836a5eb2f87","datavalue":{"value":{"entity-type":"item","numeric-id":4513963,"id":"Q4513963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb6fb31de6879cd37e3488665c09a575f89bd8a3","datavalue":{"value":{"amount":"+0.7103299498558044","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":"Q976541$C37FA032-3960-4422-86A9-FBD52A2F6398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8958247b087e45f9fc170272579f6bc369987d96","datavalue":{"value":{"entity-type":"item","numeric-id":3224093,"id":"Q3224093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76a0ce791d65b92a586790a246a82fbeec93bb22","datavalue":{"value":{"amount":"+0.7050253748893738","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":"Q976541$3E0ECBF0-385B-4BDC-8DB9-1D796F5EE1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f90c648d9d6546955fdbe74f658bb78e89d73c4","datavalue":{"value":{"entity-type":"item","numeric-id":1295386,"id":"Q1295386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789f21ba2848b24c636aead111451fda8323280f","datavalue":{"value":{"amount":"+0.6995698809623718","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":"Q976541$9B01808A-16DB-4877-B43C-D460083CB1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"066f6b56594ac5739da96bd2505be3a691c5bf3f","datavalue":{"value":{"entity-type":"item","numeric-id":5190208,"id":"Q5190208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"574ac525f78d20c8670def9b4f55ba60d36d1387","datavalue":{"value":{"amount":"+0.6983364820480347","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":"Q976541$B8866E68-3313-4B69-B726-8FA05C3EB979","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(\\Pi 1^0\\) classes, Peano arithmetic, randomness, and computable domination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(%5CPi_1%5E0%5C)_classes,_Peano_arithmetic,_randomness,_and_computable_domination"}}}}}