{"entities":{"Q5945568":{"pageid":8122370,"ns":120,"title":"Item:Q5945568","lastrevid":47683225,"modified":"2026-01-02T10:24:08Z","type":"item","id":"Q5945568","labels":{"en":{"language":"en","value":"Subrecursive degrees and fragments of Peano arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1657163"}},"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":"Q5945568$DBE542BE-69E7-4523-ACFB-973BE8565670","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"540941c5444046800fdad4de024713287210ba6e","datavalue":{"value":{"text":"Subrecursive degrees and fragments of Peano arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5945568$9325CDA6-C238-4C7A-9B90-101ED0E01D86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"625dd661d9855ed7d1b36e992406237496fdf802","datavalue":{"value":"0982.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945568$FDCBD6C2-40E7-494D-B8EC-154889A75C48","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":"Q5945568$18F0B810-4234-4C28-8E8F-E2CFA670B175","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":"Q5945568$5B0EEC30-4C33-4979-9DAC-A72B058C3B71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09a65dcece05039203ce03236409dca56b9f1271","datavalue":{"value":{"time":"+2002-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5945568$39FD212A-B7BA-4AA9-A759-BF3C7D243989","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"36a6d67511ef5fde9ed34db5835aa2a3226d5097","datavalue":{"value":"Let \\(T_{0} \\leq T_{1}\\) denote that each computable function which is provably total in the first order theory \\(T_{0}\\) is also provably total in the first oder theory \\(T_{1}\\). The relation \\(\\leq\\) induces a degree structure on the sound finite \\(\\Pi_{2}\\) extensions of EA (Elementary Arithmetic). The paper under review is devoted to the study of this structure. An isomorphic subrecursive degree structure \\((\\leq, {\\mathcal S})\\) is defined and studied by subrecursive and computability-theoretic means. Further some operators on the degrees of \\((\\leq, {\\mathcal S})\\) are introduced and investigated. It is shown that they correspond to some rules in formal arithmetic (e.g., to the \\(\\Sigma_{1}\\) collection rule and to the \\(\\Sigma_{1}\\) induction rule).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945568$3D2C3CCF-5D3E-4854-8F2E-18AA6B73081E","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":"Q5945568$3A2991F2-5E91-4A8A-919E-24E809F43023","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945568$BD70A0A2-54BB-48AB-9567-7121ADB8905F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945568$DD2A48A0-702A-44A0-9EF9-6BF4F22A6720","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee4e83d66025c157df9172449cd5914f29d47630","datavalue":{"value":"1657163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945568$8F7D49B5-42DB-4A33-A2A0-C6FBACFF7C2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee292a674c679c7d85948dd7af0ada70cce0815a","datavalue":{"value":"subrecursive degree structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945568$C49F4F26-04A7-4094-A2B2-6883F717334D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa459b5e376ac68df38cb1769a55d4f04821300a","datavalue":{"value":"provably total computable function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945568$D0FB5C35-EA37-43F2-BCB4-DE82BC3CE6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d77c7fe2bc23a2f1beb0ea326e972712926faba","datavalue":{"value":"extensions of elementary arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945568$91D143DB-8EC2-49DA-8F01-FAD9F8DABA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18d7e8a9c2fef410a0ec0f47c6e1f03bb0f97bc1","datavalue":{"value":"first-order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945568$CF708BE9-5E35-4993-B2B8-D8A614EEB262","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":"Q5945568$CF803B55-7F08-4EBA-91A6-89197B904B91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"317a9399e715cd27c4b096fcb61b94a3a35ef02c","datavalue":{"value":"10.1007/S001530000066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945568$B80F43B1-D2A4-4B22-9BDE-9BA3824ECAFC","rank":"normal"}],"P1643":[{"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":"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":"Q5945568$37D7D846-8262-4004-A656-6AB57C4167A4","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":"51c8bf870a89bb60c49a873da475e97690f575ea","datavalue":{"value":{"amount":"+0.7858476638793945","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":"Q5945568$6E06A2B2-B366-4F64-B05B-A80D46A5A042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eaf58864b6344903f4e733e071e29fea437a683","datavalue":{"value":{"entity-type":"item","numeric-id":3720596,"id":"Q3720596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4df6885c6329daae3cd49215e99df0114e9f28a3","datavalue":{"value":{"amount":"+0.756264328956604","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":"Q5945568$3785A2B9-1813-421E-B1BF-400707F085CA","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":"195624e8457ef1395ee13a442de6d7610d225bdf","datavalue":{"value":{"amount":"+0.7560875415802002","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":"Q5945568$D4CE8FE0-CE13-4499-9007-016931193D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a98177fbf10ce707badca4635c26289d2eed802f","datavalue":{"value":{"entity-type":"item","numeric-id":1073791,"id":"Q1073791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34e1a17000173e32ef243a2beda9c6c274082cce","datavalue":{"value":{"amount":"+0.7529157996177673","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":"Q5945568$341A5736-6471-4A41-B540-0D3E80092BDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5945568","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5945568"}}}}}