{"entities":{"Q2566072":{"pageid":2576815,"ns":120,"title":"Item:Q2566072","lastrevid":48554314,"modified":"2026-01-05T05:07:14Z","type":"item","id":"Q2566072","labels":{"en":{"language":"en","value":"Inductive definitions over a predicative arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2207227"}},"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":"Q2566072$3166A196-B4DC-435D-B7E2-85C96EE1256E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5e95cdcd0379b48547b78f0c4289b9ee0dbb2d6","datavalue":{"value":{"text":"Inductive definitions over a predicative arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2566072$2E8BCDBF-FDEA-485C-BBAE-2065594AB91A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c960aa49bec7ff299b9d184f9ac347b96858c4ea","datavalue":{"value":"1091.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566072$6DAC8144-C453-4191-B306-5EE21993F4AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8d91eb383cd112a6f423cf65f9ae246ca32dde7","datavalue":{"value":{"entity-type":"item","numeric-id":1084099,"id":"Q1084099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566072$739F3ECD-E357-4766-A7F2-EE2B60DF7136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e6b72e2d444d192c493e96e69a8b41dbd5d5191","datavalue":{"value":{"entity-type":"item","numeric-id":2566071,"id":"Q2566071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566072$357C7E42-2E4E-4F0C-BF4C-12F23ED17D28","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":"Q2566072$680BE9AA-504E-4401-BA02-CA23BD263BF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec9da92ba7b4e525d61f27d0c249399f1779b4c","datavalue":{"value":{"time":"+2005-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2566072$107407D4-D50E-4CB3-B498-14A3812A5948","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"79bf5d45d6a300baf9955f777a82d9942d30c861","datavalue":{"value":"The paper begins with a brief survey of work by Ostrin and Wainer on the development of the theory EA(I;O), alternative to Leivant's, which codifies the basic principles of predicative arithmetic. The main part is devoted to a Buchholz-style proof-theoretical investigation of the theory ID\\(_{1}\\)(I;O) of (non-iterated) inductive definitions over predicative arithmetic. It is shown that no matter which inductive definitions are added (even Kleene's \\({\\mathcal O}\\)), its strength, in terms of provably recursive functions, is never greater than PA. Thus PA is recaptured as the predicative theory of one inductive definition.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566072$2896625C-C275-49AF-810C-0D251E0E3D69","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":"Q2566072$2E8A957F-A9D9-4C6A-B222-4F9F2D80B6AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566072$4FA512C8-EA95-401A-B0FD-3BFA21677075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566072$A0FB0AB4-C5D8-40C9-99FB-5B112A7CCB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566072$544BD00B-E66F-462D-9AB0-DDA79AF5E994","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e51491063c7ed738d9938f51151eafbd6703e49","datavalue":{"value":"2207227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566072$57520EEF-71BD-403D-AC25-1A4320CB5858","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c217a1a00d62effaec670f5656be452525922","datavalue":{"value":"ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566072$7A82FA72-DAFE-4A3C-9518-8F46502D84AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ce938576be56446ada7d9156267363dad7a39b6","datavalue":{"value":"predicative arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566072$4EC48AF6-F3FB-436C-9513-B045DA990D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abd8067c83eef802bb64cc570af1f7494ad823bd","datavalue":{"value":"proof-theoretical investigation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566072$980654AB-E273-44C4-834F-AEFC32E59525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566072$F803B942-DB84-4A42-9A85-326277EE107F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"425e268df6c5cb5624c84c71ce4739194b7f0d90","datavalue":{"value":"provably recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566072$FF4272B2-3B93-4B34-8E7B-FEA4D84E65BD","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":"Q2566072$AB9AC791-54BA-4A92-8CAB-FCD4BAB452CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d17edd0328b79dbb4ef8fe8aa8203b3e7f5c94b","datavalue":{"value":"https://doi.org/10.1016/j.apal.2005.05.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q2566072$BD3B0204-A54C-48EA-9F07-89A46304FF38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48a4c504aa7d7a827cc35e3526396529c4b27b80","datavalue":{"value":"W1983194356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566072$FBB0D8E7-FFD9-45E9-BC60-81096F01A7A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e523a40db7b16127f2f0d9abaa913b6b9ced2bc3","datavalue":{"value":{"entity-type":"item","numeric-id":1182465,"id":"Q1182465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566072$9390C2FF-303F-4CD4-86D0-D1FC17CFDC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8cae4359eca0407e9688858e98a4dce835f6f06","datavalue":{"value":{"entity-type":"item","numeric-id":1128178,"id":"Q1128178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566072$AE05A50D-B231-4E2E-BAE1-30A11900764B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f9eb7b5327c4bf5e9fcc29948893fe8839d998e","datavalue":{"value":{"entity-type":"item","numeric-id":1590659,"id":"Q1590659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566072$2A401BE2-D075-4E85-BDF1-B30A648981FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942416bbb24094ad844c088479199c420a678b1","datavalue":{"value":{"entity-type":"item","numeric-id":1207333,"id":"Q1207333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566072$B0D8674A-0BE2-43C8-9563-C0459AC8D52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"279c3d2f33bbbcbefab5ed817a5c061033fcde81","datavalue":{"value":{"entity-type":"item","numeric-id":1097882,"id":"Q1097882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566072$61345ABB-6B81-43E9-BA54-329A2F7EE107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4577aab451977e49ee8d4b4a69876cde591022a7","datavalue":{"value":{"entity-type":"item","numeric-id":4215632,"id":"Q4215632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566072$A57A881E-C1B8-473E-9B97-65EDC2AD473B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b17989129559e41cfb06edc0b79311d4fa6022df","datavalue":{"value":{"entity-type":"item","numeric-id":3960844,"id":"Q3960844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566072$B0A79E1A-53A8-44AE-B06B-502A8B4292E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3330fa5c6279898dcc093948722963f954b2b34f","datavalue":{"value":{"entity-type":"item","numeric-id":4726219,"id":"Q4726219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566072$13C5AFED-90B0-492B-A48F-B44E8A0B5418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cf007fd7db4361aac398a50c233a884391e28b8","datavalue":{"value":{"entity-type":"item","numeric-id":4823142,"id":"Q4823142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566072$769928EB-C15E-49D5-90E8-5D5636F9F5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"686b428dd84c9436ddadec1ef67a9a0f4134ad30","datavalue":{"value":{"entity-type":"item","numeric-id":1772782,"id":"Q1772782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566072$338FF530-B102-47E6-B7C1-DA32A72463F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05e2a112510c4213854ba517e180e9758ba8b52c","datavalue":{"value":{"entity-type":"item","numeric-id":3960847,"id":"Q3960847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566072$DDA34FA1-3DC1-4B29-A1E4-65DE9DCCA920","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04724f7baa4e62cabd22584d444e772ae26bcde5","datavalue":{"value":"10.1016/J.APAL.2005.05.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566072$6AB7F343-1B60-4F96-9E92-4A6BDD332957","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cee7b4e917ce72add131427bb7620878dc20010","datavalue":{"value":{"entity-type":"item","numeric-id":1295369,"id":"Q1295369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef9ec2a2b484f8ebdc6a9cf47b957dc2ae448d2","datavalue":{"value":{"amount":"+0.788977324962616","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":"Q2566072$743C25A6-B70B-438B-A3C7-20D06E14DA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06c2d6155c223905fb38e25ee94b229f28beb17b","datavalue":{"value":{"entity-type":"item","numeric-id":3081636,"id":"Q3081636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1c35988651638fe399b919b90adf7c80c1e1d49","datavalue":{"value":{"amount":"+0.7861055135726929","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":"Q2566072$34BAF7B6-C1A7-426D-A1AA-6E716E388792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26bd974c329365f000622429fb9931c7fadcba51","datavalue":{"value":{"entity-type":"item","numeric-id":5717064,"id":"Q5717064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4729b594b53871985f171584da48e9296062ab8","datavalue":{"value":{"amount":"+0.7848017811775208","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":"Q2566072$9F87AD94-2CFF-4C04-90D1-6F5C21C5A0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f15e5c9ab71465b79d2ec17ced4eba42d5469f","datavalue":{"value":{"entity-type":"item","numeric-id":5486242,"id":"Q5486242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff9a75aa666d043740600543208ddc176c8f95f4","datavalue":{"value":{"amount":"+0.7675304412841797","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":"Q2566072$ACF6D9D4-B277-4076-83F2-F5FA41E21D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8482c4068af10e6f6c0ac45811b435ffb323110","datavalue":{"value":{"entity-type":"item","numeric-id":4692081,"id":"Q4692081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbc40488d84ea063ddfbbb03778a483b07f21482","datavalue":{"value":{"amount":"+0.7664226293563843","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":"Q2566072$94AAFBC4-CD1A-46FB-BB21-E3681053E8E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2566072","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2566072"}}}}}