{"entities":{"Q1121880":{"pageid":1132629,"ns":120,"title":"Item:Q1121880","lastrevid":66814506,"modified":"2026-04-12T13:02:42Z","type":"item","id":"Q1121880","labels":{"en":{"language":"en","value":"Rekursion \u00fcber Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4104946"}},"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":"Q1121880$0C0CACED-F4DD-47B8-B840-8F8D9639332D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ace1c3b10ee16c8b34d03fb5f087dc28940cdd1","datavalue":{"value":{"text":"Rekursion \u00fcber Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1121880$92D599AE-B1DE-437A-B8CF-3A97BADF1DEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7adb408f804645266587043965388a0c5266f1cf","datavalue":{"value":"0675.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121880$295B8E6C-EB22-4516-B474-6BA8168614F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0232dedec8ac1254fd703f2fb9f628472358cdfc","datavalue":{"value":"10.1007/BF01624083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121880$16AE1996-8423-4D04-8F5D-350E83B05DDD","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":"Q1121880$04672562-F2E5-4F51-9F02-FC042923A409","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1121880$4DB56BF0-626E-496E-A2CF-B861A6F64C20","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"20b25984a0801a175d95488979860ad06f780e1a","datavalue":{"value":"Let ON be the category consisting of the ordinals as objects and strictly monotone functions as morphisms. J.-Y. Girard introduced dilators to be functors from ON to ON, which commute with direct limits and with pull- backs.    Let g be a function from On to On. In the paper under review a hierarchy \\({\\mathbb{J}}^ g_ D\\) of functions is defined by primitive recursion on the collection of dilators such that to each dilator D a function \\({\\mathbb{J}}^ g_ D: On\\to On\\) is associated. This hierarchy is related to the so- called Bachmann hierarchy based on g, \\((\\Phi^ g_{\\alpha})_{\\alpha <\\epsilon_{\\Omega +1}}\\), \\(\\epsilon_{\\Omega +1}\\) being the least fixed point of the function \\(\\lambda \\xi \\omega^{\\xi}\\) which is greater than \\(\\Omega\\). The hierarchies cannot be compared immediately because the concepts used to construct them do not correspond directly. Therefore another hierarchy \\({\\mathbb{J}}^*\\) has to be put in between. If g satisfies certain conditions, the functions of the hierarchy \\({\\mathbb{J}}^*\\) can be compared with those of the Bachmann hierarchy and the functions of \\({\\mathbb{J}}\\) can be bounded by those of \\({\\mathbb{J}}^*\\). Thus the Bachmann- Howard ordinal can be characterized in the theory of dilators.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121880$DA2CBE19-96AF-452C-8B4D-D54645A15D0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121880$DEBFF1B7-E84F-48F1-B170-7132A037E41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121880$A3E4BC2D-3C1F-4DA1-9E54-9C346DF9F7CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f665b6d23dd768c1cd31184a1eac8da3952387c4","datavalue":{"value":"4104946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121880$B8065C45-DDA4-437E-ACAB-BB4E0C9836C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99d05b99878f3cd01c64f091728a6d10cfed0c0e","datavalue":{"value":"dilators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121880$3B9C8F34-D42E-4976-BE84-19B6788B2B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac91c497e5a12b747663afac74f58bf2ab28eb97","datavalue":{"value":"primitive recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121880$794AF36B-BA1C-4D1D-9BB2-A579F634F548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae6c525030256aa9e70d127dcfda6c3dc60ad34f","datavalue":{"value":"Bachmann hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121880$2F7C823F-AACB-4334-9BB1-00C5B9F58BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdb140aedd988b04d777d34948307da2d866457f","datavalue":{"value":"Bachmann-Howard ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121880$675F398C-42F9-4CEA-AC46-2765C3D7B57E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"145d33cdfbbb32da39ed49a171f39072f308ca20","datavalue":{"value":{"entity-type":"item","numeric-id":595647,"id":"Q595647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121880$795156CC-EBE6-45F4-86E3-3B33E09D915A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0580dd4129e5d6439921b513d45494c072f33534","datavalue":{"value":{"entity-type":"item","numeric-id":1288968,"id":"Q1288968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121880$B203AE7C-DB16-4233-9907-28EB1E754B14","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":"Q1121880$EF0BA81A-0B66-4339-B0D6-1B3D8E9575AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f764d84f67437b6e6b899253650bf254a8c4c6f2","datavalue":{"value":{"entity-type":"item","numeric-id":913788,"id":"Q913788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121880$955D5A97-D8C1-42C9-ACC1-795CD43846B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03a7a9ac04ef15fb977c0cfc98bbb8dcfac3e91d","datavalue":{"value":{"entity-type":"item","numeric-id":3772214,"id":"Q3772214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121880$BE5FFEBC-83F5-45FB-A9FD-0CDE7B95D8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ffed7f3683db41870f5223b945fb7dae1987b12","datavalue":{"value":{"entity-type":"item","numeric-id":5680101,"id":"Q5680101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121880$B5CFBAB1-EC93-4FEA-AEF8-6679A60DF93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f32d6cbd01dd0ea8ea26131a68d909048005c899","datavalue":{"value":{"entity-type":"item","numeric-id":5800868,"id":"Q5800868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121880$FF205D26-DD06-429F-9FC5-3D967B49F470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e065643d50abd5b84483003e456d4556e6495178","datavalue":{"value":{"entity-type":"item","numeric-id":4067070,"id":"Q4067070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121880$D1EBA9EA-FEAB-47DF-9268-CC8CAE1117BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9da86c6cfa45617eb12790d4c4908169d8189d","datavalue":{"value":{"entity-type":"item","numeric-id":2528384,"id":"Q2528384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121880$878D1E52-2061-4252-B716-FA27EF0C69D4","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":"Q1121880$D759881B-EC63-4131-88DD-95A4CFFEA90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55f89dd25add03622eec747c26963c43c5d21a6","datavalue":{"value":{"entity-type":"item","numeric-id":1063591,"id":"Q1063591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121880$C45E86CD-D6B0-4CFF-81F2-C4042F86F4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2319a46464120798c345ac7150bbf076e8d4292b","datavalue":{"value":{"entity-type":"item","numeric-id":3684118,"id":"Q3684118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121880$140A5920-879F-4FF9-B42C-DA6801013E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3068791d66947cf0f797527094acea2101c2f6f9","datavalue":{"value":{"entity-type":"item","numeric-id":3220581,"id":"Q3220581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121880$610355EB-E58E-44C5-9AF9-69F5C5E79068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"218f54381b405a5e02c3d5b0d2ce2096506b08e6","datavalue":{"value":{"entity-type":"item","numeric-id":3346306,"id":"Q3346306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121880$9956BEB1-68CD-4414-83E6-E53F052EA78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e0e812c0c020e16cfec99adbbc0be5582a08616","datavalue":{"value":{"entity-type":"item","numeric-id":3695279,"id":"Q3695279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121880$2DC4385A-0037-467E-AB3A-DF3F16542192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db64a8cb14dd9cb123c8353163e19d3c57620f9","datavalue":{"value":{"entity-type":"item","numeric-id":1825868,"id":"Q1825868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121880$5B1304A2-2984-4C52-90FB-EE6FE86ED844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b6a35d6d3b3cde27c426a2f79171fa59fc5579d","datavalue":{"value":{"entity-type":"item","numeric-id":3684119,"id":"Q3684119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121880$E561E8D1-E37D-48B6-86F8-4A9D5F063F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5de47a351d5d3f16f6225d31d30cd6056ff1681","datavalue":{"value":{"entity-type":"item","numeric-id":3757912,"id":"Q3757912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121880$4DCAE4BE-9277-46BF-BDFA-0A7D7653B9D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba7481e87dc165f55e81fec242357ffe1b6a7b4","datavalue":{"value":{"entity-type":"item","numeric-id":3220581,"id":"Q3220581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04106b8ff63c8e05806f605eafccfa70ce3d1b79","datavalue":{"value":{"amount":"+0.8104389905929565","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":"Q1121880$7146B04D-55D2-4909-8362-3EA060B75077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4167c5a9729f4a734e1800135d26e64308cca6d","datavalue":{"value":{"entity-type":"item","numeric-id":3684118,"id":"Q3684118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d684b3d8c17b8cc715c63dedfcf5c814252a2dce","datavalue":{"value":{"amount":"+0.8064641952514648","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":"Q1121880$0B1DF144-0315-475E-9B46-416CF78C0E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c56af6a96b7e5ed99fab6c12d522b3bdb72623d2","datavalue":{"value":{"entity-type":"item","numeric-id":4314682,"id":"Q4314682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f8f0d2a5688b4f6504b0141bcabe11f288dc486","datavalue":{"value":{"amount":"+0.8010829091072083","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":"Q1121880$9CFC244E-A08D-4D87-B15E-59480B4E6AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fc2cce59b163f45cba50054c0e2d77508a80c3a","datavalue":{"value":{"entity-type":"item","numeric-id":4304140,"id":"Q4304140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab0d0867131617fb899bb44522b94b0ab62a054c","datavalue":{"value":{"amount":"+0.7976280450820923","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":"Q1121880$EEEBEF90-CED5-4ED7-A215-DDAD52832352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27226cb192395efe0984920691a0db9b207911d7","datavalue":{"value":{"entity-type":"item","numeric-id":5205443,"id":"Q5205443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ee667cdaf40a9faf593b6367c1b1d948e558673","datavalue":{"value":{"amount":"+0.7961350679397583","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":"Q1121880$96079EA4-D0E8-48A2-8C52-E90BB799FCA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rekursion \u00fcber Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rekursion_%C3%BCber_Dilatoren_und_die_Bachmann-Hierarchie._(Recursion_over_dilators_and_the_Bachmann_hierarchy)"}}}}}