{"entities":{"Q408165":{"pageid":409932,"ns":120,"title":"Item:Q408165","lastrevid":61632354,"modified":"2026-04-11T00:36:16Z","type":"item","id":"Q408165","labels":{"en":{"language":"en","value":"Streamlined subrecursive degree theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6019358"}},"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":"Q408165$DF30BDA9-B30D-4C15-B527-056905E11DF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f84df1e0215ea05d07f4f3e42165c78bb17e32c3","datavalue":{"value":{"text":"Streamlined subrecursive degree theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q408165$9C188D1A-1FFE-4E4C-AFB1-FE0E9B14572A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cdf691d06098e8b6010ace916533e0472dbdf813","datavalue":{"value":"1245.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408165$A73D7853-CB4F-4F77-BA95-A98C203065DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f0d13e4b2542710912219f7d7417306d0cfcc4e","datavalue":{"value":{"entity-type":"item","numeric-id":207724,"id":"Q207724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408165$273B36F0-D957-4430-8F01-481B2F1D4385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c69b8199ae5afd4a45936b4f950506228e3a93a1","datavalue":{"value":{"entity-type":"item","numeric-id":408164,"id":"Q408164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408165$4F69B7E7-E7F8-40D2-AA88-9678BFB3D965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35c1c300a719bd5f4d1087a4b9df89abcc695541","datavalue":{"value":{"entity-type":"item","numeric-id":408159,"id":"Q408159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408165$D8517B6B-633F-423B-9A4A-3D209D82AD42","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":"Q408165$FEBFEA66-2769-4CBA-8929-3EB4196185A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0a3f1e568029ab0648b899666b38e418849eaa7","datavalue":{"value":{"time":"+2012-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q408165$EF9CECBD-CD96-436F-B3D9-48E26592B310","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4d2633caf066af245def8a334c05179dcfed85ef","datavalue":{"value":"The paper under review consists of two parts. Part I is devoted to the investigation of the structure of honest elementary degrees, i.e., the degree structure induced on the honest functions by the reducibility relation ``being (Kalmar) elementary in''. In Part II the degree theory found in Part I is generalized. The reducibility relation ``being \\(\\alpha\\)-elementary in'', where \\(\\alpha\\) is an ordinal \\(\\leq \\varepsilon_{0}\\), is introduced and the structure of honest \\(\\alpha\\)-elementary degrees is investigated. Relations between the degree theory developed in the paper and provability in Peano arithmetic is also discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q408165$4528C310-499F-47DB-AB5B-97B2FCF66039","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408165$FF2EF87E-BEB4-4D15-8391-93C8A696BB4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408165$57E2DFA1-3CFC-437B-A144-C9ED6ADD0309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408165$8C43548F-E60C-421E-9913-F6A90CDA727E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408165$DA7731CA-C4B3-4F71-B6FA-20F01C4C84BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94947cd5c1452d91b684e5c6925382cd6c783eed","datavalue":{"value":"6019358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408165$A002E931-8236-4FE0-9FBA-BF21D6A430CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5337ee898fdc493eb2a2a725944e779e3508d146","datavalue":{"value":"subrecursive degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q408165$607C4D1C-28FC-4824-88E1-3EE29D2D6DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ef6ddf262f1a61536876effa6455c530f12a281","datavalue":{"value":"honest functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q408165$D31E9554-29C9-44AD-BE88-8FD832E0A004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2d8ebf08a52bb1310d14cbe493d36638ea70160","datavalue":{"value":"provability in PA","type":"string"},"datatype":"string"},"type":"statement","id":"Q408165$47ED00CB-CF37-48D0-B3BD-64D8341C6877","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":"Q408165$C0ACC7D3-F0C7-425B-BDEB-0514A8A3A85F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afd95257cbacd178f83cff39ce3b0e2100c17e39","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.11.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q408165$546AF611-363F-40EC-97DA-DF9A93B05E1D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5261527ccb5d49d0c134194343181aaac6257805","datavalue":{"value":"W2015272527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408165$8BB8C5A8-6F26-4F69-8351-5AB663E3AE68","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c857c847cd7fcb3321a038996b74078da8aa6d","datavalue":{"value":{"entity-type":"item","numeric-id":4893145,"id":"Q4893145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408165$315F89C3-D96D-4F60-B8AA-182768141189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7fa35c0c7bf0cf019d342631a1fc438315dad93","datavalue":{"value":{"entity-type":"item","numeric-id":4304112,"id":"Q4304112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408165$71EB17F9-9661-4228-A002-5ED8B39AC495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"496e1380c5386223311d167d20c011c99eb4e773","datavalue":{"value":{"entity-type":"item","numeric-id":4893148,"id":"Q4893148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408165$F2FB2988-E547-4829-B3BF-7F77D1955283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d967d68ca61214bafbc217249c43101dbd6998af","datavalue":{"value":{"entity-type":"item","numeric-id":1128175,"id":"Q1128175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408165$85DC3D32-A63B-40CB-8335-57E787D51483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f34633de57d89838764e8be25cae9576879242e","datavalue":{"value":{"entity-type":"item","numeric-id":5945568,"id":"Q5945568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408165$1947E072-1BA5-4B5E-9F8F-5E6AAD4E3734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64731415796891abef4fb2bae528aed4dcbf44a3","datavalue":{"value":{"entity-type":"item","numeric-id":4503966,"id":"Q4503966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408165$23CDF866-B645-4487-8C1F-1027F72429C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"939bb175e94564ce4bdc5eb26ddf0a3180c8f37d","datavalue":{"value":{"entity-type":"item","numeric-id":4354788,"id":"Q4354788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408165$3779B27B-9CFB-4B94-9AC8-B8665CCAEBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d26c46fdbfe5269302e25eb644fa84e236f509","datavalue":{"value":{"entity-type":"item","numeric-id":1219687,"id":"Q1219687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408165$D4695025-A7EF-44CD-810A-BDC06C185DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba52b31ed94fe960ea75006320a7ab7aed5fec29","datavalue":{"value":{"entity-type":"item","numeric-id":4041560,"id":"Q4041560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408165$C5BB8148-B9CF-4ED8-B8B3-E566710514D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8941439de739c4cd65cdb44fb63c71009c2cabaa","datavalue":{"value":{"entity-type":"item","numeric-id":1229713,"id":"Q1229713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408165$9E722A95-BBFD-4B3F-A3B6-F586CB2FCDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c8f124158d7067e7483da2752260349cdfd2953","datavalue":{"value":{"entity-type":"item","numeric-id":5659521,"id":"Q5659521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408165$DDB6017B-1166-4D74-B539-6230407FBA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f4f13509c05ca44b6aa78d129e88e614ae0100","datavalue":{"value":{"entity-type":"item","numeric-id":1307029,"id":"Q1307029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408165$3CDB3480-AD70-4A42-A94A-3F364893F0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6767967882adb76e0c2d5a0723bec1adfdb1169a","datavalue":{"value":{"entity-type":"item","numeric-id":3241197,"id":"Q3241197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408165$86BA4EFC-3F9E-4323-B693-2CA4E5D15323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408165$ED75910E-CDDE-4ECC-BF0D-6EF73F778386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3961712aa73d0d7e49904f6e1571dab96fdf8ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3325707,"id":"Q3325707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408165$8292978A-4C26-4DF3-AA54-9A9E7F1AA7B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03997cd8282c21f8481f2720c779b807ecf7bb08","datavalue":{"value":"10.1016/J.APAL.2011.11.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408165$13AA3579-A979-41F8-A4F9-A6FB5B266F52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1205d5ddce65bfe555637c68890ea01b9144d1b","datavalue":{"value":{"entity-type":"item","numeric-id":4503966,"id":"Q4503966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1db5873e9edbe35f43c1df417d62aa23f626aa02","datavalue":{"value":{"amount":"+0.8395306468009949","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":"Q408165$70D320A5-7282-4FA1-92D3-81F830E67D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faf1d706e9d013bdbb30d94779a7ef624f766b86","datavalue":{"value":{"entity-type":"item","numeric-id":691125,"id":"Q691125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1db5873e9edbe35f43c1df417d62aa23f626aa02","datavalue":{"value":{"amount":"+0.8395306468009949","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":"Q408165$94CC5588-0899-4C44-89E4-5A2621F5F309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"161d860c500cfccca2d606895e40a0a7862278a5","datavalue":{"value":{"entity-type":"item","numeric-id":5945568,"id":"Q5945568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ebaf97cc7f2a1f8610d2fd7356b969236c59ab4","datavalue":{"value":{"amount":"+0.7919492125511169","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":"Q408165$1A314A70-5D2B-4337-95DE-D78F0A69FF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc1ff31072b2122c60a31614ca56566b25f2851f","datavalue":{"value":{"entity-type":"item","numeric-id":1128175,"id":"Q1128175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4db05695715ac68aee440b448b94e398657894d7","datavalue":{"value":{"amount":"+0.7888081073760986","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":"Q408165$36DF73A5-252F-4F5A-980F-C9309E81E8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6474e371eaf21975bdd47af8f8fc1e37304ccebc","datavalue":{"value":{"entity-type":"item","numeric-id":2904437,"id":"Q2904437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2425fa8776ee78c216484e36729fc8438aa5f78","datavalue":{"value":{"amount":"+0.7765743136405945","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":"Q408165$B3646496-5A42-4D82-985F-22DAFA41C26C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Streamlined subrecursive degree theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Streamlined_subrecursive_degree_theory"}}}}}