{"entities":{"Q1375797":{"pageid":1386537,"ns":120,"title":"Item:Q1375797","lastrevid":71010207,"modified":"2026-04-13T18:53:13Z","type":"item","id":"Q1375797","labels":{"en":{"language":"en","value":"The \\(\\omega\\)-consistency of elementary analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1102948"}},"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":"Q1375797$C744D0C1-1DE3-42B7-8990-570FEDFE3902","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f685926e8c2e4a7fea6430d32df7c19a1cf0c405","datavalue":{"value":{"text":"The \\(\\omega\\)-consistency of elementary analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1375797$E5B69464-813C-4D5D-80CB-6164C2AA40B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"413f3b250c3ce8b2116304b930480bb05e6edc0a","datavalue":{"value":"0885.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375797$1AC801B4-CE18-4E52-B872-F36946EBCFA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32257ed10612839b637d0297f3e7c215b9aa2e43","datavalue":{"value":{"entity-type":"item","numeric-id":599811,"id":"Q599811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1375797$C88681B5-EEEC-460C-9E32-96C7F5D180B1","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":"Q1375797$2E688A68-7053-4186-812B-CA30F9AE927F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5428ed54f73e0030d8e31bf1a0a854c10199b1ce","datavalue":{"value":{"time":"+1998-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1375797$896A0CA4-4C52-42F2-8E61-36D4C735E693","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a0a0a745f3f9775d717b1188f64bcc1404a1d0d1","datavalue":{"value":"Let EA be the formal system of elementary analysis. It was proved by \\textit{K. Sch\u00fctte} [Proof theory (1977; Zbl 0367.02012)] that we have a proof of the consistency of EA by transfinite induction up to \\(\\varepsilon_{\\varepsilon_0}\\).   The purpose of this paper is to prove the following two theorems:   Theorem 1. The \\(\\omega\\)-consistency of EA can be proved by applying transfinite induction up to \\(\\varepsilon_{\\varepsilon_1}\\) for an elementary number theoretical proposition, together with exclusively elementary number theoretical techniques.   Theorem 2. The \\(\\omega\\)-consistency of EA cannot be proved by applying transfinite induction to numbers below \\(\\varepsilon_{\\varepsilon_1}\\) for the elementary number theoretical propositions, together with exclusively elementary number theoretical techniques.   The proof of Theorem 1 is carried out in the same line as that of \\(\\omega\\)-consistency of elementary number theory EN by \\textit{Y. Hanatani} [Ann. Jap. Assoc. Philos. Sci. 3, 105-114 (1968; Zbl 0179.01401)], which is an application of \\textit{G. Gentzen's} consistency proof of EN [Forsch. z. Logik u. z. Grundlegung d. exakt. Wiss. N.F. 4, 19-44 (1938; Zbl 0019.24103)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1375797$264400D8-9641-446F-9A70-0F406C7E7864","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375797$2E003167-E041-48B2-9F68-0B176A5CC034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375797$E546A428-A6CE-4418-A141-9F8503F69046","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e7eeadf488a3ac821634ae1a5af97cdd34c3356","datavalue":{"value":"1102948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375797$9F7649FC-4405-4236-946B-10748CD08A4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5161e560b844d8b0f8d0d1251c34393c2789c248","datavalue":{"value":"elementary analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1375797$74D0485C-D3DF-4C0A-B746-380D4FF2DDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9da5cc793147a473f75d83c548f4d52dcf2e1560","datavalue":{"value":"\\(\\omega\\)-consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1375797$A0451156-4F3C-4C16-88A5-099E24FEE58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc87407ab9572d85505f2cace7811c9ecc29db","datavalue":{"value":"transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1375797$76296C28-C95D-49D6-B88D-1D6827898A9D","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":"Q1375797$6DE01506-61E9-42BA-8FBF-A8204194D3E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"540fdecaf253647a5f1474f8a6dc8038cd95c0ca","datavalue":{"value":"https://doi.org/10.21099/tkbjm/1496163087","type":"string"},"datatype":"url"},"type":"statement","id":"Q1375797$0B635213-8FF9-4EF6-AE29-4792DB5C98C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6e972777ef6a584c7464b45c0811349a2a56f65","datavalue":{"value":"W2106116598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375797$85DDC762-D4EF-499F-8768-3DE2ACC8993F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9d9024baea2f7b49fb50654937ec79ffdfa3f11","datavalue":{"value":"10.21099/TKBJM/1496163087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375797$76364257-244C-4E6B-8948-0A541EF37B38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7154f3325514bba3684594faa8c4f4269f10a0bb","datavalue":{"value":{"entity-type":"item","numeric-id":1128178,"id":"Q1128178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba9014284caef0289e980ac62d9c2818aad5e3e1","datavalue":{"value":{"amount":"+0.7595430612564087","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":"Q1375797$6DCE8C04-42D2-47A7-81A6-BA14AF7437F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3475e7fd9c250d66f86577ed8febec48a6867551","datavalue":{"value":{"entity-type":"item","numeric-id":4132501,"id":"Q4132501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff14e7e54b91da49aee1927df5f96e8978225c7c","datavalue":{"value":{"amount":"+0.7286938428878784","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":"Q1375797$09C74C27-0231-4570-913A-800D92F212E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16edc82f58feb4ddf61af132df6a20ccd593b407","datavalue":{"value":{"entity-type":"item","numeric-id":1919522,"id":"Q1919522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e97019998d2193f050f7f275cccb15adaf377e98","datavalue":{"value":{"amount":"+0.716606080532074","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":"Q1375797$5B0122A9-7612-430C-B5DD-B91E4DAEE5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b6c7721c70860bbb05a7223c6c91e3f9f9b7769","datavalue":{"value":{"entity-type":"item","numeric-id":1314542,"id":"Q1314542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb47f73563e4ebe9d002a6aa15cfa1ab993667c","datavalue":{"value":{"amount":"+0.7152895927429199","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":"Q1375797$9590EDED-018A-4B7C-8491-6691BD2E1E01","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":"378b492d16a8a6bac00de988ab883f36decb575a","datavalue":{"value":{"amount":"+0.712634801864624","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":"Q1375797$5AE87276-492F-4C7B-BA4E-D5F119009344","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The \\(\\omega\\)-consistency of elementary analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_%5C(%5Comega%5C)-consistency_of_elementary_analysis"}}}}}