{"entities":{"Q2300938":{"pageid":2311681,"ns":120,"title":"Item:Q2300938","lastrevid":53680361,"modified":"2026-01-25T13:22:51Z","type":"item","id":"Q2300938","labels":{"en":{"language":"en","value":"On realization of index sets in \\(\\Pi_1^0\\)-classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7175780"}},"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":"Q2300938$FBAD66F2-55B4-4703-A7A7-FBDADAC31015","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd9c126a6caf20418be9e6bb06e9b82cf6e2ee2b","datavalue":{"value":{"text":"On realization of index sets in \\(\\Pi_1^0\\)-classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2300938$418F1064-1BB5-4C95-B095-7B2099677450","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afa3008f36cd9ab1b4d5bf85ae0d0ad9dc690512","datavalue":{"value":"1444.03134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300938$E7B56BEA-2F69-4B68-A0FA-068E4CD72399","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b8fb275d6a3d8cfdde181b925438d0d0df66776","datavalue":{"value":{"entity-type":"item","numeric-id":306576,"id":"Q306576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300938$2E0128B3-D190-4302-A033-EB3C764B5428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2356fe1f1f6d7960e11f0114cbd6aa7fe05024f7","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300938$8691D110-A518-436D-A458-7FA209862FFF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300938$961BAC39-DA49-47DE-8F4F-612E62A6FC58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e44fcd86c7eea29fae45da530ceb696940234738","datavalue":{"value":{"time":"+2020-02-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":"Q2300938$7E59649D-E3A3-47C5-A470-06C22CD3FE65","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5dc688bb6c6b752539ae530ed116e1929e2b8ecd","datavalue":{"value":"A set \\(S\\) is said to represent an index set \\(I\\) iff \\(I=\\{e\\mid\\exists j\\in S(W_e\\equiv_TW_j)\\}\\). The authors prove that for any set \\(A<0'\\), the set \\(\\{e\\mid W_e\\leq_T A\\}\\) has a \\(\\Sigma_3^0\\)-presentation iff \\(A\\) is low\\(_2\\) (in the original text, the condition \\(A<0'\\) is forgotten). This result gives an answer to a yet unpublished question by B. Csima, R. Downey, and K. M. Ng.  I would also like to point out that the cited result of Yates is stated incorrectly: it should be \\(\\Sigma^0_3\\)-completeness for an  incomplete c.e. set, not \\(\\Sigma^0_4\\)-completeness for an arbitrary c.e. set. This error, however, does not affect the rest of the proof.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300938$60C32477-2B6E-4AB6-9906-4CDE01D6AA1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300938$EDB81A53-D511-4E13-83D7-093A125B1326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300938$5F11CBFF-F429-4C7C-B845-7689590D20D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09e5a7892320d1f606a5228567ba41db0da9b88d","datavalue":{"value":"7175780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300938$0A304E4B-1D23-4398-8555-FED3504C54B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02ee9f17aaedd2b505c74937f507a438d3630c80","datavalue":{"value":"index set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300938$A4187897-73E3-4DD6-9C5E-852F0E6B1C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4ac939c79cbc606653ef2153f18d96cfe0483de","datavalue":{"value":"$\\Pi_1^0$-classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300938$10E1BE55-2553-414B-8469-1C433F87AC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae8977ee4cae2f5ff34dadf081329d86fc1f3a8a","datavalue":{"value":"representation of index sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300938$D396F9B2-FC46-4BA5-9099-708EA19AB84D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ce0c15be929efae5d1db4165b73b6b1dd00974c","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300938$4E2DA2D9-A3BA-4B7C-8F58-0D9208936341","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":"Q2300938$8675A370-8157-4941-A8A2-C39328F759F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca72890be99ffd572f8e7e49b89d5ec8dc31d998","datavalue":{"value":"https://doi.org/10.1007/s10469-019-09563-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2300938$6B8A5E7C-EAE9-467A-B53B-0E091719AC33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"891415085e855e001c84d30c9bd0595536c7ccf6","datavalue":{"value":"W2993713557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300938$836F1E7B-9284-4675-89E8-A2D2C1F06325","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c2b2698924bb12307aa412c0d921a065e00037c","datavalue":{"value":{"entity-type":"item","numeric-id":4513963,"id":"Q4513963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300938$0DEBBB08-DCD4-49A5-947A-C979745AB99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15736a1fabe53e34c9adbd1c3f77269c133e2124","datavalue":{"value":{"entity-type":"item","numeric-id":4040892,"id":"Q4040892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300938$C09B77CD-C168-4C48-8C5F-B021A6EF1411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff431a272f467dfb02b804bd42fce10899a446b9","datavalue":{"value":{"entity-type":"item","numeric-id":5519130,"id":"Q5519130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300938$DEEF7E90-D3E3-405E-8322-9EC060A4F1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a725b38cced344d667e53d0e30e1bb334f6ebbef","datavalue":{"value":{"entity-type":"item","numeric-id":5577087,"id":"Q5577087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300938$E9477DD3-5BBD-4C76-A450-E521BA6F02E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aae2c55c4e1b6e2ff59464cc1df93f464e1b840","datavalue":{"value":{"entity-type":"item","numeric-id":3197814,"id":"Q3197814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300938$C0E17E11-6F4D-4CEC-BF57-CE1860CE1F65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"278bfb40d390203826353a369859d3475b7c07a9","datavalue":{"value":"10.1007/S10469-019-09563-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300938$F09A2F71-6B01-463C-BA70-2ED240C6FB7B","rank":"normal"}],"P1643":[{"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":"f18707eb3f2dde8e512ddb92a003df32b242cb5f","datavalue":{"value":{"amount":"+0.7379229068756104","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":"Q2300938$B74023D4-9308-4BC7-A6DE-271B8DBE370E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"449a0a69a111272a0579bc330ac0b35e116d5a55","datavalue":{"value":{"entity-type":"item","numeric-id":1106842,"id":"Q1106842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cc44ebbc1b7dddb3dbadf26aab860ef75b6e57d","datavalue":{"value":{"amount":"+0.7129065990447998","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":"Q2300938$B653B60F-2804-45C4-9291-BAED21BC979A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331fa02a64c274cc42889e2e303228c5ab9502ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304153,"id":"Q4304153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c45d3e2ee9b78b7ab705394db880c09a25f40ccb","datavalue":{"value":{"amount":"+0.7020173072814941","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":"Q2300938$7DB60C9B-400E-4B2D-8D61-61E9FFA43536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b535b6632442a656887213d4163f0cffb19c296","datavalue":{"value":{"entity-type":"item","numeric-id":3980107,"id":"Q3980107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f8083636b589bd19eeb7151b8233a07706feb19","datavalue":{"value":{"amount":"+0.6982154846191406","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":"Q2300938$023DE19C-3BE8-4A04-B3F5-EA6D4ACF3141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7abc94817aa1c97a7edc68bfde3d7fc6a64f7804","datavalue":{"value":{"entity-type":"item","numeric-id":3762302,"id":"Q3762302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"057892b10fc13b42ee7bf143a11823b86e81ebfc","datavalue":{"value":{"amount":"+0.6979082226753235","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":"Q2300938$5941FF50-24FF-4919-9FCF-61C7B5A3518D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2300938","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2300938"}}}}}