{"entities":{"Q798318":{"pageid":800166,"ns":120,"title":"Item:Q798318","lastrevid":48734770,"modified":"2026-01-05T18:02:24Z","type":"item","id":"Q798318","labels":{"en":{"language":"en","value":"A minimal upper bound on a sequence of Turing degrees which represents that sequence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3869315"}},"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":"Q798318$50730222-1628-4BEC-B48B-407AA15303FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64908eaf38af792864cdd33ef56207909014efcc","datavalue":{"value":{"text":"A minimal upper bound on a sequence of Turing degrees which represents that sequence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q798318$2536BC30-DCE7-4763-91E9-4FEFF2345FDB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e601b0f6bcd3f725916523fc0be0a4ff4b12db3","datavalue":{"value":"0546.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798318$68D01072-9532-4AB0-BA3C-4AD42765F7A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c1bc37e6e094a826bbeabaa496f463e54be767b","datavalue":{"value":{"entity-type":"item","numeric-id":792996,"id":"Q792996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798318$EE6A1DD8-738E-41EE-91D9-76720A0D2256","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798318$599578E7-6F42-442D-AF0B-125BBC1E1D8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q798318$11D10D7D-1DC1-4F0D-8309-9C6229C81AFE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"33734402db5160042962d63e4e2bd2690360120d","datavalue":{"value":"Fix a recursive pairing function \\((x,y)\\mapsto <x,y>\\); \\((f)_ x(y)=f(<x,y>)\\). Let I be a set of Turing degrees and \\(f\\in^{\\omega}\\omega\\). f represents I iff \\(I=\\{\\deg ((f)_ n)| n<\\omega\\}.\\) A degree \\({\\mathfrak a}\\) represents I iff some \\(f\\in {\\mathfrak a}\\) does so. Theorem. Suppose \\(I=\\{{\\mathfrak a}_ i|\\quad i<\\omega\\}\\) is a sequence of Turing degrees, and for all i, \\({\\mathfrak a}_ i<{\\mathfrak a}_{i+1}\\). Then some minimal upper bound on I represents I. - Some open problems are presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q798318$F9C30197-C5A9-48F9-BBC1-396646BBBD7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798318$2D59B2BD-5994-4857-95C0-CF240EF4B8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798318$7075F0C8-A40E-44F2-9EC5-0FFFFDE957A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1485f60df31241fc88923825fff6a5044f432e1","datavalue":{"value":"3869315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798318$C2B7A0FA-0CDF-4299-B759-8212669FFBC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91fe4280e2e06a0a064865358db087007d3f302b","datavalue":{"value":"Turing degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q798318$62518B96-6401-4B10-82F6-C155C503D2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b6c676707f22387f9c2e95bad94c4fd6d0b5791","datavalue":{"value":"minimal upper bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q798318$D0708EF0-A181-4AAC-B2EE-B675A8AE7301","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f1c7d6689d0b52438bf5455c154225ce1608d2b7","datavalue":{"value":{"entity-type":"item","numeric-id":535144,"id":"Q535144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798318$EF3DBCAC-783F-43F2-86D5-546D19A57C5B","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":"Q798318$44285A3F-11B4-44AB-B209-06CD1FC6C658","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5879e39504595e22f76fcd08ba79984a2218160d","datavalue":{"value":"https://doi.org/10.2140/pjm.1983.108.115","type":"string"},"datatype":"url"},"type":"statement","id":"Q798318$F72BA8A0-7EFC-43D9-9266-9C7FB2E6E319","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed2e8183a37f0f8a4ad334840f69089fc4a63da7","datavalue":{"value":"W1995411817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798318$06C8DDFA-AB6E-492E-9BCC-730EFBD3580C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2fade6fde32fbe7cca341c23cee6d05266952f37","datavalue":{"value":"10.2140/PJM.1983.108.115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798318$80BEE249-5949-4826-AE74-4CF5DF4B9F25","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fa1d5da247f72fcd133aa965413c224201cd8f5","datavalue":{"value":{"entity-type":"item","numeric-id":4848184,"id":"Q4848184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bd03468c822d63b3df0c6f7a7ea5ce7d575861d","datavalue":{"value":{"amount":"+0.7795024514198303","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":"Q798318$27628EF4-345C-46B1-B37A-F8DC0EA8280C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bcda370cab89bb09d2d303b121e6c3318bb4b2a","datavalue":{"value":{"entity-type":"item","numeric-id":4302349,"id":"Q4302349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bd03468c822d63b3df0c6f7a7ea5ce7d575861d","datavalue":{"value":{"amount":"+0.7795024514198303","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":"Q798318$B7A22CD7-F9CC-41B1-8807-13637671E9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"040db0148b683b900f8a36a9e343bca4994e7f68","datavalue":{"value":{"entity-type":"item","numeric-id":639654,"id":"Q639654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9006ee14d1db950b82b92be65f753278758159c0","datavalue":{"value":{"amount":"+0.7332872152328491","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":"Q798318$79FD3713-F03B-4211-B40D-3095C74356D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f85aaa51ce4a3ae0e09dbded9c21f64ee7fa5c7","datavalue":{"value":{"entity-type":"item","numeric-id":5502806,"id":"Q5502806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4787532c1db368486a4a8b5100d6fde936c0c43","datavalue":{"value":{"amount":"+0.7286692261695862","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":"Q798318$3B9BA5BF-D904-4D12-9549-F6151ABD2BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c2d63213504455054976ae5a25934d551f6b08a","datavalue":{"value":{"entity-type":"item","numeric-id":3365512,"id":"Q3365512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32258ae27667087a0e3be74b383d94ee7b97bcf5","datavalue":{"value":{"amount":"+0.7218865156173706","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":"Q798318$5C69B41B-BD36-45F8-8629-9D06CED399DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:798318","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:798318"}}}}}