{"entities":{"Q1100461":{"pageid":1111213,"ns":120,"title":"Item:Q1100461","lastrevid":49151542,"modified":"2026-01-06T16:33:13Z","type":"item","id":"Q1100461","labels":{"en":{"language":"en","value":"A consistency proof of a system including Feferman's \\(ID_{\\xi}\\) by Takeuti's reduction method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4043836"}},"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":"Q1100461$65A4E7D6-7BF4-46C9-94C4-DB1AEE904B5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db343a28030f3075288488e7c31efb538a97bac9","datavalue":{"value":{"text":"A consistency proof of a system including Feferman's \\(ID_{\\xi}\\) by Takeuti's reduction method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1100461$8CDF9287-D533-4326-A2DA-858314F75822","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e09d37a4f8f1cf5bc82eae658dd3efbedaf16896","datavalue":{"value":"0641.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100461$74785C72-0964-4B62-A642-967EE7C9B3C0","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":"Q1100461$E3E6698E-D0CD-4728-82DE-3A74C272AFB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4644ee9c6c93e22a4aa2641411a372d7ea43bad8","datavalue":{"value":{"entity-type":"item","numeric-id":180651,"id":"Q180651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100461$8617BD0B-C763-48E1-8842-688DD4546E0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1100461$3D0A5EB4-51C7-4D28-B32E-92E4E2B67F03","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b4e2f054ac8541c5bfef7bbd6609e13af4293739","datavalue":{"value":"This is a sequel to our earlier papers [ibid. 8, 209-218 (1984; Zbl 0564.03041) and ibid. 9, 21-29 (1985; Zbl 0612.03024)]. For a recursive ordinal \\(\\xi\\), \\(AI_{{\\bar \\xi}}\\) denotes the first-order part of the theory \\((\\Pi \\quad 1_ 1-CA)_{{\\bar \\xi}},\\) second order arithmetic with the axiom of \\(\\xi\\)-times iterated \\(\\Pi\\) \\(1_ 1\\)-Comprehension Axiom. It is shown that cut-elimination theorem for \\(AI_{{\\bar \\xi}}\\)- derivations with \\(\\Sigma\\) \\(0_ 1\\) end formula follows from the descending chain principle (d.c.p.) for the system of ordinal diagrams (o.d.'s) \\(O(\\xi +1,1)\\) w.r.t. \\(<_ 0\\). The proof is a refinement of \\textit{G. Takeuti}'s reduction method [Proof theory, 2nd ed. (1987; Zbl 0609.03019)]. Thus, a part of results due to \\textit{W. Buchholz} and \\textit{W. Pohlers} [in their joint book with \\textit{S. Feferman} and \\textit{W. Sieg}, Iterated inductive definitions and subsystems of analysis (1981; Zbl 0489.03022)] is proved in a different way. There are many misprints in this paper.    In a forthcoming paper, we cut-eliminate for a logic calculus corresponding to second order arithmetic with axioms of \\(\\Pi\\) \\(1_ 2\\)- Separation and Bar-induction by d.c.p. for a system of o.d.'s O(I) and show that for each o.d. \\(\\alpha <\\Omega_ 1\\) transfinite induction up to \\(\\alpha\\) is derivable in Feferman's theory \\(T_ 0\\). Proofs are inspired by recent works of \\textit{K. Sch\u00fctte} and \\textit{W. Buchholz} [Sitzungsber., Bayer. Akad. Wiss. Math.-Naturwiss. Kl. 1983, 99-132 (1984; Zbl 0573.03028)] and \\textit{G. J\u00e4ger} [Arch. Math. Logik Grundlagenforsch. 23, 65-77 (1983; Zbl 0511.03025)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100461$ADE9859B-950A-416B-8707-A0CCEFB4E9CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100461$E297F4EC-02F3-47AF-9BDC-4CD773B7E5C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a8d10e23490f3c55d781b5d0c5040b5221fd704","datavalue":{"value":"4043836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100461$0F7A0752-4831-4374-AC2A-5094605475CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100461$658A4FD3-6CF6-4997-A8FC-58E778ACD95E","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":"Q1100461$A06E1400-8704-4083-8E70-BF2874DF8189","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"faa2ccdd6e1cd089167fac91f65b02b7658b5f2f","datavalue":{"value":"https://doi.org/10.21099/tkbjm/1496160577","type":"string"},"datatype":"url"},"type":"statement","id":"Q1100461$4FBB636E-14D2-4168-BCB1-196AB9FF9588","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e690f130b90ff43c8a9bb51aa3dbde9a36e9f4ea","datavalue":{"value":"W1585970305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100461$8E23DA2D-9757-4A54-AC0A-E081009C88F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf4299f711a056fb440421b20337eb9686f07d2f","datavalue":{"value":"10.21099/TKBJM/1496160577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100461$A17E538C-18C8-4C38-9AEF-F372941A27B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f577a555e5a17c3fd40e19c0409b8141c311a7c","datavalue":{"value":{"entity-type":"item","numeric-id":5944050,"id":"Q5944050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f126f26c64c9f0e20c8a6232a644f4d2d820f783","datavalue":{"value":{"amount":"+0.8008310794830322","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":"Q1100461$AC495190-32CF-4E4B-8A7C-22D6E15B3DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba0e8bd64e7c43c2c3853d7a87188d980ea52e44","datavalue":{"value":{"entity-type":"item","numeric-id":1277150,"id":"Q1277150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06aa1b0a7a8898daa31ccdcd4bfcaf7cb8242535","datavalue":{"value":{"amount":"+0.8006910681724548","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":"Q1100461$4A8BBCF6-49E5-4347-8589-AF3091D372B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2eca53530ffafcf79f2559c2e9d3020cad8fb56","datavalue":{"value":{"entity-type":"item","numeric-id":4944926,"id":"Q4944926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a8cdc52a749d0fba7b386ffa8253b547941980c","datavalue":{"value":{"amount":"+0.7825725078582764","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":"Q1100461$257ECC23-58C2-4F8E-8EC6-ED03997AFFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"251c095c0cfbb9f9fca38e6a1d4c00adbdbc91ac","datavalue":{"value":{"entity-type":"item","numeric-id":283132,"id":"Q283132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a8cdc52a749d0fba7b386ffa8253b547941980c","datavalue":{"value":{"amount":"+0.7825725078582764","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":"Q1100461$93B0CDD5-C505-401E-B093-A2E9BB4F7F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ca47e431ddf7c60bf5873408d1d563d9f8fbe13","datavalue":{"value":{"entity-type":"item","numeric-id":1087871,"id":"Q1087871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e60260c7ac2f830d77354d3f98b5e149a5f3a280","datavalue":{"value":{"amount":"+0.7694832682609558","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":"Q1100461$6DB43A30-5519-4503-8EED-05EAF91E6A7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1100461","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1100461"}}}}}