{"entities":{"Q2585748":{"pageid":2596491,"ns":120,"title":"Item:Q2585748","lastrevid":44413509,"modified":"2025-11-22T18:48:41Z","type":"item","id":"Q2585748","labels":{"en":{"language":"en","value":"Contribution to recursive number theory."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2505431"}},"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":"Q2585748$9C507593-BD95-4991-AEFB-F6C9F8D02729","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7390914f6c1801aafc77dfe734aa49e6605e8a39","datavalue":{"value":{"text":"Contribution to recursive number theory.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2585748$90F00E51-94C1-47A7-82CE-A1B67638CFF9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fda385260b5dfaf2602c31e6e50c33d332780a7e","datavalue":{"value":"66.0032.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2585748$186FAB76-C3C3-43AA-B955-35ED3A0A4362","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87a24a7b91e2614bb5ee1b6b8651eda025c9f368","datavalue":{"value":{"entity-type":"item","numeric-id":559372,"id":"Q559372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2585748$0F34D858-0F4B-48F7-BFBB-2CDD0FF615B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1701512ca85d58575d88b06da5ab938c2d9a4cd9","datavalue":{"value":{"time":"+1940-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":"Q2585748$DBE46640-8FFA-43F9-ADEF-15043C7A9979","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"461cc0391110d780ce5b299a2e8e156bb7810472","datavalue":{"value":"Dieser Aufsatz h\u00e4ngt eng zusammen mit der Abhandlung des Ref. ``Eine Bemerkung \u00fcber die Induktionsschemata in der rekursiven Zahlentheorie'' (Mh. Math. Physik 48 (1939), 268-276; F.~d.~M. 65, 31), in der gezeigt wurde, da\u00df die h\u00f6heren Induktionsschemata (vgl. \\textit{D. Hilbert, P. Bernays}, Grundlagen der Mathematik I (1934; F.~d.~M. 60\\(_{\\text{I}}\\), 17), 343 u. 345) auf das einfache Induktionsschema zur\u00fcckf\u00fchrbar sind, und zwar ohne Anwendung gebundener Variablen. Dabei wurde au\u00dfer primitiv-rekuisiv definierten Funktionen auch eine durch eine nicht primitive Rekursion definierte Funktion benutzt, und Ref. \u00e4u\u00dferte deshalb seinen Zweifel dar\u00fcber, ob die erw\u00e4hnte Zur\u00fcckf\u00fchrung unter ausschlie\u00dflicher Anwendung primitiv-rekursiver Funktionen m\u00f6glich w\u00e4re. Da\u00df dies nun auch m\u00f6glich ist, zeigt Verf. in der vorliegenden Arbeit. Sie f\u00fchrt n\u00e4mlich zwei Hilfsfunktionen mittels primitiver Rekursionen ein und zeigt, da\u00df durch eine gewisse Einsetzung eine solche Funktion entstellt, welche die betreffende nicht-primitive Rekursion erf\u00fcllt. Verf. bemerkt zum Schl\u00fcsse, da\u00df man die Zur\u00fcckf\u00fchrung auch direkt ohne den Umweg \u00fcber nicht-primitive Rekursionen durchf\u00fchren kann.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2585748$8A0C6C53-5F79-42F5-A360-EA86F775D231","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"526e75bcede782cb7df11b5b1224c883676f89bf","datavalue":{"value":"2505431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2585748$3E723B87-71C0-45B3-A3F1-BF71E435AEE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"957bab8ab8cd31953f7d7269e7d562a64abcb4c2","datavalue":{"value":{"entity-type":"item","numeric-id":562904,"id":"Q562904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2585748$9271D850-2A9E-42EB-B74B-016E6D839F03","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":"Q2585748$A361BA0A-4EA6-42D8-B33B-838D5B8D08E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2585748","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2585748"}}}}}