{"entities":{"Q1106842":{"pageid":1117591,"ns":120,"title":"Item:Q1106842","lastrevid":69654858,"modified":"2026-04-13T08:29:38Z","type":"item","id":"Q1106842","labels":{"en":{"language":"en","value":"Index sets in the arithmetical hierarchy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4063084"}},"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":"Q1106842$779D707D-2CE2-4787-8EDE-E1132A517A60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d86dadd37c4a96ef8077eafe126de477121b5dd3","datavalue":{"value":{"text":"Index sets in the arithmetical hierarchy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1106842$B83C70A1-CF41-40A7-8AFD-116B806DDE33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3828811814f1d0f2ddb3f83dd4d8611cb1016b17","datavalue":{"value":"0652.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106842$D9D15C55-3051-4135-96AA-EF286904F909","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e31a55be29d1a71a2f326591e7b9da846a88f8b","datavalue":{"value":"10.1016/0168-0072(88)90023-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106842$BE62EB88-E328-4BF6-8A9C-46C734948B7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0cf65be911c47d3287ca89cee5709c07df5590d","datavalue":{"value":{"entity-type":"item","numeric-id":1106841,"id":"Q1106841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106842$E4642DDE-540B-4D58-B389-A97E706F666E","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":"Q1106842$36AC119A-012F-4C37-B745-5EC4BD76A669","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1106842$1BAE9627-6D61-4666-8D7A-171557445EB3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"37e6033d62921cc7b778909a76ed709694932a07","datavalue":{"value":"We prove the following results: every recursively enumerable set approximated by finite sets of some set M of recursively enumerable sets with index set in \\(\\Pi_ 2\\) is an element of M, provided that the finite sets in M are canonically enumerable. If both the finite sets in M and in \\(\\bar M\\) are canonically enumerable, then the index set of M is in \\(\\Sigma_ 2\\cap \\Pi_ 2\\) if and only if M consists exactly of the sets approximated by finite sets of M and the complement \\(\\bar M\\) consists exactly of the sets approximated by finite sets of \\(\\bar M.\\) Under the same condition M or \\(\\bar M\\) has a non-empty subset with recursively enumerable index set, if the index set of M is in \\(\\Sigma_ 2\\cap \\Pi_ 2\\). If the finite sets in M are canonically enumerable, then the following three statements are equivalent: (i) the index set of M is in \\(\\Sigma_ 2\\setminus \\Pi_ 2\\), (ii) the index set of M is \\(\\Sigma_ 2\\)-complete, (iii) the index set of M is in \\(\\Sigma_ 2\\) and some sequence of finite sets in M approximate a set in \\(\\bar M.\\) Finally, for every \\(n\\geq 2\\), an index set in \\(\\Sigma_ n\\setminus \\Pi_ n\\) is presented which is not \\(\\Sigma_ n\\)-complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106842$8A4E7A8B-58D3-49C9-8CAB-F0315373BF84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106842$06C4BF6F-C4DE-46BE-A2F0-DADE299942AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f42879fad16bc208d6779c1840feac861a0b89f","datavalue":{"value":"4063084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106842$2FD7FF0F-3789-4DD7-B969-6F8D7C4432AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d3317fee091a183b95c82d29dc1e995b7455f26","datavalue":{"value":"arithmetical hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106842$BDD772B2-6612-41DE-82F3-8D0CE64491BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8eda639300e11a6c7e78f4fadff2d4b8809aa9b","datavalue":{"value":"recursively enumerable set approximated by finite sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106842$791431FA-2E01-4302-8832-83F29FC5C8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02ee9f17aaedd2b505c74937f507a438d3630c80","datavalue":{"value":"index set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106842$39B6932A-E320-4A6B-84E7-6BD5C6DA33F3","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":"Q1106842$F7C3D6B3-45A1-48E2-AF37-12A99002E061","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3547826b60a9b5d83958885d590ada2f494d190d","datavalue":{"value":"https://doi.org/10.1016/0168-0072(88)90023-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1106842$C7553E0B-724B-4ECE-92D9-509B8D9CF143","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31b919735651514d42bb587e3d77243bb75ee4ef","datavalue":{"value":"W2090707992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106842$14D0BDE2-3EA3-48EF-8461-7FBD423D09EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0596e5c599613b80ada37fb1d40e1b8f50bde8d","datavalue":{"value":{"entity-type":"item","numeric-id":5549809,"id":"Q5549809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106842$CBD50C4B-1119-4EDD-A611-716075A350B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38edea1b938fbdd8a9623a6542490f846108277","datavalue":{"value":{"entity-type":"item","numeric-id":4154852,"id":"Q4154852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106842$0A0C8366-9B93-4DC9-BB77-CA9A979B08BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac60edc46b96d391fd19f103e4a89f46a0a07b","datavalue":{"value":{"entity-type":"item","numeric-id":5674988,"id":"Q5674988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106842$058CF82F-CDB6-4A9B-AE3A-219B2732BC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b7131ab2418b512668602001846c1f6bf613582","datavalue":{"value":{"entity-type":"item","numeric-id":4068711,"id":"Q4068711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106842$92EF51A9-8C59-4AD1-8BD5-9109B345D716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e952b212f5abcb361ede6b575ca966c64a56ccea","datavalue":{"value":{"entity-type":"item","numeric-id":4067081,"id":"Q4067081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106842$9FA37C49-D808-4A2C-8A3A-5C7BEA50322B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cc858e204245d49f72b64a4aeb12c67d57861e0","datavalue":{"value":{"entity-type":"item","numeric-id":4055150,"id":"Q4055150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106842$CAF34879-05C0-48CC-8993-74609CE2B4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c398c660e45d0ead7c78767cec5cb8034bd6b01c","datavalue":{"value":{"entity-type":"item","numeric-id":3962979,"id":"Q3962979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106842$B820C6C0-1E7A-4C47-A56D-FB590DDE7B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106842$355C95E7-4CC6-49B2-92A0-E65FD52A978E","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":"Q1106842$214D68DA-BAF0-45B8-8B63-FCF843371794","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10926b30ffed73d37bbb70bbe0784c0cf8a290dd","datavalue":{"value":{"entity-type":"item","numeric-id":3741620,"id":"Q3741620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b4db4699baae10ffa5acfb7c9be14ec329a913","datavalue":{"value":{"amount":"+0.9236162304878236","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":"Q1106842$22DB5544-45ED-4D45-9989-FB4683A9C6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5871316f138361cff0e2813372e4ec0c1a49d49","datavalue":{"value":{"entity-type":"item","numeric-id":3797173,"id":"Q3797173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13a35b657049210cd43c13211b97292bb4b9b1f8","datavalue":{"value":{"amount":"+0.841511607170105","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":"Q1106842$076A648A-AD40-495A-8BF3-4DA806E7CBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4e784884617c59ab8db0a3400b9a30f2d0aaa99","datavalue":{"value":{"entity-type":"item","numeric-id":3325708,"id":"Q3325708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1969d1ec7b76e28927c13a4e51ad192a75cbf661","datavalue":{"value":{"amount":"+0.825843334197998","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":"Q1106842$B35A2A32-D244-428E-A026-F19AC95FA27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb31f8a8e053006f19a9aa57c2aea33fe8641933","datavalue":{"value":{"entity-type":"item","numeric-id":4205434,"id":"Q4205434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8e8c2be86d0570409e950c7c50d0cb57f787f1c","datavalue":{"value":{"amount":"+0.824386715888977","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":"Q1106842$49131C97-3BB5-4EDF-A98D-63E1020AC120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1137d995b28eb5f636e3f569aad92762024aa160","datavalue":{"value":{"entity-type":"item","numeric-id":3792672,"id":"Q3792672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da7b1dec51ed7e264dbcc0c9ec1ba6a1c8878d9f","datavalue":{"value":{"amount":"+0.8242984414100647","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":"Q1106842$7ED508DA-252A-47EE-A0C8-A59F5F8E5DA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Index sets in the arithmetical hierarchy","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Index_sets_in_the_arithmetical_hierarchy"}}}}}