{"entities":{"Q579243":{"pageid":581010,"ns":120,"title":"Item:Q579243","lastrevid":62922912,"modified":"2026-04-11T09:00:42Z","type":"item","id":"Q579243","labels":{"en":{"language":"en","value":"Calculable enumerations and equivalence relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4014695"}},"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":"Q579243$4A87DE15-F922-4438-A918-32CEF32970BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd6b943a2eb7a75d12704dc8c181d9ee80532fff","datavalue":{"value":{"text":"Calculable enumerations and equivalence relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q579243$8024A9B3-ED9E-4688-AC65-2DC8CF35D715","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73c07b1bd6c4d340ab11c2e8fa34159fab8dd51c","datavalue":{"value":"0625.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579243$C9638204-48FD-405F-B832-1C67017FBECB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"521e0c43259ef70d5e5759ac2b07046435be0fb0","datavalue":{"value":"10.1007/BF00969208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579243$41B8E68C-A8A0-4A6B-A093-7B5B287267AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"106a0a08e3a9843e2639b9f628d2a027cb310bd1","datavalue":{"value":{"entity-type":"item","numeric-id":579242,"id":"Q579242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579243$3C241686-0B7B-4796-99D3-6E1042A958B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579243$EB789B09-D8BE-4DF7-8F3B-1C4098CCCAF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q579243$BEC45EEE-FF3C-44C6-8071-471E56A7EA2C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aa326f79520054f4f9160e2875f0743a20315fad","datavalue":{"value":"Let \\(R_ 1\\) and \\(R_ 2\\) be recursively enumerable sets (RES). We say that \\(R_ 1\\) is \\(\\simeq\\) equivalent to \\(R_ 2\\) \\((R_ 1\\simeq R_ 2)\\), if \\((R_ 1\\setminus R_ 2)\\cup (R_ 2\\setminus R_ 1)\\) is finite. Moreover, let \\(\\nu\\) be an enumeration of the family S of RES. An enumerational equivalence for the enumeration \\(\\nu\\) (with respect to \\(\\simeq)\\) is an equivalence relation \\(\\simeq_{\\nu}\\), defined as follows: \\(\\simeq_{\\nu}=\\{<x,y>|\\) x, \\(y\\in N\\), \\(\\nu_ x\\simeq \\nu_ y\\}.\\)    Theorem 1 of an earlier paper of the author and \\textit{N. G. Khisamiev} [Algebra Logika 24, No.1, 108-118 (1985; Zbl 0601.20051)] characterizes equivalences on N which are enumerational equivalences for computable enumerations (with respect to \\(\\simeq)\\) of families of general recursive functions (GRF). This fact is used in the mentioned paper to construct a torsion-free constructive Abelian group, for which the reduced part is not constructivizable.    In Sec. 1 of the present article we characterize equivalence relations on N which are enumerational equivalences for computable enumerations (with respect to \\(\\simeq)\\). In Sec. 2 we consider the problem of single-valued computable enumerations for factor-families of fundamental families of recursively enmerable sets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q579243$DF593339-8048-4973-8E52-391A37835309","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579243$FD26623A-4D40-4E3E-BB24-4AD5C39E69B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4444c78a5916635bd22f4721faa9c43ac9173862","datavalue":{"value":"4014695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579243$AF694F1B-9AAD-41A4-9522-597BBFA4450A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea4754038c6dcc4a2ba7a190b976f0e8030bcde7","datavalue":{"value":"computable enumerations","type":"string"},"datatype":"string"},"type":"statement","id":"Q579243$5D5B0A57-1F02-4E1E-9FF8-C950B7C25574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1abd81592b9a52449aa5ae6f32728555b2dc0529","datavalue":{"value":"enumerational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q579243$59A7541B-B9C4-4DF4-9221-976614E52339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd7884f20c8f87422bbc52076fab6a08675c0a24","datavalue":{"value":"equivalence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q579243$70DD1D62-B8CD-4416-9A76-F28FF849DC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e3aca1cabdd019deae60707d8b8e867a924bc99","datavalue":{"value":"factor-families of fundamental families of recursively enmerable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q579243$D5D00F4E-CF81-4F13-8D66-5EFF3B5E603B","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":"Q579243$A9911FFE-233B-48AD-8901-0DFBC48C847A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0888a322a88f30252daf7f95ed3e66b6e35acd","datavalue":{"value":{"entity-type":"item","numeric-id":1080958,"id":"Q1080958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579243$4BA83F07-24CB-47AB-B5AB-F6F8707CD4A7","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":"Q579243$5B573824-6FA8-4D89-8949-7BE64B77CFA9","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":"Q579243$EAEFFFAB-900C-460A-B01A-B1A8D17393F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4ed55597a6baa077859e07a9ead910f27eb958c","datavalue":{"value":{"entity-type":"item","numeric-id":770790,"id":"Q770790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579243$68AA0999-DAE4-4957-B0FB-E52E30BBCF01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76f6e1b2034a799a3469ce7221a5302eaced8401","datavalue":{"value":{"entity-type":"item","numeric-id":896924,"id":"Q896924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"257d47a9aac42637729910c85c95f006f22c5fdb","datavalue":{"value":{"amount":"+0.7595141530036926","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":"Q579243$2AFE3D01-5F0A-4F24-A465-BA1DD4D05072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3009a9aab8d691153a97ff989b3de2fa877a08f6","datavalue":{"value":{"entity-type":"item","numeric-id":3789548,"id":"Q3789548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c29a1ff24200b1b42735cd0988e180c39c9bf0dc","datavalue":{"value":{"amount":"+0.7590098977088928","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":"Q579243$BC602332-C826-4013-AE25-1AEF0D764501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53c45892991f558a070f7eaa2af20c5e2aed7b40","datavalue":{"value":{"entity-type":"item","numeric-id":2349100,"id":"Q2349100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3517c426c0d4e79be54887db546eb8bcc21620bf","datavalue":{"value":{"amount":"+0.7574664950370789","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":"Q579243$F62C499E-B5A3-4E8C-833A-ADE2F4D87C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ada70409693e656c67add1ff0fa710dfd9178e37","datavalue":{"value":{"entity-type":"item","numeric-id":4694255,"id":"Q4694255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a146676fa5491ea9c88469c6731729af05805dd","datavalue":{"value":{"amount":"+0.7512820363044739","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":"Q579243$A335FBD7-B647-4443-AD79-3BE61FC78FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc4a316109744634c0440e25eb5cce491cededfc","datavalue":{"value":{"entity-type":"item","numeric-id":3801540,"id":"Q3801540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b00b9f9d8250b3a61a41a5fbde5a4b0591bcc8fb","datavalue":{"value":{"amount":"+0.7512819766998291","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":"Q579243$EA2C9CE8-5AC5-4893-B759-776D03AD5EAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Calculable enumerations and equivalence relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Calculable_enumerations_and_equivalence_relations"}}}}}