{"entities":{"Q5945541":{"pageid":8122343,"ns":120,"title":"Item:Q5945541","lastrevid":47683132,"modified":"2026-01-02T10:24:05Z","type":"item","id":"Q5945541","labels":{"en":{"language":"en","value":"Extension of embeddings in the computably enumerable degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1657115"}},"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":"Q5945541$3EAA0392-797C-44A0-8242-E8240738B5CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3d087d301de640652955d46ab4667bedb2abc04","datavalue":{"value":{"text":"Extension of embeddings in the computably enumerable degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5945541$2B5E9020-DB66-4E18-8BA9-F9D657B81379","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6e6a08d15cb66891ac8826e604322e031dddb91","datavalue":{"value":"0988.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945541$9159B12B-5023-4842-B961-8CFA1F6281D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bc96aaa56374c07dab67340790b45b0752d1487","datavalue":{"value":"10.2307/3062109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945541$5AA324AE-0F5F-4DB8-9BC0-F511ECB66992","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a89229a66bdfdb3e2e5619b7e8031866b3343269","datavalue":{"value":{"entity-type":"item","numeric-id":189917,"id":"Q189917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945541$6B413C38-1BF3-4540-8313-ACAD97927AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99d656eeef84f51d80bcbc7ccf03ab138401b634","datavalue":{"value":{"entity-type":"item","numeric-id":207673,"id":"Q207673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945541$ED8B7B7B-1C37-4B52-B5D6-CA65C829ED40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945541$A1C591C0-A10C-4C22-83DC-EBB84F79240A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1de092f67946937b91df34e98936fba6ee61917","datavalue":{"value":{"time":"+2002-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5945541$30B23A24-1660-46C5-B7B1-C437A470A6A6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b3582c9d4ae7469a9c94cb79405a2ef3a6aac57f","datavalue":{"value":"The paper presents a solution to an important, long-standing problem in the Turing degrees, the problem of extensions of given embeddings. More precisely, let \\(P\\), \\(Q\\) be partial orderings with \\(P\\) a sub-order of \\(Q\\) and such that there is an embedding \\(\\nu\\) of \\(P\\) into the computably enumerable Turing degrees. The main result of the paper gives a necessary and sufficient condition when the embedding \\(\\nu\\) can be extended to an embedding of \\(Q\\) into the c.e. degrees. This problem has already been solved for many related structures, such as c.e. tt-degrees and c.e. wtt-degrees, but nowhere it was so hard and complicated. It was preceded by a number of partial results and ends a long period of development in Computability Theory. It can be viewed also as a significant step in the theory of the priority method and a great advancement into its practice.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945541$A4E66FBC-056D-4834-B4FA-1611E2449527","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e1b8876fc0e708a0055b0cdba0e0185bc5d38e76","datavalue":{"value":{"entity-type":"item","numeric-id":465141,"id":"Q465141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945541$01C99FB0-9DC8-4EDC-B970-3922B36E3DD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945541$74865B93-1C61-4121-B66E-3D034E779E66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5a53399162c9f878ba2ba06d9a90a27dd8c3b7e","datavalue":{"value":"1657115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945541$686D9E1D-0790-4EEB-93AC-7C8421FC395C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74e07bbf130adf319eaaf71c937ccbb3275dc7d7","datavalue":{"value":"computably enumerable degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945541$3E9CF8EA-6287-46DE-B418-7D7AAF8C23F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e7bd08d0645482afa238d75eafdc688efacb395","datavalue":{"value":"embeddings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945541$5BAD2C45-06FD-49FF-9DDD-93397B1C3DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11fcbd9fb9ae6552a50e30e63743fca9c40edb0b","datavalue":{"value":"partial orderings property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945541$3FB01D11-D533-41D8-9F14-682070FC0691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7629231024debd1ba026c9d2a307974e8b9c13a3","datavalue":{"value":"extensions of embeddings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945541$72E1EBC7-3E4A-436E-A965-A51C73062AAE","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":"Q5945541$9C115491-BE29-4808-AD79-3070BA8E2ADA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"caad29261d396ecbc021b6eb3c6ecf3dd0a717c4","datavalue":{"value":"https://doi.org/10.2307/3062109","type":"string"},"datatype":"url"},"type":"statement","id":"Q5945541$E9DFE6AA-970C-4A90-A874-BB0305D94410","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae92c2846294fa855c47502fd438d6208b5a09b9","datavalue":{"value":"W1986238564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945541$88E73C12-4D07-46F1-81EA-CE4ACB5601AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"004032712868595633c55e7a8951786d1b59cc9a","datavalue":{"value":{"entity-type":"item","numeric-id":3502647,"id":"Q3502647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee35c1ab7e9a8133355ac0dc679bbce9a53a72ea","datavalue":{"value":{"amount":"+0.861236035823822","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":"Q5945541$43D868BB-CA5B-4F2C-AFD0-6C51BA94C86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c4ad27613d20d67fbd4e8b5f1601d2bbb266830","datavalue":{"value":{"entity-type":"item","numeric-id":4326308,"id":"Q4326308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"425c219ac4bbfe1db45d752545663cdd1645979b","datavalue":{"value":{"amount":"+0.83282071352005","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":"Q5945541$FBC3C259-2EF2-4AF8-B9BF-DCB3A90AB2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2426622ee55c8d4b117303c6a6f3ec30ca63f77a","datavalue":{"value":{"entity-type":"item","numeric-id":4532601,"id":"Q4532601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7e06cec46d33de09a06a0a6470b10282d5556ea","datavalue":{"value":{"amount":"+0.8288965821266174","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":"Q5945541$2D23E8C5-511E-4AA0-A853-CA128D9C3A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19134ea3a8b23a93e1f2640c375adc52468c9e72","datavalue":{"value":{"entity-type":"item","numeric-id":2838113,"id":"Q2838113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3d612f064a7aff39b3742be15b1a4e4ebed40d4","datavalue":{"value":{"amount":"+0.8102422952651978","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":"Q5945541$1E5F109A-9B55-45C6-9013-806401499C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ce78ed7357fa93e7fa9b5775b120e06965131f5","datavalue":{"value":{"entity-type":"item","numeric-id":1295397,"id":"Q1295397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49a23b0abe8b085ae31fb36e07d0c0d3c3ec9a66","datavalue":{"value":{"amount":"+0.7989434003829956","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":"Q5945541$FB31F91C-0431-4E20-BA8F-179998F7F62A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5945541","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5945541"}}}}}