{"entities":{"Q1210135":{"pageid":1220884,"ns":120,"title":"Item:Q1210135","lastrevid":69904098,"modified":"2026-04-13T11:06:50Z","type":"item","id":"Q1210135","labels":{"en":{"language":"en","value":"The possible Turing degree of the nonzero member in a two element degree spectrum"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 169661"}},"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":"Q1210135$E5CF3FA5-D732-4239-8D23-852946840099","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b42b3f4ce2d158d299bf6be1a96ecb7c3918ddf4","datavalue":{"value":{"text":"The possible Turing degree of the nonzero member in a two element degree spectrum","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1210135$3FF3EBA8-F211-4F9B-A92E-F58C0C33D9F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ccde2d86413a779d3a55a3451687f7abb045b252","datavalue":{"value":"0773.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210135$DE4428EA-A709-4D43-8DE1-602312525A9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"555f66c0785bfd8407764d1054ae61fc94b479e3","datavalue":{"value":"10.1016/0168-0072(93)90190-O","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210135$367CAB48-0C03-4B16-9A30-BC67C1DB7947","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ec221a2b73dcf6fb94011fc6c6f693afff39c1c","datavalue":{"value":{"entity-type":"item","numeric-id":636348,"id":"Q636348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210135$DF28F9C7-E7F4-4AC2-B989-7BF9505625EC","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":"Q1210135$5D37FFEF-5405-4BBC-BD60-68A01A3A132D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1210135$6616716F-D4E7-4F56-AB47-EF4C839C6B7F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"161756eb56a89a5240553b9742104f50cd180ef1","datavalue":{"value":"Ash and Nerode defined a recursive relation \\(R\\) on a recursive model \\(A\\) to be intrinsically recursive if in each recursive model \\(B\\) isomorphic to \\(A\\), the image of \\(R\\) is recursive. Not all relations \\(R\\) are intrinsically recursive, and in this paper the author continues her studies into the degree spectrum of such \\(R\\). The degree spectrum of \\(R\\) is the collection of Turing degrees realised by the images of \\(R\\). Such spectra can have uncountably many members, but can have other realisations. In an earlier paper [ibid. 55, No. 1, 51-65 (1991; Zbl 0756.03022)], the author established that there is a two-element degree spectrum whose nonzero degree can be realised by a \\(\\Delta_ 3^ 0- \\Delta_ 2^ 0\\) set. The present paper improves this to \\(\\Delta_ 2^ 0-\\Sigma_ 1\\). This is established via a technical result constructing a recursive family of r.e. sets with exactly two 1-1 recursive enumerations up to equivalence. This technical result is proven to quite an elaborate argument constituting the bulk of the paper and is of independent interest. Both this argument and the main result are modifications of an earlier argument of \\textit{S. S. Goncharov} [Algebra Logika 19, 507-551 (1980; Zbl 0514.03029)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210135$2068AB32-024C-421F-BC3F-2684B141AB28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210135$DA0022FA-3835-480C-876A-25D6B2E545FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210135$B83D81BD-CD55-4D0A-BBF2-FA9E33245852","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d203a2c6fec6478d6285168973597928898167c6","datavalue":{"value":"169661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210135$6FEADD81-068E-467D-9154-E071318BD5F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51db4f34e604660b6ce694fc6429e1d80a627bcf","datavalue":{"value":"intrinsically recursive relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210135$DB25E813-D7BB-415B-8E85-E2C64D577EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b11d01f155b9d799c8ffe1fc5e6a1e5d8ab6a63","datavalue":{"value":"recursive model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210135$F3BE6F09-7625-42C8-9BB3-8631CC89107E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2e5e5c1bae94f30fa2d008f627ce1e408e23d38","datavalue":{"value":"degree spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210135$A4E86D7B-90AB-4D47-BC8E-6F3DD4C12AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91fe4280e2e06a0a064865358db087007d3f302b","datavalue":{"value":"Turing degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210135$930E12F2-8CE5-452F-812A-CB64DCF4DFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"403255e0bbc5fc6fb0794a453ae381c29120cb51","datavalue":{"value":"recursive family of r.e. sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210135$97858E44-0063-4C7E-9FAD-CDBB56FAC0E1","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":"Q1210135$29C49A17-0F58-4819-9A22-6CDA9F3C34DB","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":"Q1210135$75B6A7C4-9A25-4E44-9D95-81F48B307F51","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":"Q1210135$E7C04E66-F53D-4CAA-9884-A3E8685F22F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f3d3c22d16b59f85df7281ce9f77fe30deb97c4","datavalue":{"value":{"entity-type":"item","numeric-id":1050980,"id":"Q1050980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210135$E4241560-358C-4785-9730-B0BA1607BD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05842771ad47a3d3403f057a3b67447b5fa7c597","datavalue":{"value":{"entity-type":"item","numeric-id":1159633,"id":"Q1159633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210135$C19ECE2B-FC2C-45F5-95D9-A8C414E61175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889f3996a3ccc577e577189324c66bf212472b18","datavalue":{"value":{"entity-type":"item","numeric-id":3331204,"id":"Q3331204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210135$A6970647-E920-409E-AEEB-3660B9933DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c8cd4690daf1479ca00ef64fa528a05f589c3a","datavalue":{"value":{"entity-type":"item","numeric-id":1182483,"id":"Q1182483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210135$AB04C3D0-B378-4B28-BC83-DE6B934DFC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d9b5a40ef5c443940407cd026c9565d7e441f17","datavalue":{"value":{"entity-type":"item","numeric-id":1182431,"id":"Q1182431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210135$F396EAFB-5619-4D53-A342-1D1498E071FC","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":"Q1210135$860E9742-F1F1-446E-A577-80335FFAA6B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9d865deeb564200fa602c3b0a1315373ec1302a","datavalue":{"value":"https://doi.org/10.1016/0168-0072(93)90190-o","type":"string"},"datatype":"url"},"type":"statement","id":"Q1210135$D2AA1F99-F25E-44EA-B4C3-8E991FD165EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9c76b6b4d5d5812999aad92963650f376743619","datavalue":{"value":"W2032686575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210135$8A82826F-2DEB-414D-9C76-9DEA2BA8FB89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"472d21e0e7531221f5e359f11e08a0926a219029","datavalue":{"value":{"entity-type":"item","numeric-id":1182431,"id":"Q1182431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e92ca659bbd2643e83befe733bb72d3cd8a1321","datavalue":{"value":{"amount":"+0.8566810488700867","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":"Q1210135$16AF11A3-5E66-4416-8701-8C999AD5625C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6656bffce0be6180ff6ddb030082a7a4d5e466b2","datavalue":{"value":{"entity-type":"item","numeric-id":1182483,"id":"Q1182483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c7f6905979da37080807d36508e2df3974efda6","datavalue":{"value":{"amount":"+0.847151517868042","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":"Q1210135$2E52C335-403B-4ABA-B0D1-548C19355015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f708f1c3b1423f04c3c62928448ac27daf56217e","datavalue":{"value":{"entity-type":"item","numeric-id":1295383,"id":"Q1295383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4949b90b895ce43d2862ae909d817609a0c88a1","datavalue":{"value":{"amount":"+0.8142069578170776","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":"Q1210135$28703BE4-6472-4012-9AA4-5DACAF85F315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d1d1e9b1943b5d33332b382c9c0fed484f8e2f6","datavalue":{"value":{"entity-type":"item","numeric-id":3149990,"id":"Q3149990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4949b90b895ce43d2862ae909d817609a0c88a1","datavalue":{"value":{"amount":"+0.8142069578170776","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":"Q1210135$A97BC27E-CEBE-478A-A569-ED954CE9DB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3c5a24a9ab26b030768a3b882a6b41d0c728d21","datavalue":{"value":{"entity-type":"item","numeric-id":2747697,"id":"Q2747697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"846e37186b2de8f9b1e45261b8f71d4331b660d6","datavalue":{"value":{"amount":"+0.807975172996521","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":"Q1210135$54E3222D-1097-41C5-B556-3F3145208F19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The possible Turing degree of the nonzero member in a two element degree spectrum","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_possible_Turing_degree_of_the_nonzero_member_in_a_two_element_degree_spectrum"}}}}}