{"entities":{"Q1086229":{"pageid":1096981,"ns":120,"title":"Item:Q1086229","lastrevid":49011259,"modified":"2026-01-06T11:38:26Z","type":"item","id":"Q1086229","labels":{"en":{"language":"en","value":"Upper bounds for the arithmetical degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3983151"}},"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":"Q1086229$9C52640A-65D0-4A7D-AE3A-574A15EB0970","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f34ba1ec741d9fe9b2769e3a853e8f6b4f10725d","datavalue":{"value":{"text":"Upper bounds for the arithmetical degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1086229$9B9CCEC9-BCEC-4579-A17D-E55411E9C102","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56ce307f3e22b227edc8943a0b34d397949b3ae6","datavalue":{"value":"0608.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086229$23724F42-E8D5-4E96-98FB-F820513475AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6dc574f9adca130c226d6fdee73120fe5cd134b3","datavalue":{"value":"10.1016/0168-0072(85)90001-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086229$91C22AF7-7E05-4D03-A4F8-3C4B20BDDAE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d2bcabba238ebd3703bf94360bc556df90e8632","datavalue":{"value":{"entity-type":"item","numeric-id":1049746,"id":"Q1049746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086229$E4ECF7B7-58C6-49A4-8AA4-80E28C0C9799","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":"Q1086229$396EBD4E-A3CA-4EE0-B7C7-E70825F34A77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1086229$3488D516-3A2D-4702-82CF-0563ACE5B8B6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d7a6436ce9116a3dec86977f70aceba567211ad9","datavalue":{"value":"We show that there is an upper bound \\(\\underset \\tilde{} d\\) for the arithmetical degrees such that \\(\\underset \\tilde{} d'\\geq \\underset \\tilde{} 0^{(\\omega)}\\) but \\(\\underset \\tilde{} d\\) is not the degree of a subuniform upper bound for the arithmetical sets. It then follows that this degree is not the degree of a model of the elementary theory of the semiring of natural numbers. We next turn to comparisons of the upper bounds for the arithmetical degrees below \\(\\underset \\tilde{} 0^{(\\omega)}\\) and the degrees below \\(\\underset \\tilde{} 0^{(2)}\\). We show that all uniform upper bounds for the arithmetical functions bound minimal upper bounds for the arithmetical degrees. We then introduce a counterpart of the generalized high/low hierarchy which is useful for studying upper bounds for the arithmetical degrees. We first locate minimal upper bounds for the arithmetical degrees within this hierarchy. We then give a direct proof of a result hidden in a paper of \\textit{J. Knight}, \\textit{A. H. Lachlan}, and \\textit{R. I. Soare} [J. Symb. Logic 49, 425-436 (1984; Zbl 0576.03044)] which relates jumps of upper bounds for the arithmetical degrees to uniform upper bounds for the arithmetical functions. Finally, we determine which classes of this hierarchy are non-empty. The conclusion discusses open questions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086229$42F377C8-44FE-47A4-A9BA-7E8BE962C337","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086229$01A6DA8F-C76B-4460-ABFF-B170270F1E2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fb5e7f47389bfc384364ffca48104e6635fae60","datavalue":{"value":"3983151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086229$2FC0C647-2CA1-4D89-B53E-2BB279397F48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23c881dd9f3b2f6d5ea8dc1f0727e53bb82f957d","datavalue":{"value":"arithmetical sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086229$B942804C-02CF-46BB-94CA-5211258D81D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5d15ad8fc229db84d47e5ae2fdfc0ccd108c92e","datavalue":{"value":"generalized high/low hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086229$B99A993F-136F-40F7-8DF3-4047D3424BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab678401065009195c5ba52777bf6ed77e39dc1c","datavalue":{"value":"jumps of upper bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086229$74915062-47E9-436F-9669-A6554EFCC44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e746038a19aab9a1d9f253d817dec55be4b2e1a","datavalue":{"value":"arithmetical functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086229$9027F3EA-DEAE-498F-B118-B1D66E908E47","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":"Q1086229$881CE270-9EA9-481D-9F62-C08722C4CB26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d2f27bc2d305ad4935e8fec6c5901d63bb628b7","datavalue":{"value":"https://doi.org/10.1016/0168-0072(85)90001-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1086229$8C49550C-148B-48B9-8221-DA4E4CE036C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ac16e0791294e39807902d3b6c4756b41c61b72","datavalue":{"value":"W2048019510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086229$D437BD1F-DEE8-4CE8-8384-3376C37631DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"80bbeb77ae2162fa062ee7391cb04c8834713afd","datavalue":{"value":{"entity-type":"item","numeric-id":4067086,"id":"Q4067086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086229$7C5E4B70-500F-4BB9-924D-8F0F24D54885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c24768f096c93018c846a8204514b67f3f2cb93","datavalue":{"value":{"entity-type":"item","numeric-id":5605217,"id":"Q5605217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086229$8380FBAB-F451-4D34-B7D7-5CE8B0BC3364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cfc4e8eb2561cbf57ee9f7acd077498b08dbea4","datavalue":{"value":{"entity-type":"item","numeric-id":4170709,"id":"Q4170709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086229$389D21E3-66BC-4EC2-9948-F03D9A8B93B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf5a2a04cf1c446dc0335aaa50c8c2dafe49516","datavalue":{"value":{"entity-type":"item","numeric-id":3962989,"id":"Q3962989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086229$20A5148F-548C-49C5-9AF6-607DF01CAB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b306fbc79f4190b18cc2d8d3083515bec0da32e","datavalue":{"value":{"entity-type":"item","numeric-id":5625139,"id":"Q5625139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086229$33620C1F-EB91-41C6-8600-84613578CBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29936b592ba37ace67c61d1271581ab65646e5e1","datavalue":{"value":{"entity-type":"item","numeric-id":4126330,"id":"Q4126330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086229$6BB79F61-FF7B-461D-9FB5-B2FDD98C4217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6a995e56ac1b7709f67e33e673fd3446158ecc2","datavalue":{"value":{"entity-type":"item","numeric-id":4198741,"id":"Q4198741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086229$34F1B5C2-3922-4741-ADF1-B3A86E6C9C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7737d82565a721a9fcb7362596a6c785355cf82","datavalue":{"value":{"entity-type":"item","numeric-id":4100082,"id":"Q4100082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086229$7A864C0B-8BB9-45D2-A92F-D46C4306D003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa1179cbd64478c9b930b91db4b91f15e929b5da","datavalue":{"value":{"entity-type":"item","numeric-id":3697017,"id":"Q3697017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086229$6ADF8F9E-444E-406F-BFD1-0D6476458D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe67cddb1d2e8d4582eb3ba360c56bb29576a54c","datavalue":{"value":{"entity-type":"item","numeric-id":3329452,"id":"Q3329452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086229$3643E337-61BD-4C8C-83D3-E742A61030DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95647fa7c717568a818dba809c49fcc643e4e74a","datavalue":{"value":{"entity-type":"item","numeric-id":3919702,"id":"Q3919702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086229$B5862389-9979-43D4-9E61-C850B47A5194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1f9aaf61a487569e0feaae9bd28ce3031d2066f","datavalue":{"value":{"entity-type":"item","numeric-id":3222194,"id":"Q3222194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086229$1C6D573D-F2AE-4DDB-A995-1C8E8BF367A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae030f3fe27324851e6736cee0de1420e2974c6","datavalue":{"value":{"entity-type":"item","numeric-id":3671982,"id":"Q3671982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086229$A3FE2FBF-CA9E-4170-A847-9C0127C65C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba7039ce1a41f3b0c4f4e36248ae9d3fb4d1cefc","datavalue":{"value":{"entity-type":"item","numeric-id":5571699,"id":"Q5571699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086229$A2D65816-4E13-43C9-9FAC-4B15D2944282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c90199f1e6aee81fd74ab65b582612d33806680","datavalue":{"value":{"entity-type":"item","numeric-id":3665087,"id":"Q3665087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086229$CA048EEE-890A-4126-BF48-11C466FEAB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5992230684d7346455bcace0e73849af283b1321","datavalue":{"value":{"entity-type":"item","numeric-id":5632568,"id":"Q5632568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086229$7F9A797C-5A0A-4229-9CCC-4CA960C1F139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a61034e39fc16a67e0ab62da3fc5eb5ba24a497","datavalue":{"value":{"entity-type":"item","numeric-id":4079600,"id":"Q4079600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086229$2C7A84F0-EE6A-44CA-8F8C-B7A27B97DBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75fb05ff45c85c418587a5c71d455d08c4df02a","datavalue":{"value":{"entity-type":"item","numeric-id":768100,"id":"Q768100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086229$45650EDC-1620-46B2-9326-B22F226B322F","rank":"normal"}],"P1643":[{"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":"c98eb149bcb9bf13b5a9095f2ca2687573588a85","datavalue":{"value":{"amount":"+0.8467661738395691","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":"Q1086229$4B37AEC8-E5A1-4CE0-B7F2-0A7F9B503C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9132163b242b05928f1150ced4fb496eac8aa9b1","datavalue":{"value":{"entity-type":"item","numeric-id":4391422,"id":"Q4391422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5515154ff98dfe991943d471fe682a9d9612a2b","datavalue":{"value":{"amount":"+0.8455833792686462","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":"Q1086229$08912D69-DD54-47B2-8597-C23DDAEBC544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a68088d9f9ba84983b52096f44dfc2d377398fa5","datavalue":{"value":{"entity-type":"item","numeric-id":3128467,"id":"Q3128467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a385e473630928bdbaa357e685d611a0c55c3e8","datavalue":{"value":{"amount":"+0.842801570892334","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":"Q1086229$C2B03CDA-6BB5-4339-BB71-B8D515B19BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71cafed040a61d32f3c8f4e5c497443926404508","datavalue":{"value":{"entity-type":"item","numeric-id":4314684,"id":"Q4314684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"877dc49cc57dda29854ca34dd71c27c18c253897","datavalue":{"value":{"amount":"+0.8183792233467102","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":"Q1086229$609B3DAB-DDF5-4777-8A05-45E7C4AF959F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dab3c5c2126b5908e038dc8791ce8aefd01514c","datavalue":{"value":{"entity-type":"item","numeric-id":1073789,"id":"Q1073789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73779e857261ed335a4b1c93b81710cfe728e15a","datavalue":{"value":{"amount":"+0.7663885951042175","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":"Q1086229$74B28E2B-64EE-4B49-845A-04996477987D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1086229","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1086229"}}}}}