{"entities":{"Q1113897":{"pageid":1124646,"ns":120,"title":"Item:Q1113897","lastrevid":69675387,"modified":"2026-04-13T08:38:16Z","type":"item","id":"Q1113897","labels":{"en":{"language":"en","value":"A plus-1 theorem for subsections"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4081544"}},"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":"Q1113897$B368B1E4-62B1-47EB-B01C-7FFE8425DE7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d926dd6435d6799a74c6fcd6d14e23c37c6c2628","datavalue":{"value":{"text":"A plus-1 theorem for subsections","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1113897$D53BFDDC-E47D-4E78-8481-5D014C80FDA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db390f9f12705afefa70415bef1fbcc2cdb31d12","datavalue":{"value":"0662.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113897$CDE0B2FE-4575-49A5-B697-08B4881B1D06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5370194f5ff9ad3952f989f1da96575e0d077111","datavalue":{"value":"10.1007/BF01620759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113897$2134684A-F19F-4EFE-B6C3-288D4E091366","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":"Q1113897$F44A635E-D65D-44F1-B9DD-652E224AF4FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1113897$02F4B168-B6D0-40C7-B899-29C0FDF23CA3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2724d105794de001f14475dd525d7359b3abdf25","datavalue":{"value":"In this paper the author proves an analogue of Sacks' plus-1 theorem for subrecursive hierarchies. If \\(<\\) is a nice primitive recursive well- ordering of a limit order type then the F-hierarchy over \\(<\\) is defined for any functional F of type 2 or 3. The \\(<\\)-subsection of F is defined as all functions primitive recursive in one of the functions in the \\(<\\)- hierarchy over F. The main result is that to any normal functional F of type 3 there is a normal functional K of type 2 with the same \\(<\\)- subsection. Using a nice primitive recursive well-ordering of order type \\(\\epsilon_ 0\\) the \\(<\\)-subsection of F consists of those functions that are G\u00f6del primitive recursive in F. As a corollary it is shown that to any normal functional F of type 3 there exists a normal functional K of type 2 with the same functions being G\u00f6del primitive recursive.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113897$A9B6A75E-2E81-4815-B85D-CD22F40E34BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113897$7909AC1F-44F9-40C0-B1FF-C181D0F65E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113897$3388100C-0F1D-4F3E-BC8F-197C904808C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113897$53F2322C-398E-49F7-8CFD-362447AC45A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5ba985fba6f0185fd3819d07cef7ce9b6e22677","datavalue":{"value":"4081544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113897$EC7FC899-5645-4B0E-8D11-5EBD9487D6AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a225ff32b748af91481f21c55245adc8216fcf40","datavalue":{"value":"analogue of Sacks' plus-1 theorem for subrecursive hierarchies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113897$C2D9AD97-C7B3-4668-BD18-0D9F65FE3F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d418c587703c062d580b24b1fb5e819327a34fa","datavalue":{"value":"G\u00f6del primitive recursive","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113897$FF0F1AA7-1664-4E39-BB5C-0D06ADAF1AE5","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":"Q1113897$49C24423-5E59-4AE8-B91A-E54D069594A8","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":"Q1113897$913098B0-6C9D-453B-977A-5F1DA59FFAAB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e14656e57bd99cfc655dee6baf36ca4985c6bfd4","datavalue":{"value":{"entity-type":"item","numeric-id":4043075,"id":"Q4043075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113897$FD2A4E93-C144-4AB3-8A6D-0EF546FDB8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c59bf00a70c2cce6357ba2427fb74188016b991b","datavalue":{"value":{"entity-type":"item","numeric-id":4079601,"id":"Q4079601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113897$057ADED3-09A2-4F0C-90F2-48529112215A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"721123a1f2d2a189cca1d5c7e5cc012fb697d914","datavalue":{"value":{"entity-type":"item","numeric-id":4108311,"id":"Q4108311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113897$8899D978-BBFE-4EB7-950B-D161461B3DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad454711e021dc8f8778587394e740b8ff0e861b","datavalue":{"value":{"entity-type":"item","numeric-id":4053632,"id":"Q4053632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113897$11344ED2-D978-4F75-B2D8-6AE6D89F6143","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22fd3a9e50161e80299c6a775b0de1e85f541fa1","datavalue":{"value":"https://doi.org/10.1007/bf01620759","type":"string"},"datatype":"url"},"type":"statement","id":"Q1113897$C637DF28-3B8D-481E-888E-8512E1303E7E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db0f23819613a8601dbd74aed64a2e5655e589f7","datavalue":{"value":"W2038953565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113897$A82A445E-B4A7-47B0-B8E9-AF8068F7EBDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4208ca7497ec444bef5c405d12efd68902fc6d","datavalue":{"value":{"entity-type":"item","numeric-id":3028996,"id":"Q3028996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a718629dfda65e4988a16a42573aabebeb96ebab","datavalue":{"value":{"amount":"+0.7359105944633484","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":"Q1113897$D5241AAC-2E2C-4F3A-8AA4-ABC900C7C844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b93ef8b5e71d17ceae8bf1590578ea34742e1b8d","datavalue":{"value":{"entity-type":"item","numeric-id":3325707,"id":"Q3325707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cb516bccaf4552faba3cc4ce15179784e460aaa","datavalue":{"value":{"amount":"+0.7253541350364685","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":"Q1113897$2DBF7DCE-93BF-487E-9C66-8AFF93C0891C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4fb42a5356c6cc9780393ddb49417cdbaaae7e","datavalue":{"value":{"entity-type":"item","numeric-id":4215632,"id":"Q4215632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc17db11a94c929d02ff26b04cfb78e7c6e4a0b","datavalue":{"value":{"amount":"+0.7252458333969116","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":"Q1113897$29DCB34D-5860-4B82-AC9D-6ED433519199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed3aefaa3e60d83dbe6e270271568ed2d939857","datavalue":{"value":{"entity-type":"item","numeric-id":3690805,"id":"Q3690805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d3fa4c886196bb4e4d37f2665cc5042c5685f5b","datavalue":{"value":{"amount":"+0.7218019962310791","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":"Q1113897$08990DE5-85DA-40D4-B757-7E10F84E8D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e81e1b6e181c0774f6a2f15bfac91fe543c916a","datavalue":{"value":{"entity-type":"item","numeric-id":3028999,"id":"Q3028999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9162cc09e4d983de7363e751dbdf359ea913283e","datavalue":{"value":{"amount":"+0.7217411398887634","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":"Q1113897$99001032-82D9-4E9A-AFF6-F7E0CA5C1C85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A plus-1 theorem for subsections","badges":[]}}}}}