{"entities":{"Q1576592":{"pageid":1587332,"ns":120,"title":"Item:Q1576592","lastrevid":73746363,"modified":"2026-04-14T17:07:36Z","type":"item","id":"Q1576592","labels":{"en":{"language":"en","value":"Ordinal diagrams for recursively Mahlo universes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1491682"}},"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":"Q1576592$4D655ECC-705D-4819-858F-C4E9D20FB6FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2c49be50d8d253a9c657159244128cc90e5924c","datavalue":{"value":{"text":"Ordinal diagrams for recursively Mahlo universes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1576592$F63BF990-4E5C-47E9-A50D-5F4F71B71516","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12413476bab405248de9332db0a855951cbb2b7a","datavalue":{"value":"0977.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576592$DAFA7A23-E6BD-4670-A134-70B2188CD7BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98156e494398a35b2d843b98a737abd4eb3af2cb","datavalue":{"value":{"entity-type":"item","numeric-id":494641,"id":"Q494641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576592$AB54F9C5-C760-45F4-B258-56235C3BBF74","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":"Q1576592$9C457CCE-D55A-4AD9-8F45-68A3BC7C46B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d99679be6596c8cc4e11d1bbb5f9466f6a2a85c4","datavalue":{"value":{"time":"+2002-01-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":"Q1576592$DF4E4B45-F64A-4452-A3A8-08DEC8648C87","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e0c6845c816f656eb88cdebeb0fe6e49cf4f9b36","datavalue":{"value":"The paper under review is part of a great project of the author which continues the work of G. Gentzen and G. Takeuti, aiming at establishing the proof-theoretic strength of subsystems \\(T_N\\) of analysis. These systems are characterized by differently strong axiom schemata of \\(\\Pi_N\\)-reflection (\\(N\\geq 2\\)). The strength of a system \\(T\\) can be described by its proof-theoretic ordinal  \\[ |T|_{\\Pi^{\\Omega}_2}:=\\inf\\{\\alpha\\leq \\omega^{CK}_1\\mid\\forall \\Pi_2\\text{-sentences }A(T\\vdash A^{\\Omega}\\Rightarrow A^{\\alpha})\\}. \\]  In the considered paper \\(N\\) is to be 2. Let \\(\\mu\\) be the least recursively Mahlo ordinal. \\(\\varkappa\\) is called recursively Mahlo iff \\(\\varkappa\\) is \\(\\Pi_2\\)-reflecting on admissibles (i.e. on recursively regular ordinals). \\(\\varkappa\\) is called \\(\\Pi_2\\)-reflecting on admissibles if every \\(\\Pi_2\\)-formula with parameters from \\(\\mathcal{L}_{\\varkappa}\\), the \\(\\varkappa\\)-th element of the constructible hierarchy which is valid in \\(\\mathcal{L}_{\\varkappa}\\) is already valid in \\(\\mathcal{L}_{\\varrho}\\) for some admissible \\(\\varrho< \\varkappa\\). The author establishes an ordinal system \\(O(\\mu)\\) of so-called ordinal diagrams starting with the symbols \\(0\\), \\(\\Omega\\), \\(\\mu\\),\\(+\\), \\(\\varphi\\) and \\(d\\). \\(\\Omega\\) is to represent the least admissible ordinal, + the usual addition, \\(\\varphi\\) the Veblen functions and \\(d\\) something like the collapsing functions \\(\\psi\\) introduced by \\textit{W. Buchholz} in Ann. Pure Appl. Log. 32, 195-207 (1986; Zbl 0655.03038)]. Collapsing is permitted only with respect to \\(\\mu\\) -- this yields admissible \\(d_{\\mu}\\alpha\\), and with respect to these \\(\\sigma= d_{\\mu}\\alpha\\) -- this gives strongly critical not admissible ordinals \\(d_{\\sigma}\\beta\\). Together with \\(O(\\mu)\\) simultaneously a binary relation \\(<\\) on \\(O(\\mu)\\) is defined. The author proves: 1. The simultaneous definitions of \\(O(\\mu)\\), \\(<\\), and certain auxiliary concepts, for instance sets of coefficients, are elementary recursive and can be formalized in the system \\(S^1_2\\) of bounded arithmetic of~~S. Buss. 2. \\(<\\) is a linear ordering of \\(O(\\mu)\\). 3. \\(<\\) well-orders \\(O(\\mu)\\). In the original version of the paper the author showed 1. and 2. simultaneously by a very long proof. Following a proposal of the referee, he separated both proofs by a slight modification of the definition. 3. is proved in the system \\textbf{KPM} of set theory for recursively Mahlo universes by means of so-called distinguished classes, generalizing a method of \\textit{W. Buchholz} [cf. ISILC Proof Theory Symp., dedic. Kurt Sch\u00fctte, Proc. Int. Summer Inst., Logic Colloq., Kiel 1974, Lect. Notes Math. 500, 4-25 (1975; Zbl 0342.02021)]. Though obviously the system \\(O(\\mu)\\) is closely related to set theory, the author reveals that he has no set-theoretic interpretation of \\(O(\\mu)\\) at hand. The system is rather constructed in such a way that the proof of the Main Lemma in the submitted paper on ``Proof theory for theories of ordinals. I. Recursively Mahlo'' of the author can be executed. In a by now unpublished paper, the author of the paper under review presents a well-ordering proof for \\(O(\\mu)\\) (and other systems) by means of inductive definitions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576592$FCF36E59-37B1-4CEE-86C6-81D9438CBE4B","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":"Q1576592$50347F39-61C3-4417-B4F3-1DF4C839176E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576592$CE86855A-DB97-48DD-A694-6EB6CD52BC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576592$3B2B6DB8-997C-43F8-BFC7-4F476B0E8058","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6c4e2ca075eb4958c589763f6c91b61eff2f161","datavalue":{"value":"1491682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576592$495DE932-A3D3-4EC2-9F0D-46C95DA8D4C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92617c8c95ee504ceff4e19570e4ab78643a806f","datavalue":{"value":"proof-theoretic strength of subsystems of analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576592$7284E6CA-8038-4FB4-91FD-E01182566D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d428e061d0d1f9b3793fed9f9d7a7b0cb9087b2","datavalue":{"value":"proof-theoretic ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576592$3AEA33A9-8E9B-42D9-B564-CD465372BA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f0afa3c58aebf4be79ea0daba826af906614591","datavalue":{"value":"recursively Mahlo ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576592$AFE2BCDD-8E3E-4321-8CF7-8C3BA136385D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d851dc6dad0c21e96d2633170c6d7b269b86574","datavalue":{"value":"ordinal diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576592$DFEB2C58-24EA-4DB7-89D3-D00B61DC4B7C","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":"Q1576592$C3167A37-6E53-4208-9564-26D9F15D7E55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75c0eb9b7815fd73a8fb290b33d1a14b001d1c86","datavalue":{"value":"https://doi.org/10.1007/s001530050153","type":"string"},"datatype":"url"},"type":"statement","id":"Q1576592$F8E93D62-677F-48AA-9A9B-FCC59F732147","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ff1b9b462e62a288188e2486d29cb1bb7d491c6","datavalue":{"value":"W2063028251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576592$5E273E76-11CE-4BED-820E-4BF4B9AEBD15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"563d656a74fd093f442f7642240f847c002b132b","datavalue":{"value":"10.1007/S001530050153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576592$00C53BB3-004F-488B-9861-39ED380428CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887dd5830fa4f924e4f422162681bc2edc4f6a45","datavalue":{"value":{"entity-type":"item","numeric-id":4527929,"id":"Q4527929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1109479d9dc4da6af2ac28e554769bbd3e3b4893","datavalue":{"value":{"amount":"+0.838538646697998","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":"Q1576592$758CA581-EE54-4855-A4E0-3582A6B4EE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32db7d0e1788af3b2abde1bafb762cdbb7628df8","datavalue":{"value":{"entity-type":"item","numeric-id":1400597,"id":"Q1400597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b36b8e9eced2332d94bf47895a90d52da9873a76","datavalue":{"value":{"amount":"+0.8348785638809204","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":"Q1576592$69EB1C75-438E-4481-8EC1-1B46A1FFF23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbbe010b804df7cb6804c79e100d84689cde3255","datavalue":{"value":{"entity-type":"item","numeric-id":920986,"id":"Q920986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12086a24575c5646c05b1decc90cb9e091c1a9eb","datavalue":{"value":{"amount":"+0.8005228042602539","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":"Q1576592$D2BF5778-3B58-4DAF-A3DA-28087776B6C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ordinal diagrams for recursively Mahlo universes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ordinal_diagrams_for_recursively_Mahlo_universes"}}}}}