{"entities":{"Q6137350":{"pageid":13271657,"ns":120,"title":"Item:Q6137350","lastrevid":55554202,"modified":"2026-02-17T18:44:02Z","type":"item","id":"Q6137350","labels":{"en":{"language":"en","value":"Semi-honest subrecursive degrees and the collection rule in arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7790935"}},"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":"Q6137350$0D37511A-4A84-4DA5-B4C5-7307F2405322","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eee547b75c51e44f4467ed262b20d3e365ec6c73","datavalue":{"value":{"text":"Semi-honest subrecursive degrees and the collection rule in arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6137350$6864A8F7-A1F0-4E16-A446-30C70F59647B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a42ea086f4d35529a6cd304553c7e89c3f56fb8","datavalue":{"value":{"entity-type":"item","numeric-id":391144,"id":"Q391144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137350$EDB1C07C-A503-437D-BA7F-EB6A8E9DCB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8239ea47cb0ba00aa3274a8e46ceb44b8cb6bddb","datavalue":{"value":{"entity-type":"item","numeric-id":701733,"id":"Q701733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137350$22CF27DB-7856-4AF9-B1A9-707F9E95C851","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137350$AB550FC6-6A89-4D29-8AA7-04D5BEDFFC44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ff89536e38dd1dcc6e3cce47bb2f12bcf1912f8","datavalue":{"value":{"time":"+2024-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6137350$E77E90AD-1387-452C-83DE-407BEC328CD6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6a6713f3c13d7c731ec8b69d965a9d1378add9c5","datavalue":{"value":"The paper is devoted to the application of the subrecursive degree theory to the study of fragments of Peano Arithmetic. It is connacted with the result of L.D. Beklemishev who showed that the hierarchy of nested applications of the \\(\\Sigma_{1}\\)-collection rule over any \\(\\Pi_{2}\\)-axiomatizable base theory extending Elementary Arithmetic collapses to its first level. In the paper under review it is proved that this result cannot in general be extended to base theories of arbitrary quantifier complexity. In fact, given any recursively enumerable set of true \\(\\Pi_{2}\\)-sentences, S, a sound \\(\\Sigma_{2} \\vee \\Pi_{2}\\)- axiomatized theory T extending S is constructed such that the hierarchy of nested applications of the \\(\\Sigma_{1}\\)-collection rule over T is proper. The construction uses some results on subrecursive degree theory obtained by L. Kristiansen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6137350$00479D82-1CCE-4C22-9798-28B000977BB2","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":"Q6137350$8FD38797-378E-42A6-8F33-607AEADC59A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137350$D1BF205F-8030-42B1-90E0-65D9F97BF53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137350$C467E7FB-F546-4DEB-8FFB-FE70E33CACBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4283104b6a31aabc70b5af7589093a6f90fa252","datavalue":{"value":"7790935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137350$AD677FB8-ED15-42B9-83F0-5F778AD73462","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b7bebb7432c97f7be3aab507b0cc47903033f5c","datavalue":{"value":"fragments of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6137350$DA7F1B98-A01C-448A-A6D9-44BE6734946B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8708156e7d8ec826d2846b19981d9be4caea470e","datavalue":{"value":"collection rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q6137350$833E0EC1-2EA2-421C-B391-0D604C8B6D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65f720e895dbc35d4d3ebb0500d5175c057ae4bd","datavalue":{"value":"provably total computable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6137350$B12418AB-CEF1-4A71-8438-91258FC763CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5337ee898fdc493eb2a2a725944e779e3508d146","datavalue":{"value":"subrecursive degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q6137350$758BA310-C871-4EFC-A675-4546348F3CE3","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":"Q6137350$F6E47FB2-6288-4564-AD85-20CF95A482A3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95c4379a94412314b54d33d3a59112f227094dc","datavalue":{"value":{"entity-type":"item","numeric-id":2732285,"id":"Q2732285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137350$8080F34D-FBDA-4E87-9480-E60F10610076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fb47999908d254e4121198a94fbfb1e4ccaffed","datavalue":{"value":{"entity-type":"item","numeric-id":1861531,"id":"Q1861531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137350$B9098A6D-DE20-446E-956A-B614DDC6CE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79b24c806e4ca080d1080d18ac18000c25f13630","datavalue":{"value":{"entity-type":"item","numeric-id":2546043,"id":"Q2546043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137350$28ECE1C4-067F-4BB3-9A32-DB1C89961B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c473e525ddb30377e0108bbc9cb0dd0c2ff0887","datavalue":{"value":{"entity-type":"item","numeric-id":1361250,"id":"Q1361250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137350$C2309224-2EDF-4188-9643-A2568849D574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d640f99df8711dfe677d32555a8bcdd9bf6d7ff","datavalue":{"value":{"entity-type":"item","numeric-id":1267837,"id":"Q1267837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137350$55F6E53F-2F16-440D-B9C0-AD202CBE2930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ad2f904f2a46920c89d9e655e0f9d27bb0e58e","datavalue":{"value":{"entity-type":"item","numeric-id":4457724,"id":"Q4457724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137350$30EB5B7C-D384-442D-AD49-BA7EE4398503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6528d67ac237dd684da51a8ea95c3c539d11f6","datavalue":{"value":{"entity-type":"item","numeric-id":1877092,"id":"Q1877092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137350$22E850E1-A9B8-44B8-8BF5-2CAB14C13677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b807e573c90c1a55e76c5f70d24384d226604c","datavalue":{"value":{"entity-type":"item","numeric-id":3372439,"id":"Q3372439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137350$B0C3ADC7-1030-485D-9AC9-29CEC459DAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3c20e4fcc24a5993cff9f8cdfb2456c73fd685","datavalue":{"value":{"entity-type":"item","numeric-id":691125,"id":"Q691125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137350$7BB85F40-B30A-4DB0-A7DA-35694DDC0996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc2594151fd159ce7a1fc9ace023701a342f4b37","datavalue":{"value":{"entity-type":"item","numeric-id":5311268,"id":"Q5311268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137350$52686AC5-B8CF-477F-9ED5-1DA097EA2FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e31f92803611685314b5626a5e522eab7206497","datavalue":{"value":{"entity-type":"item","numeric-id":4680381,"id":"Q4680381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137350$D44A71ED-23E9-4C4F-9679-12C27855A99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95113eaac552a11a713afbcc2edc75216e99ef2d","datavalue":{"value":{"entity-type":"item","numeric-id":3376540,"id":"Q3376540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137350$D47BB226-A577-445F-A68B-5AA715F939EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb98ad0370fd1573b4b1a89546265fb5c6d14b1f","datavalue":{"value":{"entity-type":"item","numeric-id":2449854,"id":"Q2449854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137350$736FFFFF-4D98-4559-AA6C-E451551CF34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137350$DC2E5E50-E552-48D8-B494-98F108D95026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd72dbbdbb28e49bc58fdcc6d69fc1738d5bbb0","datavalue":{"value":{"entity-type":"item","numeric-id":5552747,"id":"Q5552747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137350$901BF490-1217-49D0-97E2-BC0207468364","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":"Q6137350$20C9F1B9-8474-4F0B-8CD7-2C7A8457381A","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":"Q6137350$595C3F75-8E64-4511-8DF1-1D6BB18D15B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"791d2c2e61a0e72212d99086f2301bd8b87870c4","datavalue":{"value":{"entity-type":"item","numeric-id":2904437,"id":"Q2904437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137350$A51567E5-6867-453D-916C-21C268075934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb00cbcc52b8be08151f616b18e79c2ee6fabec","datavalue":{"value":{"entity-type":"item","numeric-id":408165,"id":"Q408165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137350$9E551A3A-CCD2-4F5F-A977-94F3F89B2AC2","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":"Q6137350$41BAF0D4-0906-491C-AE20-DB3AE9B7AD50","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":"Q6137350$9CB269A5-405C-40B0-963C-C33535991520","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":"Q6137350$7D63C45F-DA9D-41E6-A6A0-683B5AA606A1","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":"Q6137350$AE2FCADD-705F-401D-AD8E-712BB833EC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5cf8fa535605290547950c58b065116b31c50c3","datavalue":{"value":{"entity-type":"item","numeric-id":1188502,"id":"Q1188502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137350$E907A30F-1B74-48C1-8BEA-E1EB6C967DCD","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":"Q6137350$2C3722B3-0F89-49EB-AFA0-2089B991F256","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d84a2855be35a8fb73f1d67bc06cd8fdee66569","datavalue":{"value":"10.1007/S00153-023-00889-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137350$F14AB994-A07F-499C-AE22-220F0324DAF2","rank":"normal"}],"P1643":[{"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":"f42583b6c198c0baa28c78694af5a54c0e680fea","datavalue":{"value":{"amount":"+0.8258328437805176","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":"Q6137350$80C9E5D6-535E-4E73-B0A1-6711B62D80BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c0e780606e2a38cea23fee0de9f2df4c43955b8","datavalue":{"value":{"entity-type":"item","numeric-id":408165,"id":"Q408165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7560d935830562f5a15885bf57758d200edca7a4","datavalue":{"value":{"amount":"+0.7540082931518555","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":"Q6137350$E09E1E8C-91C0-45FC-9AA4-D90384C7D49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c3754c65307871e5ec02b90a51cf14e8647ab99","datavalue":{"value":{"entity-type":"item","numeric-id":3830988,"id":"Q3830988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4fc0c3bcb585069bde0787bc9f24f770ab71e02","datavalue":{"value":{"amount":"+0.7348147034645081","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":"Q6137350$ECEAC07A-608B-44C1-BD2A-FC0BD671C543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00629aaa5ad11cafe88524ca9e0e00ef8fc9cfc3","datavalue":{"value":{"entity-type":"item","numeric-id":2784778,"id":"Q2784778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52168c778a2015c364a403853b0dd215c7fd2bc9","datavalue":{"value":{"amount":"+0.726500928401947","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":"Q6137350$4DB390FC-D034-4991-9E4C-8585409A9201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e6c2d27059a49c8eede01e7ea78ec4a0b68765d","datavalue":{"value":{"entity-type":"item","numeric-id":2449854,"id":"Q2449854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ce7dd4f9a765c9804bfce937d7316e7e8016208","datavalue":{"value":{"amount":"+0.7200891971588135","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":"Q6137350$21C4DEAA-E492-410D-ABA4-3CA35190C50A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6137350","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6137350"}}}}}