{"entities":{"Q1868167":{"pageid":1878909,"ns":120,"title":"Item:Q1868167","lastrevid":48085795,"modified":"2026-01-03T14:25:42Z","type":"item","id":"Q1868167","labels":{"en":{"language":"en","value":"Mathematical proof theory in the light of ordinal analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1901269"}},"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":"Q1868167$A119E5F8-3196-4C40-86FF-9EABF97FB27B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e6bfbc6cff5e100964f79abc3e800f4a55d745d","datavalue":{"value":{"text":"Mathematical proof theory in the light of ordinal analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1868167$A2A32EF1-2D25-4DFC-AF22-2574A6930BAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d41f1c9d9b2663543af8522a4d52fd1f1f7c6e0d","datavalue":{"value":"1041.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868167$1A20D5D1-0866-4294-92EA-8EDA9FA1F11F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7747193d3942607b5adc4b509f661ad31a2834c0","datavalue":{"value":"10.1023/A:1020892011851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868167$C2721763-D636-4096-B3C5-149A2D69CD88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d52212f331fdc13a9cc11beb0d62d5cf4d5a0cac","datavalue":{"value":{"entity-type":"item","numeric-id":194998,"id":"Q194998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868167$20F39C35-4B18-40B2-8C90-0FE4E0F1E0A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868167$AD92C2A5-B9DF-4954-AA27-973ADDDFA969","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae7235402c0b574ed2e2213feb9e21452b645cac","datavalue":{"value":{"time":"+2003-04-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":"Q1868167$A9B2D748-B32D-45A5-9C8A-F203ADC3969C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"752028db2038d39e0c7278073e792ee5ad90b5f2","datavalue":{"value":"The author presents a non-technical, introductory account of the present state of proof theory, centered about ordinal analysis. It gives a very good view of the ``landscape'', to beginners and outsiders, with an extensive bilbiography and guide to it. \\textit{W. Pohler}'s article in Handbook of proof theory [Amsterdam: Elsevier. Stud. Logic. Found. Math. 137, 209--335 (1998; Zbl 0940.03066)] treats about the same area with much more advanced technology and details. And so, these two articles complement each other. The author talks about subsystems of analysis, admissible set theory, explicit mathematics, theories of inductive definitions, constructive set theory, and Martin-L\u00f6f's type theory. He provides ``A snapshot of the landscape'': a table of these theories and their proof-theoretic ordinals.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868167$AAAC3C7C-32D5-47F1-AB6D-BC6787645092","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868167$CE2354A0-00E6-4D12-8960-F3B3D9DCA38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868167$B4AC687A-B105-40BE-AB77-D7134BC71055","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38c4eda33ffbfa03907c3775c042819c50925405","datavalue":{"value":"1901269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868167$5F5B33B5-54CE-43E3-B7BE-C83EA7FE4045","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c217a1a00d62effaec670f5656be452525922","datavalue":{"value":"ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868167$3273C56C-839F-45B6-BD20-731C884D64BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868167$4333F04E-F3A1-4DCA-82FD-46DC49B43505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868167$D963E746-8C54-4015-B777-340EDAFAF1C7","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":"Q1868167$41077AB1-55F5-437C-B56D-3CE16DE4EEF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32909197e5643340ac95367787c9df38b87a2bb7","datavalue":{"value":"https://doi.org/10.1023/a:1020892011851","type":"string"},"datatype":"url"},"type":"statement","id":"Q1868167$46988D6C-EA15-41E3-B007-E56EF5E34C66","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2dbe9e3e9d74a392aaffff84b32170cb423b14ff","datavalue":{"value":"W2047781465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868167$5C119BB7-9E6C-479B-BF98-A39B8AAFA3B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40b1c917e05468129eb6bdafc323c26e423c6e76","datavalue":{"value":{"entity-type":"item","numeric-id":1801306,"id":"Q1801306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c437f2644d46aa70a81cfbce69e5b32e9603037a","datavalue":{"value":{"amount":"+0.839430034160614","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":"Q1868167$4F0F2723-7B7F-472B-AB98-FE68E3FB6DB5","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":"1a70a9cd88218be0ea8026c58c6cef28c92ab0b8","datavalue":{"value":{"amount":"+0.8321386575698853","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":"Q1868167$C23A9529-960B-4612-A5DC-8153AF84C019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"723f97d340b587bd749c4a8869d8fb96b0a68ba6","datavalue":{"value":{"entity-type":"item","numeric-id":2500821,"id":"Q2500821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5f95e1f9def75aaf2ebd0cf0d00644bf8fc6c30","datavalue":{"value":{"amount":"+0.8285924792289734","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":"Q1868167$F4070568-8BC9-45D3-A402-DE30D35580CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9eec386bd8861de82173f433acbe111d11a1060","datavalue":{"value":{"entity-type":"item","numeric-id":4873894,"id":"Q4873894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6d5245c18a1631ad9aa73cf30becb7c44bb4d0d","datavalue":{"value":{"amount":"+0.8276146054267883","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":"Q1868167$3B558987-598A-4C92-8BAC-F5A95A74B333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed96ea9ca2d0e684435b511a04d1ce0ca272408d","datavalue":{"value":{"entity-type":"item","numeric-id":3138827,"id":"Q3138827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d93c77c5e8cece6d21765c3b308fbf738f1cc13a","datavalue":{"value":{"amount":"+0.8138725757598877","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":"Q1868167$C86B2E17-FD89-4121-9F2A-37AC63F36AA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1868167","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1868167"}}}}}