{"entities":{"Q2776813":{"pageid":2787551,"ns":120,"title":"Item:Q2776813","lastrevid":47756800,"modified":"2026-01-02T14:58:40Z","type":"item","id":"Q2776813","labels":{"en":{"language":"en","value":"Plain bases for classes of primitive recursive functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1716770"}},"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":"Q2776813$8EFF44F6-8738-45B6-867D-FDF4C80F9B82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c7a08138b418a0b02e61096aecced779f90c727","datavalue":{"value":"1017.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776813$09829C3B-77B8-44AD-908B-43AC358B27FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"827dfa4373d59d6d09fe679abb67eca1fdd0daf6","datavalue":{"value":{"time":"+2003-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2776813$D53AFCAC-57F6-4DAC-870D-2EDF31631D9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776813$E2B70E20-C5FD-4931-A0C7-5415BFD8EF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776813$C73FD4B9-0CDE-44DB-8018-028BF934B735","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e62bd9a7cf866d59fcf147608eb8aa50e63ed589","datavalue":{"value":"1716770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776813$BB46503C-B902-4706-AA5F-F2C06C442EBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc24523ecade08ab2c76519afe6b957468c34e5","datavalue":{"value":"elementary function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776813$F99563DC-5E1D-4E91-9911-6780B9F01CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6d03a26b1247abcc543247067285a4ba6c9025","datavalue":{"value":"Grzegorczyk hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776813$7AB7BD6D-DBDA-4943-9738-5CD706515CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb6918c0338a517bb805652f66773bc8ff8db971","datavalue":{"value":"substitution basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776813$75149F67-2841-40F0-A08C-AD2EDE71A937","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26a317fd60e70e233c239ff7a7887169a825aff3","datavalue":{"value":{"entity-type":"item","numeric-id":342701,"id":"Q342701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776813$8B64410C-356D-403B-8260-0091A02B5E53","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":"Q2776813$49BB23DF-D688-4FFC-8997-5A1D3C3D24F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61a6abd467c2ec4071f16c7d60aeab9353d1248","datavalue":{"value":{"entity-type":"item","numeric-id":1163014,"id":"Q1163014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776813$051E6579-65B6-4AB1-B825-C24E6FBD9430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8588da4dc892673a0bf759e2456ab17abee7d183","datavalue":{"value":{"entity-type":"item","numeric-id":4231579,"id":"Q4231579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776813$0827099C-8AAF-45BB-BE3B-5A0EEDD12E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2aa95a3bdd69806ce76efe825083d7a9e9aaaa4c","datavalue":{"value":{"entity-type":"item","numeric-id":2395748,"id":"Q2395748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776813$CF6E393A-C37A-4BEE-BAC4-312233B9E79B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5c301577e459a3451b0bf771857574b7c6a01fd8","datavalue":{"value":"Q56387838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776813$A8EC8B0A-4769-4F9F-A34C-72D3DA735172","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f436ef5718eca7a2058fb120cd2faee59f657b1","datavalue":{"value":"10.1002/1521-3870(200201)48:1%3C93::AID-MALQ93%3E3.0.CO;2-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776813$19D5309E-9A7E-4A91-8C6A-7673A8C691FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0545d37ff2b65abd7538badcd9d8c6e507d20e05","datavalue":{"value":{"text":"Plain bases for classes of primitive recursive functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2776813$41B14B1A-05D9-4470-924E-69C509950011","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776813$F928DAB8-D3EF-4DBB-9F7B-308A3E878BAF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e5de705918e4af9d6d90a8532f157a806528d226","datavalue":{"value":"The author investigates finite bases (the closure operation is substitution, and the bases are assumed to contain also projection functions) for L. Kalm\u00e1r's class \\(\\mathbf{E}\\) of elementary functions [\\textit{L. Kalm\u00e1r}, Mat. Fiz. Lapok 50, 1--23 (1943; Zbl 0063.03115)] as well as for A. Grzegorczyk's hierarchy \\(\\mathcal{E}^n\\) [\\textit{A. Grzegorczyk}, Some classes of recursive functions. Rozprawy Mat. 4 (1953; Zbl 0052.24902)] for \\(n\\geq 3\\). A finite basis for \\(\\mathbf{E}\\) was first found by \\textit{D. R\u00f6dding} [Z. Math. Logik Grundlagen Math. 10, 315--330 (1964; Zbl 0199.02502)] and then by \\textit{S. S. Marchenkov} [Mat. Zametki 27, 321--332 (1980); translation in Math. Notes 27, 161--166 (1980; Zbl 0483.03025)]. NEWLINENEWLINEThe author proves that there exist three new bases for \\(\\mathbf{E}\\) containing very natural and simple functions. Particularly, one of the bases consists of addition, square, the remainder, and the base two exponential functions. Particularly, for every \\(n>3\\), \\(\\mathcal{E}^n\\) is shown to be the closure of each of these bases augmented with an additional Ackermann-like function \\(f_n\\) due to \\textit{R. W. Ritchie} [Pac. J. Math. 15, 1027--1044 (1965; Zbl 0133.24903)]. NEWLINENEWLINEThe obtained results enable the author to simplify the proof of \\textit{H. M\u00fcller}'s theorem [Klassifizierungen der primitiv rekursiven Funktionen. Dissertation, M\u00fcnster (1974)] stating that for every \\(n\\geq 2\\), \\(\\mathcal{E}^{n+1}=\\mathbf{K}_n\\), where \\(\\mathbf{K}_n\\) is P. Axt's hierarchy [\\textit{P. Axt}, Z. Math. Logik Grundlagen Math. 11, 253--255 (1965; Zbl 0144.00201)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776813$98D018A2-0EC1-42A7-9908-E6764191498F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fe64c30036b6931dfc08c246a2592bfd800c1f57","datavalue":{"value":{"entity-type":"item","numeric-id":1612485,"id":"Q1612485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776813$86D2E35E-A651-469F-BB98-999B338ADF9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb923316cfdf723dae4593884c0e99390930c5ac","datavalue":{"value":{"entity-type":"item","numeric-id":3980811,"id":"Q3980811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f7591641a91c3e39523d562443409b6d302421","datavalue":{"value":{"amount":"+0.8210062980651855","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":"Q2776813$DC3D86CC-5D3B-4869-97CE-CBC2A2D41A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ef4ae1392465b796228d5b9bd7de68e4868ef56","datavalue":{"value":{"entity-type":"item","numeric-id":3333020,"id":"Q3333020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb17bf35fc16e4c9ecc5402b44c06de721d3ca24","datavalue":{"value":{"amount":"+0.8174958825111389","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":"Q2776813$326D5A02-8372-4EAD-91DB-261973FF10BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f87a0974be404e601c90c119ce6a1ce1306c695","datavalue":{"value":{"entity-type":"item","numeric-id":4133628,"id":"Q4133628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2d3f133617f9a3138e65715ed31e00b6f5f73ac","datavalue":{"value":{"amount":"+0.802340030670166","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":"Q2776813$A29DB963-85B3-40B4-B27A-075E7FAEC4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b581e2d4e18f1867ee729990909d46ec0da2ad","datavalue":{"value":{"entity-type":"item","numeric-id":3832553,"id":"Q3832553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec498426cd1d0533e19d340fcbef2b037e53682a","datavalue":{"value":{"amount":"+0.7957377433776855","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":"Q2776813$A95AEA1C-0667-42E3-A638-E3CC3EEDBBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6928a7a9ca1e5ca9189bfa78f7b79e57460e96af","datavalue":{"value":{"entity-type":"item","numeric-id":3682475,"id":"Q3682475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e263acce67945465ea8e7f6da5c9060f665bd22","datavalue":{"value":{"amount":"+0.7815882563591003","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":"Q2776813$16E73316-FEB2-4B9D-82EF-208296F8D363","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2776813","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2776813"}}}}}