{"entities":{"Q1315834":{"pageid":1326584,"ns":120,"title":"Item:Q1315834","lastrevid":68566554,"modified":"2026-04-13T00:36:33Z","type":"item","id":"Q1315834","labels":{"en":{"language":"en","value":"Hyperarithmetical relations in expansions of recursive structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 516625"}},"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":"Q1315834$6E55E06A-6447-46B1-AD64-B4BE08771DB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28162f356be81eee3df384841600fd01f94a32b1","datavalue":{"value":{"text":"Hyperarithmetical relations in expansions of recursive structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1315834$68E02BB6-0EE4-48CB-A694-9AA1A4601C59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab087956901712b48cc740bddb0ef4c81f3ce33d","datavalue":{"value":"0793.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315834$5FF47F18-E496-4113-AE1E-BEF3CBEA3861","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4660fa01aa8ce2ca92f4d68cf6833bbbdbe24aca","datavalue":{"value":"10.1016/0168-0072(94)90065-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315834$14484EF3-5795-4F94-AFAD-29F3C2C9BA85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69e509be8d2dfcac9b652eaa4e46c55fe6dcf3bb","datavalue":{"value":{"entity-type":"item","numeric-id":1315833,"id":"Q1315833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315834$3A9C731A-18A0-42A7-B14D-F04EDF0BC659","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":"Q1315834$37BD74D4-3349-41CA-80DE-47AFFC16BBA1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf17ffed152fcfc225788e46045afef4af283259","datavalue":{"value":{"time":"+1994-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1315834$4B2DABC4-A769-4951-B556-25427169D699","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c2e2c35df4093a4a9fc3d1da3e330341d59897b0","datavalue":{"value":"Let \\({\\mathfrak A}\\) be a model of a theory \\(T\\). Depending on whether \\({\\mathfrak A}\\) is decidable or recursive, and on whether \\(T\\) is strongly minimal or \\({\\mathcal O}\\)-minimal, we find conditions on \\({\\mathfrak A}\\) which guarantee that every infinite independent subset of \\({\\mathfrak A}\\) is not recursively enumerable. For each of the same four cases we also find conditions on \\({\\mathfrak A}\\) which guarantee that every infinite independent subset of \\({\\mathfrak A}\\) has Turing degree \\(\\geq \\mathbf{0}'\\).   More generally, let \\({\\mathfrak A}\\) be a recursive \\({\\mathfrak L}\\)-structure, \\(R\\) a relation symbol not in \\({\\mathfrak L}\\), \\(\\psi\\) a recursive infinitary \\(\\Pi_ 2\\) sentence in the language \\({\\mathfrak L} \\cup\\{R\\}\\), and let \\(0<\\alpha< \\omega_ 1^{CK}\\). We discuss conditions under which we can construct a recursive \\({\\mathfrak L}\\)-structure \\({\\mathfrak B}\\simeq {\\mathfrak A}\\) such that \\(\\langle {\\mathfrak B}, R_{\\mathfrak B} \\rangle \\not\\models \\psi\\) for every \\(\\Delta_ \\alpha^ 0\\) relation \\(R_{\\mathfrak B}\\) on \\({\\mathfrak B}\\).   We first provide high-level conditions on \\({\\mathfrak A}\\) which will change, depending on whether \\(\\alpha\\) is a successor or a limit ordinal. We accordingly employ different versions of a metatheorem of C. Ash which gives conditions under which a high-level priority argument will succeed. If \\(\\alpha\\) is a successor, we use an ``\\(\\alpha\\)-system'', since all requirements are \\(\\Delta_ \\alpha^ 0\\). If \\(\\alpha\\) is a limit, we let \\(\\langle \\alpha_ n \\rangle\\) be a recursive increasing sequence of (notations for) successor ordinals whose supremum is \\(\\alpha\\), and employ an ``\\(\\langle \\alpha_ n\\rangle\\)-system'', enabling us to meet a single \\(\\Delta_{\\alpha-n}^ 0\\) requirement for each \\(n\\).   Finally, using an \\(\\alpha\\)-system, we find uniform low-level conditions on \\({\\mathfrak A}\\) which are independent of whether \\(\\alpha\\) is a successor or a limit.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315834$EB9A8BE7-A3B3-4C18-9E69-BF04ED8D927F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315834$4FEEAF1D-BBC4-45CE-BC33-B15B0723C9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315834$9DC3392D-A719-41B1-ADC7-9D392899FF88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42c6c95d900ff63ae1b9f39bf4cf67e520b9be0f","datavalue":{"value":"516625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315834$9C7F6CC4-6D1D-4FA9-A157-7041B1DAEE6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44328552aac7ce63d13b0724c7694b7b3e16b321","datavalue":{"value":"effective mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315834$4C4BFF1E-B3B4-4988-9D70-D128708EEB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"634db76034976903e168c775c48e1b3c338efae3","datavalue":{"value":"recursive model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315834$9CE79C90-46A7-4EEE-B9AD-B1AD2085760E","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":"Q1315834$C4934EE8-B103-4ED7-A5A8-CBD9F9F2EF80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ba4ae83fdaad2475d26bb91237e763a1ff5123d","datavalue":{"value":"https://doi.org/10.1016/0168-0072(94)90065-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1315834$AF7497E0-8808-4085-83D1-8E4A9E92897F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1caff21cbacff223d479571761796e554faf96c5","datavalue":{"value":"W2066233455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315834$304C244A-39C9-461A-96B7-51EB6D7DCF2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"758b3d841e23e6cc888b9ebfa138ba497030edc0","datavalue":{"value":{"entity-type":"item","numeric-id":1094410,"id":"Q1094410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315834$BEB2F0FB-1221-490F-89D8-175053484E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1e438bac43bea1246a7f2dfc3538558c1c1287","datavalue":{"value":{"entity-type":"item","numeric-id":3767329,"id":"Q3767329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315834$C93E0997-7E35-4917-94D1-08F3037B202F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff5a5c976723aae226a75add549dd3d7aa355e43","datavalue":{"value":{"entity-type":"item","numeric-id":1821772,"id":"Q1821772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315834$A0835413-0D58-4515-B499-A52E48EEADD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f83939765af302e2b7df0dcc5e8c3bddd552ddd","datavalue":{"value":{"entity-type":"item","numeric-id":923076,"id":"Q923076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315834$076F4466-3689-4359-91E1-8BF9E6A652E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"592415329b8b8fae632e4ef6bc319f065821bf0c","datavalue":{"value":{"entity-type":"item","numeric-id":4314762,"id":"Q4314762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315834$9D3913F4-4B2E-432B-860B-8CCD89FCF66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39baaa08a04dbc07e02a6a817f242d74b6e08f78","datavalue":{"value":{"entity-type":"item","numeric-id":4323050,"id":"Q4323050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315834$5096C1A4-FAEB-4A67-9037-5DA3AA29203E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"745db4e6a16e1ac3b1ffbba7a80ece98d8f82911","datavalue":{"value":{"entity-type":"item","numeric-id":4314795,"id":"Q4314795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315834$21203AD4-59BE-462B-A110-2740D93DC858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b74f13816a6e3afc695f2afd3830e3fc4ee05fe","datavalue":{"value":{"entity-type":"item","numeric-id":3919698,"id":"Q3919698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315834$8B17312F-4416-497C-91AC-5B3219E8B5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315834$3DBAA4CA-B7E6-4505-BDA2-5D67B8DF827B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cce7ff7be3ea1011fc17ff6c9482aab2154a580","datavalue":{"value":{"entity-type":"item","numeric-id":1063594,"id":"Q1063594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315834$E1729F83-DFF6-43FE-9EE7-F711AAA3BB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c13d8c4f9b6f2d65debfe54d1f367b84b9c0238f","datavalue":{"value":{"entity-type":"item","numeric-id":3231245,"id":"Q3231245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315834$A9E194C1-5B4F-49AF-888A-7B915643F7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6defbd05bd4ffee4e27a61675caca087373420","datavalue":{"value":{"entity-type":"item","numeric-id":3812218,"id":"Q3812218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315834$D0F6D726-23E5-403D-8E3D-021379A4C658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c662d813b1e9eefb532df071ece3cc094fe82f0","datavalue":{"value":{"entity-type":"item","numeric-id":3922662,"id":"Q3922662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315834$036C35BE-3145-43A4-9C8D-C6A2776FB257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7709e5ebc9ec481c831199a23d60fa2b954fc76","datavalue":{"value":{"entity-type":"item","numeric-id":3812217,"id":"Q3812217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315834$D780F08F-DD1E-4887-B47D-DDEDFA1CA815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7616634aca219cbbc097bb228d1d5a9ac2d6d079","datavalue":{"value":{"entity-type":"item","numeric-id":3487323,"id":"Q3487323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315834$92D7B752-DFD0-49A2-83F6-455FD8BF27CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"360cc14210d040c82c3fb8482fcff4a97cc7c9bc","datavalue":{"value":{"entity-type":"item","numeric-id":5537373,"id":"Q5537373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315834$758DCE07-D707-47D5-B57C-D374366FA85F","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":"Q1315834$6A75D28F-17C6-434E-B08D-02B4B4480982","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ace8406588b6e9e1135f73bbdefc6faf837c89b5","datavalue":{"value":"Q126648915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315834$155EBBB3-9988-4DFB-A1EA-5BD1D869FBB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"170e442bcad4fb55f635753e9f535076bedbce10","datavalue":{"value":{"entity-type":"item","numeric-id":4314762,"id":"Q4314762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4430866c3dd9bbb644773c46287abc79eca9a06a","datavalue":{"value":{"amount":"+0.829841136932373","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":"Q1315834$611E390E-3490-4901-B292-40404D3C2678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d21120a11cbbd1bd24c1b8d8f74d74d537e71f6","datavalue":{"value":{"entity-type":"item","numeric-id":3767329,"id":"Q3767329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f063ccde1954c5e6694f85012b4f8dd997aca9df","datavalue":{"value":{"amount":"+0.8295519351959229","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":"Q1315834$E318E6AD-65FB-43F5-9ED1-73A5D9725F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f2690c1f5a2bd662cdaf73346fb5939da4b8ee","datavalue":{"value":{"entity-type":"item","numeric-id":4312354,"id":"Q4312354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"312fa455820fb81e9c24264d1788aab01728d9bd","datavalue":{"value":{"amount":"+0.7991973161697388","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":"Q1315834$0E4E00E5-7005-4CEC-95D0-3190403CD167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ca222f16c61af127e8b8b376028e69555a31b8","datavalue":{"value":{"entity-type":"item","numeric-id":4314795,"id":"Q4314795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"847d1669fd678b547e22def274cc69891a82081b","datavalue":{"value":{"amount":"+0.7905533909797668","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":"Q1315834$44F4C06D-27CA-4D1E-893F-A6BC50A00481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81808c0456e667c79a3d049cfd1218ad1abe91b6","datavalue":{"value":{"entity-type":"item","numeric-id":1368584,"id":"Q1368584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5066bedbb7dd06b32a33a37c87dfb84da4807f63","datavalue":{"value":{"amount":"+0.7777512073516846","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":"Q1315834$EB2FF87F-8137-4517-9EB1-8D5A12D1E6B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hyperarithmetical relations in expansions of recursive structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hyperarithmetical_relations_in_expansions_of_recursive_structures"}}}}}