{"entities":{"Q1344279":{"pageid":1355018,"ns":120,"title":"Item:Q1344279","lastrevid":70202124,"modified":"2026-04-13T13:08:16Z","type":"item","id":"Q1344279","labels":{"en":{"language":"en","value":"Elementary descent recursion and proof theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 720935"}},"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":"Q1344279$B8D966DD-AACD-460A-9DA0-4BBD3629A853","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba44aeef2245228f9fb5fdc44e3f1dab589f7269","datavalue":{"value":{"text":"Elementary descent recursion and proof theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1344279$EACBE732-3C88-4755-B888-C98D21C5C44D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"400271c158140634ecf9a6e8e86aa04cc6f1f1ae","datavalue":{"value":"0821.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344279$2E1AE719-7D27-4683-AA27-927D80868C09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2561cf1d04b9616814eebebf9351be6cf963283","datavalue":{"value":"10.1016/0168-0072(94)00003-L","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344279$117B13FC-685A-4482-9AD0-55F4EB757E26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6235a6172567c0cb7b70bcc5b035a7161199ba60","datavalue":{"value":{"entity-type":"item","numeric-id":221566,"id":"Q221566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344279$F1351337-DC30-499E-AEA4-E070C3BB065C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4db7d460ffc6b3e0069ff40b20b2755df97aa354","datavalue":{"value":{"entity-type":"item","numeric-id":196044,"id":"Q196044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344279$FF7B82F6-857F-46A3-8F1A-D94533CCCA2F","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":"Q1344279$02451F4D-2E6F-4609-A912-34572518C8E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"191728e620ca2d66220fdf5e72b7e38829c4c6cf","datavalue":{"value":{"time":"+1995-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1344279$3287E882-5EE1-4660-91C1-770D3937FB8E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9a1bc86c597a5199fc37eda2b00f6ef42b5f19a4","datavalue":{"value":"As the authors say in the introduction, much of the results of this paper will look familiar to proof theorists. They include basic properties of functions and functionals defined by transfinite recursion, connection of Grzegorczyk and Hardy hierarchies and ordinal estimates for provably recursive functions and well-orderings of the systems with some forms of mathematical and transfinite induction. The emphasis is on detailed and careful proofs, and some refinements, like construction of a primitive recursive cut-elimination operator, are sacrificed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344279$F20B9A49-666D-4D40-8997-76C0383A0E4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344279$B091B74B-5CCE-4F9B-B20C-2B956BCDB65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344279$3C613075-C9C3-4B35-9674-A90E99797627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344279$DB84E387-DA81-441F-91C8-0DE561D56B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344279$2230DDC0-EF48-4563-8484-47D452BD475D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b58f08179cfc93dde1fb36652bee62e8a248b1aa","datavalue":{"value":"720935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344279$1DB468BD-3F7A-4121-AB4D-E67FE0FA859B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6d03a26b1247abcc543247067285a4ba6c9025","datavalue":{"value":"Grzegorczyk hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344279$97E5BD02-6D57-4296-9EF9-C6C5D5EB03AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba60e0c3545a5fca9336f00d3944b0b7357a69fa","datavalue":{"value":"Hardy hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344279$AC75A239-8F4D-4BA5-B576-101E497F93D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"601a2dfd63944037c848478d25d0bbe41296aa8f","datavalue":{"value":"functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344279$A9F67758-F7F6-4CB6-ABF8-55C9C747E661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33a9d95fce86f5e5dcaaed96d7563d743f02d0d5","datavalue":{"value":"transfinite recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344279$11EA7C07-5327-496D-A589-3A6E30EB3B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e35e77eda95d1bf45d73e702feaae0b47ccf243","datavalue":{"value":"ordinal estimates for provably recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344279$1073EEF1-5D7B-4049-98A0-DBDA6818ECD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3bc4d347d89fd89d80caf05696c570103c4304a","datavalue":{"value":"well- orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344279$DC0BCBE2-AF20-4563-AF6B-3AF8674DB5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc87407ab9572d85505f2cace7811c9ecc29db","datavalue":{"value":"transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344279$1E645108-079D-4541-A014-80FA2C427C63","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344279$D5ADA5C1-3433-4400-9AF7-22FF760C9F6C","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":"Q1344279$17A8DA67-6581-4745-BB8A-76ABA1039281","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e8f21ae813780ffb1b14b622d2c99e2bf7de1d2","datavalue":{"value":{"entity-type":"item","numeric-id":1254248,"id":"Q1254248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344279$74147F26-E355-4822-A620-4FFDED97E0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9378587a1115a0250a2395ebd434016b1bcd6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4124795,"id":"Q4124795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344279$BB13DE6F-E5F9-4D76-A98B-016B2DBACE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58cc241747ec6fa1130277e3fe9cbb65e8f8d05e","datavalue":{"value":{"entity-type":"item","numeric-id":5680103,"id":"Q5680103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344279$30032D8F-2E0F-484B-8440-F54E7D18E8E2","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":"Q1344279$FB4CE6C2-0ECE-4225-A8C3-BEDF79488D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344279$8BD4D2CD-6C5B-432C-8EEE-9D782A047063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be85b3951fe2b4ee7f07bf10003c515b5749abc6","datavalue":{"value":{"entity-type":"item","numeric-id":5605873,"id":"Q5605873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344279$863DB582-8A9D-4426-9E71-07865E550C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344279$2C4FB76E-E2A1-4448-9D09-DD18D9E92B19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef665620a1b0a3529afdfffdc57d886e8b2ea455","datavalue":{"value":"https://doi.org/10.1016/0168-0072(94)00003-l","type":"string"},"datatype":"url"},"type":"statement","id":"Q1344279$8183391D-640B-4414-855B-8567A5087A4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8659420a156878d4b6d74d1c511bddbc63ee57b7","datavalue":{"value":"W1998796136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344279$23B505CE-78F5-4829-B239-F84B2F3A7E57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9400f3b355173dcba79762b26857b3718cbaa72","datavalue":{"value":{"entity-type":"item","numeric-id":5435640,"id":"Q5435640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51cc632d13966f2cea0506e5d4decb8ce4e0ee3e","datavalue":{"value":{"amount":"+0.9204099","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1344279$E7F73E9E-383C-44AB-AB2B-3F01807569F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f7ceb45eeeb1497c04df78da98e95ac8f4b5b3c","datavalue":{"value":{"entity-type":"item","numeric-id":5195245,"id":"Q5195245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"977d146c5e5dd290e4b1a3293fba2213e88bfeb0","datavalue":{"value":{"amount":"+0.8959533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1344279$DA402B01-B694-4EF6-AA1B-1BAAC7734978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d5abfa2ad99fb27e4241d55a305f846a6da6b13","datavalue":{"value":{"entity-type":"item","numeric-id":4714397,"id":"Q4714397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d105cdf158da2196c9d115785eefa281484aac7c","datavalue":{"value":{"amount":"+0.89190125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1344279$D69B968E-A9F5-49A5-98D5-A89C8DB0C565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c2d1b15a47e96c5a0896b9cd57ca535dc288789","datavalue":{"value":{"entity-type":"item","numeric-id":4032870,"id":"Q4032870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f54875b7c2172d635e09aad92161b89647c9d763","datavalue":{"value":{"amount":"+0.88992923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1344279$8C91562E-0D26-4F28-9D73-BCBB9A9F287E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b7afeb5e6e6cc8d88de254a6cef99665bf629aa","datavalue":{"value":{"entity-type":"item","numeric-id":5403201,"id":"Q5403201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d669596a5a1e3078305756c3ff5c581fd5b1b42a","datavalue":{"value":{"amount":"+0.8868755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1344279$7681A7F3-2671-4DB9-8411-C4F04ABB3631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec1f642314305fda430872fabf19b330c6630590","datavalue":{"value":{"entity-type":"item","numeric-id":4302839,"id":"Q4302839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbbd94a65c636e72a6e1178014a0ac945a436641","datavalue":{"value":{"amount":"+0.8796242","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1344279$7FC2F403-98F1-48F4-A36E-1D01DC22B953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f65d266ef06ad73aa1452ca06d1420c9c8bf408","datavalue":{"value":{"entity-type":"item","numeric-id":2260474,"id":"Q2260474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b6ff6ab14cb9cebf2138f12d2835d4afed09f44","datavalue":{"value":{"amount":"+0.87903464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1344279$F3BF680B-3ACD-4294-9D05-567C9612A201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bc4ce79c31d08c4513b55e6bae85ba6f6679103","datavalue":{"value":{"entity-type":"item","numeric-id":5700823,"id":"Q5700823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75d5fd1ddde5f83f434a8d2f51561a1d041bd5e2","datavalue":{"value":{"amount":"+0.8786209","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1344279$F85B0089-C8B8-4EB0-9193-624608DE2E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a9cb1b719bdefedb6d2fd80a527ce4ff1182d96","datavalue":{"value":{"entity-type":"item","numeric-id":3325711,"id":"Q3325711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e222508d062b3bd53c11b229816ecb2496ca4b9a","datavalue":{"value":{"amount":"+0.8778297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1344279$AC9492D9-A9A9-4DF1-9822-B51A09C855A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bc66354fc9341bc0222897386454e4aa66f469e","datavalue":{"value":{"entity-type":"item","numeric-id":1361250,"id":"Q1361250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2e58fcdb6a4b40384543c8feac00aa94fbe4390","datavalue":{"value":{"amount":"+0.87635976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1344279$12CFFF6B-3A61-4233-B8E4-454114763D12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elementary descent recursion and proof theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elementary_descent_recursion_and_proof_theory"}}}}}