{"entities":{"Q1102276":{"pageid":1113028,"ns":120,"title":"Item:Q1102276","lastrevid":66683979,"modified":"2026-04-12T11:55:30Z","type":"item","id":"Q1102276","labels":{"en":{"language":"en","value":"A note on distance increasing reducibility"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4049630"}},"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":"Q1102276$67846442-09CD-47E5-B455-682F69AE7784","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b1fa8128545d568f9e81c6677e2140dc176c746","datavalue":{"value":{"text":"A note on distance increasing reducibility","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1102276$28FCFC05-CE9A-4573-9083-0AE0A2AE9B5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c55969f334f686f7c4f46dc648e304d847687765","datavalue":{"value":"0644.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102276$0DF47472-0769-4FC2-AE4D-0EE9765F5D11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0880aa7dda3bbf22b991349876cdfc0e33b32d5f","datavalue":{"value":{"entity-type":"item","numeric-id":164177,"id":"Q164177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102276$1952DE1F-DC89-41E8-9596-B651FA57F0C2","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":"Q1102276$363C265F-2FE3-41A4-A9E9-4DB40A3BF133","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ad26477cff1542c1f5fe247055b9a487ed6e65ce","datavalue":{"value":"A new type of reducibility between sets of natural numbers (the distance increasing reducibility) is introduced in the paper. The author tries to analyze properties of distance increasing reducibility and its relationship to many-one and one-one reducibility. Let N be the set of natural numbers. A function \\(f: N\\to N\\) is called distance increasing function (dif) iff f is recursive and, for every \\(n\\in N\\), \\(f(n)>n\\). Let A, B be subsets of N. If \\(f: N\\to N\\), then \\(A\\leq_{di}B\\) via f iff f is dif and \\(\\forall n\\in N:\\) \\(n\\in A\\) iff f(n)\\(\\in B\\). A is distance reducible to B \\((A\\leq_{di}B)\\) iff either \\(A=B\\), or there is a dif f such that \\(A\\leq_{di}B\\) via f. For \\(\\emptyset \\neq X\\subseteq N\\), min X denotes the smallest number in X. Obviously, if \\(\\emptyset \\neq A\\) and \\(A\\leq_{di}B\\) via f then min A\\(<\\min B\\). Hence, if \\(\\emptyset \\neq A\\) then \\(A\\leq_{di}A\\) via f does not hold for any dif f.    Therefore, Lemma 1 of reviewed paper: ``If A is a recursive set and both A and \\(N\\setminus A\\) are infinite, then there is a dif f such that \\(A\\leq_{di}A\\) via f'' does not hold. The only theorem of the paper: ``There exists a nonrecursive enumerable set A such that for any dif f, \\(A\\leq_{di}A\\) via f'' does not hold, too. The complicated proof of this theorem is based on Lemma 1.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102276$464DED0A-B2B7-4E20-B6F9-CE259DD4D0DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102276$BB6228EA-9B6E-4973-AE80-401C3CB10A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102276$81AC7C28-2C2A-45CD-B72F-0B4A699C4DA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97f41965b764f20103ff74f19f2335dae0cbbdd6","datavalue":{"value":"4049630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102276$316F701A-DF22-4AEB-9023-C946ACBF4D67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"714dbf8503aa74865f61bb54b8fa88e1afbb46b2","datavalue":{"value":"distance increasing reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102276$8F802748-374A-49BC-8C99-983CF16008F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f376f28dbe623f2e858f502940f87ee857a207ef","datavalue":{"value":{"entity-type":"item","numeric-id":1244294,"id":"Q1244294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102276$8B146431-124D-4B7C-B0F6-93562D4EFB4F","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":"Q1102276$B476D014-B8D4-4A99-9837-8948A1D3FE57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb4c14f32ed4320fd4f8d06d09a51d4188195c77","datavalue":{"value":{"entity-type":"item","numeric-id":3789544,"id":"Q3789544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba6ed86f05cb2125c543bee160f6f35155dac9a0","datavalue":{"value":{"amount":"+0.6981803774833679","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":"Q1102276$04D72C98-CC9B-4D15-86FE-CD2AA5A75B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"badc180c8e8618d3affd6212e54c1c610a6a109f","datavalue":{"value":{"entity-type":"item","numeric-id":3331213,"id":"Q3331213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fedcadf47277d42243e4eb53e272bc17ea8a363","datavalue":{"value":{"amount":"+0.6923078894615173","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":"Q1102276$A4B9298E-267F-4D59-BE9C-53714D8856E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5f0bb58357ca7ac199a479d7333b54409803ba8","datavalue":{"value":{"entity-type":"item","numeric-id":3351356,"id":"Q3351356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1baecef89ae4df59eecf6fe8c325644398424296","datavalue":{"value":{"amount":"+0.681205689907074","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":"Q1102276$B17D00CD-FACF-4195-AEC4-13E63A68ECC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7f4270e3c1afba36bedf14e21673b533b6a0d65","datavalue":{"value":{"entity-type":"item","numeric-id":3816066,"id":"Q3816066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e28d6c875b82ba34ebbb7318e406cb6b3ea4869","datavalue":{"value":{"amount":"+0.6794574856758118","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":"Q1102276$3F98BEDE-0B64-4B4A-A5A3-2E12C8F98590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92d5fd83c957d715dd7dd20cc2918f6193b675f2","datavalue":{"value":{"entity-type":"item","numeric-id":5467231,"id":"Q5467231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f0a1252aca67b2d6e199e945d29f43ce5c0dc18","datavalue":{"value":{"amount":"+0.6792510747909546","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":"Q1102276$EBD62D8E-1C2B-476E-BAB0-08CB301D4B60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on distance increasing reducibility","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_distance_increasing_reducibility"}}}}}