{"entities":{"Q923075":{"pageid":924923,"ns":120,"title":"Item:Q923075","lastrevid":65377047,"modified":"2026-04-12T02:10:44Z","type":"item","id":"Q923075","labels":{"en":{"language":"en","value":"Pairs of recursive structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4170878"}},"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":"Q923075$3DEEAAEB-199A-4C4B-8FBC-CFEE20CA0D0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca91e3ea7ffb756fa76285a664c38fba8f591e77","datavalue":{"value":{"text":"Pairs of recursive structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q923075$275CF4BD-E29E-4049-97B5-1DBF81D8ACCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af215ebbde1a7e2c8fb709b09270c65edb5e6411","datavalue":{"value":"0712.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923075$D0F8325B-96ED-4CE6-B7CF-806641840EDB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01d1e3380157bae669bdce698e6632a45e8fc748","datavalue":{"value":"10.1016/0168-0072(90)90004-L","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923075$383D5D93-A776-44BD-8B16-E7152F4C5E64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e59d7cdbbec99b0ac30571f5599ead43d03c8a5","datavalue":{"value":{"entity-type":"item","numeric-id":799719,"id":"Q799719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923075$19E48068-3FDF-4397-9295-04F67E71FEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fa8e092697f26e8493ed1bdb5b6bbe79c6f36bf","datavalue":{"value":{"entity-type":"item","numeric-id":494651,"id":"Q494651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923075$E5561A4B-3489-45BD-8E6A-A35601D6E301","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":"Q923075$C8796034-961C-404C-BC9E-B8F05FBB7DED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q923075$8B6C9480-DE29-4315-9C23-501D6A9A96FF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e0b214f9686ece371a4d84ed0d49da4ff5be02df","datavalue":{"value":"There are a large number of constructions in recursive algebra and model theory where we are given collections \\(\\{A_ n\\}\\), \\(\\{B_ n\\}\\) of recursive structures and a \\(\\Pi^ 0_{\\alpha}\\) set S and construct a recursive collection of recursive structures \\(C_ n\\) with \\(C_ n\\cong A_ n\\) if \\(n\\in S\\) and \\(C_ n\\cong B_ n\\) otherwise. The main result of the present paper is that for any recursive ordinal \\(\\alpha\\), and \\(\\Pi^ 0_{\\alpha}\\) set S if A and B are recursive structures such that the \\(\\Sigma_{\\alpha}\\) formulae true of A are a subset of the \\(\\Sigma_{\\alpha}\\) formulae true of B, then if (A,B) satisfy an additional decidability condition (``\\(\\alpha\\)-friendliness'') one can construct a (uniformly) recursive family \\(\\{C_ n\\}\\) of recursive structures such that \\(C_ n\\cong A\\) if \\(n\\in S\\) and \\(C_ n\\cong B\\) otherwise. The decidability condition is along the lines of those discovered by the first author in, e.g., Ann. Pure Appl. Logic 32, 113- 135 (1986; Zbl 0631.03016), and is designed for the inductive component in the constructions. The authors look at some extensions. The proof technique is that of inductive \\(\\underset{\\tilde{}} 0^{(\\alpha)}\\)- priority arguments cast in Ash's model theoretic framework of \\(\\alpha\\)- systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q923075$457104A2-6BD5-41D2-818E-C4880D879B71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923075$FB4BAC2F-7277-4C48-BE7B-B45A9C03A306","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0a5dc3391768cd9187624270fdca9916fe4be4c","datavalue":{"value":"4170878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923075$A80E7DFB-0862-476A-9B95-7997C14269E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e30b39824b3196faca9b67f515cbb8496a162d67","datavalue":{"value":"recursive collection of recursive structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q923075$D692AAD0-2297-423B-9AE4-31EDC14D3FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100b6ed221592d9a273872af1235cfe5add113da","datavalue":{"value":"\\(\\alpha \\) -systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q923075$B04DA0EA-573B-4450-A018-BB1EA74D6584","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8055ef4c08baf7aae068108b5a3771ed10ad54de","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923075$C1EEFD1E-A956-4803-9BE8-CA172E652838","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":"Q923075$6A8CA53D-5F7D-4156-B11C-C68EEA4E9C2A","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":"Q923075$694E7775-35B1-44AB-A379-7AAE7D1413BA","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":"Q923075$DBED2366-B6C9-41D1-A6D7-9FD27F3D95F4","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":"Q923075$BF06ADE1-01C2-47D4-AE97-AEF8B950F41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78460e66b40f734f2a647402e46b0e9c5daba583","datavalue":{"value":{"entity-type":"item","numeric-id":3484823,"id":"Q3484823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923075$45F637AD-0475-479A-95E9-A50B9EEEB0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6989014e34d3a9775035abf0cfcc3b2c1b5a10b","datavalue":{"value":{"entity-type":"item","numeric-id":4110996,"id":"Q4110996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923075$8C773ED9-4B5F-4BED-8100-0079F5658045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b46545876e885d0c5cb24e91e535c6751974ec","datavalue":{"value":{"entity-type":"item","numeric-id":3489981,"id":"Q3489981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923075$6C8E0E58-36E2-4D45-BFA5-CA8DE308E028","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8bf7d8af29f8d5caa772291fa55469a7ec9b140","datavalue":{"value":"https://doi.org/10.1016/0168-0072(90)90004-l","type":"string"},"datatype":"url"},"type":"statement","id":"Q923075$8F7E692E-763B-4581-A72A-F40DDC573A85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd1f0cc6a0defc4fcfac902a499e0118fc7e0d02","datavalue":{"value":"W1971015044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923075$7426A1D7-1D4E-4BB2-A70A-EDABE7BA7122","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc4d576728d4fec19fa0c56b9327d3fd1a4d1f9f","datavalue":{"value":{"entity-type":"item","numeric-id":1184717,"id":"Q1184717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc9dd6a9bcd80af4907f1891a7ec248322037dc5","datavalue":{"value":{"amount":"+0.7945563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923075$6FA3C1F2-3F97-46FF-9983-77616D11E641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5371dcd48a8b79df1d6b43cbc168789060d5c27","datavalue":{"value":{"entity-type":"item","numeric-id":923078,"id":"Q923078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff8e7ede4db727b86081e2e702176e162a98daa7","datavalue":{"value":{"amount":"+0.78245527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923075$BC96E59D-8576-484B-8D51-B53BA6969489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2b2ee0bee717f2b02d5cb2f2d0d2aeddb65025c","datavalue":{"value":{"entity-type":"item","numeric-id":1315834,"id":"Q1315834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54eb490a6878d8633bd1971ba34d36ff67d68351","datavalue":{"value":{"amount":"+0.75571054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923075$D5E2E68E-F587-4F14-8A72-EC7891270DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c693d79c0a9a409f7de3782b2c4018788da211f9","datavalue":{"value":{"entity-type":"item","numeric-id":1106203,"id":"Q1106203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0403ec2d6d34faf7d573de0dbd39113bc0cdb3bc","datavalue":{"value":{"amount":"+0.73607635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923075$83AA4675-2FCC-4CB3-BF9C-2735CAEACA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba3b87aca0b22a1172146463c6c8b3d97f9e4d81","datavalue":{"value":{"entity-type":"item","numeric-id":3984441,"id":"Q3984441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"160f3b9b03c33e1d3dd2538d067d3611449e4fff","datavalue":{"value":{"amount":"+0.72328866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923075$DE7D0595-54A3-4CF0-8D01-52ABAD890904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5987e74f089b6aac59cec88ac7075151aba1b218","datavalue":{"value":{"entity-type":"item","numeric-id":3370614,"id":"Q3370614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6bb4dc039b3b96320d40ef86e987a797eab1c25","datavalue":{"value":{"amount":"+0.721242","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923075$11228D2B-86BC-41D6-BF27-B77317BF584C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"041cf5312fde8dc4934791e5721190443ac9ab6c","datavalue":{"value":{"entity-type":"item","numeric-id":4133623,"id":"Q4133623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55bf07aca72741c43a82a7985906bea9ee3ba106","datavalue":{"value":{"amount":"+0.7184454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923075$3CF29471-FD8E-4EF1-A252-77B6A2D2E0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aed13585ca478441d4883e419673f20768bdffcf","datavalue":{"value":{"entity-type":"item","numeric-id":4934284,"id":"Q4934284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2acff5ae78a1b67d988aa172d75cb1f25810431b","datavalue":{"value":{"amount":"+0.7121951","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923075$AE7EF68A-43F3-437B-9A08-8977DEBB25A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6f8c34b2e86e926647c9e33b73f609654c0017c","datavalue":{"value":{"entity-type":"item","numeric-id":1923576,"id":"Q1923576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c1de88a6e1fbb299fe3095d4a47a3521ba9b071","datavalue":{"value":{"amount":"+0.71028024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923075$D9F90CF5-88DC-4BDC-8654-E6D2ADB9FF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ebb2feb6a05f56b18e6699f646fe2e52d46f375","datavalue":{"value":{"entity-type":"item","numeric-id":1821772,"id":"Q1821772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5dad191c5906f58b0ccd0d5e981feb68130a97d","datavalue":{"value":{"amount":"+0.704786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923075$F3356E49-ECE0-4CF3-A3E3-E924F67A327E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pairs of recursive structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pairs_of_recursive_structures"}}}}}