{"entities":{"Q1734260":{"pageid":1745001,"ns":120,"title":"Item:Q1734260","lastrevid":57518484,"modified":"2026-03-31T06:10:50Z","type":"item","id":"Q1734260","labels":{"en":{"language":"en","value":"A note on iterated consistency and infinite proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7043049"}},"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":"Q1734260$4625CA26-7CA1-49CA-9418-2B2620345AD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a26df9e8ae7997f85fe2b10e8dfa78b450858c78","datavalue":{"value":{"text":"A note on iterated consistency and infinite proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1734260$CBD8BF98-5182-4B6B-9A88-D3B77226E027","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47aed725ad648e0b557b8c202b878f29638ee0b1","datavalue":{"value":"1454.03075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734260$3A03BDD4-5607-4934-854D-DD041AF7636C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46cde92a906782ad5f79b8c3d5306f5cd4f870fe","datavalue":{"value":{"entity-type":"item","numeric-id":526963,"id":"Q526963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734260$B043C37A-A34E-4C3B-A8C5-4D4F2864463E","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":"Q1734260$6018DF88-2DAF-4465-957C-195C02B21E5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d06bbe883443d922d03e742956c1e568349f86c8","datavalue":{"value":{"time":"+2019-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1734260$9DF86450-1499-4115-B0B6-A3249C489D2E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbc62d6f5a2f844137a4f6b3863592366d7ed2c4","datavalue":{"value":"https://arxiv.org/abs/1709.01540","type":"string"},"datatype":"url"},"type":"statement","id":"Q1734260$D7E654A4-C167-4A34-84B1-34219820D50E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c2f42f5e59d215e9536ad40a1df83a10b936ff60","datavalue":{"value":"Consider a transfinite sequence of arithmetical theories \\(\\mathbf T_\\alpha=\\mathbf{PRA}+\\forall_{\\gamma<\\alpha} \\mathrm{Con}(\\mathbf T_\\gamma)\\). Then any arithmetical sentence \\(\\varphi\\) is characterised by ordinals \\(\\alpha\\) such that \\(\\mathbf T_\\alpha\\vdash\\varphi\\).  The author applies the infinitary system \\(\\mathbf Z^*\\) introduced by \\textit{W. Buchholz} [Arch. Math. Logic 30, No. 5--6, 277--296 (1991; Zbl 0726.03038)] for the estimation of such ordinals for \\(\\Pi_1\\) sentences. Namely, it is proved that any \\(\\Pi_1\\)-formula with a cut-free \\(\\mathbf Z^*\\)-proof of height \\(\\alpha\\) has a (finitary) proof in \\(\\mathbf T_\\alpha\\). It is explained how a similar argument can be used for \\(\\Pi_n\\)-sentences (\\(n\\ge2\\)).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734260$5326983A-FC66-4F2D-A2DE-818E88A11068","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b1f73afd33192153e94113807fdc62b87cbaa1ee","datavalue":{"value":{"entity-type":"item","numeric-id":234728,"id":"Q234728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734260$864083D8-599F-48A0-BF25-990A93294354","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734260$9F022BDD-F04C-4262-940F-F702E52F220D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734260$C19C57B2-17C8-4B92-BDDC-D0210F85B8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734260$65EFEDD5-8206-4FDA-B956-EF5C3B7EBB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734260$758D499A-5BA0-4E7C-B056-2860FF0ACD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734260$9A99F52F-5B9E-4A90-A2C0-E2BB1375D2DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf5c165014694ef6691e2e947f8efa402a2143b2","datavalue":{"value":"7043049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734260$4BF761BA-44A8-4043-9410-E45E8BC89C82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"779f8805417eee0ce6c41f6bd949dee7ac4c3dd7","datavalue":{"value":"iterated consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734260$865DC723-DDA6-4080-85C8-50CA40501F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c217a1a00d62effaec670f5656be452525922","datavalue":{"value":"ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734260$5F48D7C6-30AE-4F1A-BC2C-41367D8CBEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5da6b3b3ee31261dd70b9cef952ff5859a3a4c4","datavalue":{"value":"\\(\\Pi^0_1\\)-ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734260$471FD0DB-27C7-4150-B405-433DBB180A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4cff29fbdd8f8c161bac432917b79c864af8752","datavalue":{"value":"infinite proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734260$0EAA51EF-9480-4828-ABBD-02BE3E44E055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"468019f5ee0d44c89b0171c3e2d4ed3cb3bada8e","datavalue":{"value":"\\(\\omega\\)-rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734260$B39BEA19-F693-4BC7-8285-D6C89BD4D586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734260$E28845AA-11EC-43B0-B470-03502EE2B357","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7ad66999b458094a01cf325d12c4034d9ca07a90","datavalue":{"value":"Q113906147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734260$47093EB9-E22D-45D4-A5E3-46B1CDC1DE94","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":"Q1734260$A9B389B7-D309-4542-817D-B16BAB384FDF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b76bc83070b64812f323455950753d1ef77c342e","datavalue":{"value":"W2752922296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734260$66E0694B-46B9-49E5-B094-8895F798DF6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c2140d076703a39dcbcb7779c23b262d94fdad","datavalue":{"value":{"entity-type":"item","numeric-id":1407608,"id":"Q1407608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734260$14973312-1C04-437D-96CD-AB0943B22E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc23233d37a7b707fdf4001c24c05adf785fcdc7","datavalue":{"value":{"entity-type":"item","numeric-id":2277451,"id":"Q2277451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734260$A5D720B6-493E-4AFA-B645-2844ABFE945D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4577aab451977e49ee8d4b4a69876cde591022a7","datavalue":{"value":{"entity-type":"item","numeric-id":4215632,"id":"Q4215632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734260$7CD07BB5-A9D1-46B3-A66F-D798B25381A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd72dbbdbb28e49bc58fdcc6d69fc1738d5bbb0","datavalue":{"value":{"entity-type":"item","numeric-id":5552747,"id":"Q5552747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734260$BC2435C2-9ED8-48EE-90A9-C9C5EDFF6B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4def144a6c01a2c5f09f7a663c86480a856bf8a1","datavalue":{"value":{"entity-type":"item","numeric-id":3866106,"id":"Q3866106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734260$48275BD1-8D4B-42D9-94ED-0A7C0B007ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aab5718133ee35ae13e0bbaba52f4ef30a178cab","datavalue":{"value":{"entity-type":"item","numeric-id":3966133,"id":"Q3966133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734260$79DBBDA4-A0DC-43D6-90A4-FE2AB7874BF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd8acde165ac68f0b8fde89ab5b832c22ada9bf7","datavalue":{"value":"10.1007/S00153-018-0639-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734260$DAA8D1A3-6411-4C4E-A6C8-F91D75B792BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efb37b909f6a7304f8d4680927355fbe38f92f84","datavalue":{"value":{"entity-type":"item","numeric-id":1407608,"id":"Q1407608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5623b96849bdd93b0c8ca4394ea69480dbe1ec65","datavalue":{"value":{"amount":"+0.7952366471290588","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":"Q1734260$2060FA93-1D22-433B-B11C-ECF3318834FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94d8fd4876b62694729223c9b8de482de58a1b04","datavalue":{"value":{"entity-type":"item","numeric-id":5214787,"id":"Q5214787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5623b96849bdd93b0c8ca4394ea69480dbe1ec65","datavalue":{"value":{"amount":"+0.7952366471290588","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":"Q1734260$783F56CF-C686-41A9-98C2-63E2B8294BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a47bc64d822cea8c553171dd258853e920957567","datavalue":{"value":{"entity-type":"item","numeric-id":4637223,"id":"Q4637223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bebb02ce1f35d1ed32fea75180b0a61fd73fcf1","datavalue":{"value":{"amount":"+0.7950291633605957","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":"Q1734260$620CCFBF-031E-432A-B066-C1D078589DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86d7f67c7ff29fa932d4d2a0afde124e53866c1f","datavalue":{"value":{"entity-type":"item","numeric-id":1899141,"id":"Q1899141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1592b8b30edce1df9aa28051d3234561f1fd29f9","datavalue":{"value":{"amount":"+0.7660967111587524","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":"Q1734260$2DD92AE0-80F7-4CC3-BBE2-BEC244C05C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce26ed2180efea7b2de854b2112726dec0507f39","datavalue":{"value":{"entity-type":"item","numeric-id":4254619,"id":"Q4254619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28f13e3d29d23539997b14f71cdc63d48793a365","datavalue":{"value":{"amount":"+0.7656013369560242","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":"Q1734260$0D1B8D94-1E99-4641-AAB2-6427EDC7E1BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1734260","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1734260"}}}}}