{"entities":{"Q2862108":{"pageid":2872828,"ns":120,"title":"Item:Q2862108","lastrevid":79498646,"modified":"2026-05-06T14:03:09Z","type":"item","id":"Q2862108","labels":{"en":{"language":"en","value":"\\(\\Pi_1^0\\)-ordinal analysis beyond first-order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6226812"}},"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":"Q2862108$18CEE9BD-B944-4B3F-842D-5A0C7502DDCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abb4490dff92ff4785d4e616481dd4546735d9ef","datavalue":{"value":"1298.03111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2862108$A434810E-12C1-4AE8-BEF2-CA7A61D9D5B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2188a88b6674acb5d2901ff8f3d0f4e479b75adb","datavalue":{"value":{"entity-type":"item","numeric-id":385072,"id":"Q385072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2862108$02E236AB-87C7-4497-89AB-74C36B8B1047","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"108246dca772a8e1d58c3ba11f0cdc16c904d0dc","datavalue":{"value":{"time":"+2013-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2862108$07AC97CA-8F33-44FC-8F00-CC1FAB449DA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab4e86d2965612392d3364c4d4eb75abac42f032","datavalue":{"value":"https://arxiv.org/abs/1212.2395","type":"string"},"datatype":"url"},"type":"statement","id":"Q2862108$64D6C208-7ABB-4339-833D-201A3DAC30EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"8425f9520a4b920d93ce53c1053693f20ab75cac","datavalue":{"value":"http://hrcak.srce.hr/index.php?show=clanak&id_clanak_jezik=149471&lang=en","type":"string"},"datatype":"url"},"type":"statement","id":"Q2862108$4EC47278-C05B-4F6B-AF8F-852C54DDD3D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2862108$C07C139B-9CD2-49CA-A202-ED577D871D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2862108$2CAA2FE0-3C31-454B-AE7A-3D996A47E349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2862108$642D9B75-963F-45AE-824D-3BAC6518F8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2862108$29432E04-23ED-4976-9F4E-10F57B19DFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2862108$A30B5ED2-64F0-46C9-B362-39257E4C488B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"769ff15f4a28330dfbe7d7d8178c3d5b63f719ef","datavalue":{"value":"6226812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2862108$A2389A11-245F-45C6-BBD1-0F2B52D30D95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d522a9e32d7d8210eb21c1c8cd9e3ed7dcf4ae8c","datavalue":{"value":"proof-theoretic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2862108$E5B7908D-B1F1-49BF-ABBE-26EDAE8D6171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b1e0785476b022cfde5911e02ddf0891daaa888","datavalue":{"value":"polymodal provability logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2862108$7FB47EF1-2035-4A5D-8C8C-26EB9C8E4B7D","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":"Q2862108$AB28BCC7-F004-4B70-B024-C0BCE4A22B72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cca452e8fb0a7c6293b84988f264672479a00531","datavalue":{"value":{"text":"\\(\\Pi_1^0\\)-ordinal analysis beyond first-order arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2862108$550F450E-4150-4504-897B-E05D42C66ACC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2c57e030cc30987cf2615964fa3df33a4c44387d","datavalue":{"value":{"entity-type":"item","numeric-id":6621963,"id":"Q6621963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2862108$5E8A84CE-BB60-4560-B33C-8AF2ECA0F41C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c544b0c304b2d9bd5b1f5a79e57f32fb4aeccddc","datavalue":{"value":"The paper gives an overview of an essential part of a \\(\\Pi_1^0\\) ordinal analysis of \\({\\mathrm{PA}}\\). This analysis is mainly performed within the polymodal provability logic \\({\\mathrm{GLP}}_\\omega\\). The system \\({\\mathrm{GLP}}\\) was used as a basis for a simple proof-theoretic analysis of \\({\\mathrm{PA}}\\) [\\textit{L. D. Beklemishev}, Ann. Pure Appl. Logic 128, No. 1--3, 103--123 (2004; Zbl 1048.03045)]. The author reflects on ways of extending this analysis beyond \\({\\mathrm{PA}}\\). He proves a result that simplifies the reflection principle, and shows that for an ordinal analysis the full reduction property is not needed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2862108$E8BD4F3D-5D39-43CF-9783-372C1257784D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4f8e4d6d96d31b6da2906ce2893c15ec96871a66","datavalue":{"value":{"entity-type":"item","numeric-id":190353,"id":"Q190353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2862108$14DA8B5F-0F57-412D-8B99-C6D08302E0A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2c59bcf35a7fc4f583bf1977f2ec458b9c65102","datavalue":{"value":{"entity-type":"item","numeric-id":5419872,"id":"Q5419872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f36bd3e5816355edadc32a3d05904775fd8546c","datavalue":{"value":{"amount":"+0.8064711093902588","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":"Q2862108$D664030F-71E9-4D0D-A2C9-AC62EF2CCCD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e3ccc43351e4fbf6cf858ccc1688cc08c1b9089","datavalue":{"value":{"entity-type":"item","numeric-id":1877092,"id":"Q1877092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65f70e657b1426da9b6c3f8e4383f8f247732f94","datavalue":{"value":{"amount":"+0.787558913230896","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":"Q2862108$60609E7E-1D11-4DB4-BC7E-752AF34D21A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cfb1500e19d25d1e06c6df0b28ac01d9bbfb102","datavalue":{"value":{"entity-type":"item","numeric-id":5489367,"id":"Q5489367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2efbe76a4a8bbe8f4e5e9c9777c3ec38c21b20ff","datavalue":{"value":{"amount":"+0.7790674567222595","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":"Q2862108$69D22A94-F5D9-4816-93D6-47FA77466F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489b0b918a3c7a7115d7e427c31d888fb3cf8f6c","datavalue":{"value":{"entity-type":"item","numeric-id":281010,"id":"Q281010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40dc04d8eb01dba397caf2ad020e69e05326b53e","datavalue":{"value":{"amount":"+0.7775189280509949","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":"Q2862108$4FC46FDA-5636-44E0-A8B5-2DCB6D1317E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f851965da6a75c58f86d26b9887bdd9b1e0f8feb","datavalue":{"value":{"entity-type":"item","numeric-id":5855753,"id":"Q5855753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"005404b5b1fbeb5fbe3e35e0e3a19014d84e0484","datavalue":{"value":{"amount":"+0.7770916819572449","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":"Q2862108$2B93B53A-67A6-4E8F-AC80-B82EDBDFD4E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(\\Pi 1^0\\)-ordinal analysis beyond first-order arithmetic","badges":[]}}}}}