{"entities":{"Q1128178":{"pageid":1138927,"ns":120,"title":"Item:Q1128178","lastrevid":66191907,"modified":"2026-04-12T08:10:09Z","type":"item","id":"Q1128178","labels":{"en":{"language":"en","value":"Consistency proof via pointwise induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1187519"}},"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":"Q1128178$FD83AC88-35A4-41BC-B9F4-CF52D547BA9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"006a4b74d55e337a71ab4e46c6cde8f9d506f0c5","datavalue":{"value":{"text":"Consistency proof via pointwise induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1128178$C933DAB5-1F1E-4AAB-9612-8D13E4ECB8AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2f75cc1767e5631c90f0f2f6739f16c3e4e8211","datavalue":{"value":"0908.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128178$AD330849-0BF1-41E1-A7CD-09DE1043B989","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":"Q1128178$B633CCA8-D44F-4042-B9AE-CB07426BA591","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":"Q1128178$D6A2FF38-AF5A-45F5-B63B-2A6C1E549578","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2bcebd569bbfb5b8b0063ba2286496f2af92031","datavalue":{"value":{"time":"+1998-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1128178$E43F4B95-62D7-428C-B25E-D70848BB5C48","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"260ccd75f55e704814440a11e7a0d169af52e33d","datavalue":{"value":"To show the consistency of PA, Gentzen assigned an ordinal number \\(o({\\mathcal P})<\\varepsilon_0\\) to a purported proof of contradiction and also defined a reduction \\(r({\\mathcal P})\\). He showed that \\(o(r({\\mathcal P}))< o({\\mathcal P})\\), and thus that transfinite induction up to \\(\\varepsilon_0\\) proves the consistency of PA. By modifying (formal) proofs and ordinal assignments, the author improves this approach in two ways: (1) he shows that \\(o(r({\\mathcal P}))= o({\\mathcal P})[1]\\), where for an ordinal \\(\\alpha\\), \\(\\alpha[n]_{n\\in\\omega}\\) is the fundamental sequence to \\(\\alpha\\), and (2) he considers not only PA but also systems \\(\\text{ID}_q\\), \\(q\\in\\omega\\), of finitely iterated inductive definitions. The price he pays is that he uses the Howard ordinal (which is much larger than \\(\\varepsilon_0\\)). Actually, he shows the consistency of these systems in elementary recursive arithmetic with pointwise induction (i.e. transfinite induction whose assumption at a limit ordinal \\(\\lambda\\) involves a constant point of its fundamental sequence and is thus independent of \\(\\lambda\\) itself -- in this case \\(\\lambda[1]\\)).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1128178$FF2F3E0D-6500-43A1-9622-2FEDAA1F2545","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128178$AEB08F2C-0930-48D3-9047-758B29FC0625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128178$4F4CB55D-0E9E-4707-849D-C137015A1E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128178$A263F572-528D-4ADC-AA3D-766C9297418D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128178$C571A5F3-B2F8-4FE7-A785-C7F7FC6BFAAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bde7bb20a417f4cf776de3f27665719991f8dad","datavalue":{"value":"1187519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128178$485B303B-D874-4037-9BE3-98DEC2930F33","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24be5f3c880d4c470df2f6505acde58a002b052e","datavalue":{"value":"reductive proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1128178$CCF9C4E8-91C2-4035-ACFB-8DE97D8ED0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d0f0fef6be7cfc59982dc531660b41ed6172ca3","datavalue":{"value":"pointwise induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1128178$C3FD9F14-C90C-4425-A43B-B825A56250FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae9c65ad678299862bd8accaaa630b8d6ab8349c","datavalue":{"value":"Howard ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1128178$9EB40C12-F4A8-4583-A676-E1DC9B560D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1128178$CC028F7C-801E-4D77-930B-38CE31235255","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":"Q1128178$E27CDAB3-6B80-4705-B0C5-415CA954FEF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a3de1a9e336c25e663960ab7bf387cf345c87ff","datavalue":{"value":"https://doi.org/10.1007/s001530050089","type":"string"},"datatype":"url"},"type":"statement","id":"Q1128178$02B5817E-8FFA-4666-AFA7-A5D4032EF48A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f734d930044eb48efc287622b9a37a47fb189d79","datavalue":{"value":"W2062790079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128178$71989888-6BC9-44D6-8EE2-D2D874208578","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f925f7c17592bba5bad57067d19df13c8ad7bd04","datavalue":{"value":"10.1007/S001530050089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128178$AB985DB1-3CCB-43E6-9888-C54988BA4443","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c80919e725f36aa7a771fafdbac6f4284966c32d","datavalue":{"value":{"entity-type":"item","numeric-id":2863601,"id":"Q2863601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6395e6e4fc4437f6345cbc73fcc535c0008c64ce","datavalue":{"value":{"amount":"+0.7736275792121887","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":"Q1128178$F7EB81EF-116E-4F4E-B137-A55851F190EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d5eba83c32b7f189abd193afe8dc3ee9bdbe2ac","datavalue":{"value":{"entity-type":"item","numeric-id":5361242,"id":"Q5361242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d3e4b20e7101a0b7c426f75867f8e4245fef571","datavalue":{"value":{"amount":"+0.7652140259742737","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":"Q1128178$1BD75FEB-4229-489A-A711-46CFAD85EDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae900d0ab80ebed474360cfc746975f741192190","datavalue":{"value":{"entity-type":"item","numeric-id":1375797,"id":"Q1375797"},"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":"Q1128178$3A208416-074B-4B0C-9F4E-75F439E9864A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75fc01fded0132f7058e41b358ca41be9ad66853","datavalue":{"value":{"entity-type":"item","numeric-id":4648945,"id":"Q4648945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9274f1ebb256181042be2a9a165a25afa1e6ecc8","datavalue":{"value":{"amount":"+0.7496467232704163","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":"Q1128178$6A68BDBF-12DC-4F51-9096-DD52312AFC8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Consistency proof via pointwise induction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Consistency_proof_via_pointwise_induction"}}}}}