{"entities":{"Q2500821":{"pageid":2511564,"ns":120,"title":"Item:Q2500821","lastrevid":49898437,"modified":"2026-01-11T20:06:12Z","type":"item","id":"Q2500821","labels":{"en":{"language":"en","value":"Theories and ordinals in proof theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047771"}},"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":"Q2500821$DAFD0ECA-EB70-44D8-AA8B-01FD5A6895CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77155f0f988dbeb0026c4d5a4d882b43f8875c95","datavalue":{"value":{"text":"Theories and ordinals in proof theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2500821$C8C0BB3C-9274-42E8-B874-DE51C3E0553E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7458319e15a36616ed3e4a689a8f059ae2ee822","datavalue":{"value":"1101.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500821$8F13AFF9-277C-4884-BC5F-6A3942CC08ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e64bf31f7adc7949599b7092674140bc267c6785","datavalue":{"value":{"entity-type":"item","numeric-id":206562,"id":"Q206562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500821$AF9E2D57-76AD-4AB6-861E-AC647F821EB5","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":"Q2500821$8E7F71BC-6D22-4E2B-8B63-28616BFCD334","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dbf0d064b7b30d698c2952a304e12fd601ac87c","datavalue":{"value":{"time":"+2006-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2500821$0EA3DDC9-D112-4719-8003-773AEF0D5BB8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"71772ff5aec513380f7eb5690390df82634acd35","datavalue":{"value":"The author gives a very good survey on the aims and techniques of ordinal analysis. It includes not only the classical topics of subsystems of second-order arithmetic and of set theory, but also newer developments in relation to model-theoretic characterizations (partial models and patterns of resemblance; Sec.~4), characterizations via \\(E\\)-recursion (Sec.~5), and the \\(\\Sigma_1\\) spectrum of a theory (Sec.~6). The last chapter addresses the relation of recursively large ordinals and ordinal representation systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500821$5B71EF8F-DE73-4845-B126-48F79BC25A0C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"698ef69cf2501558685cb66472f90d21aa909f07","datavalue":{"value":{"entity-type":"item","numeric-id":194998,"id":"Q194998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500821$FEEF69E8-9EBD-45A6-B4BA-68ACAC6DEFA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500821$FA3FCB4E-B588-4D6A-932C-ED93FDCC7918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500821$F40491CA-6BFB-4306-A95C-B69DA525651A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500821$998FBDA6-A61C-4FB7-96DC-99BCC26FAECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500821$3B66B86C-2ECE-40A2-9C20-E59562F03B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500821$158AF55A-E12B-4B5A-A1FE-E092DAB0A575","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d646d20a38229264ffffc8723e1a3cc019d9ba49","datavalue":{"value":"5047771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500821$991A76C7-ED73-4866-87FC-14D1463D0546","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500821$D4A787CF-B545-44FB-AC5D-2C0106BA7A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c217a1a00d62effaec670f5656be452525922","datavalue":{"value":"ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500821$41864680-4B9E-4DFA-91E9-17635E556D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500821$B6FEF003-23BB-4E1E-ADB7-DA05ACF24AD3","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":"Q2500821$E6FD48E7-9077-4A79-A155-B7E349D4027A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c49265b87ddad121452009a5a96299dda6a17ce","datavalue":{"value":"https://doi.org/10.1007/s11229-004-6297-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2500821$830351AD-B94A-414D-8DFE-13C0FBB89B33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a56e4cf167ccdaba47711e15f9e00da5b80fdeb","datavalue":{"value":"W2067110264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500821$B4AF5256-A092-49DF-81E0-374486E2F597","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"559d023d291e446bba13d5979c34214548a51934","datavalue":{"value":{"entity-type":"item","numeric-id":1109029,"id":"Q1109029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500821$A8A11AA0-55DB-497E-BDEB-228CB1D77DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72f2fe923d8f62c2dbe1c2e8e4eef8d9473c95ff","datavalue":{"value":{"entity-type":"item","numeric-id":1818592,"id":"Q1818592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500821$CECC9524-FF6A-49DE-9ED8-38F091E098D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc1b999977ab414cc1ba605d1d9b6ffcfed719d","datavalue":{"value":{"entity-type":"item","numeric-id":5935985,"id":"Q5935985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500821$11656D1B-124D-46EA-9ECB-7FB0A1CCF569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13fccbe088f7c3a8c169e6f089f70d6b7da507d4","datavalue":{"value":{"entity-type":"item","numeric-id":3803081,"id":"Q3803081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500821$FFA29481-95BE-482A-9BD1-8105DF9351BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eaa6c3e9bb9d8953ff182f9af4a923fe4aa505","datavalue":{"value":{"entity-type":"item","numeric-id":5925300,"id":"Q5925300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500821$3FD369E0-E79D-4946-A3FB-544EF8CAE0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddcae75623ad27e45f301cf7aa223ba87bd8584","datavalue":{"value":{"entity-type":"item","numeric-id":3968911,"id":"Q3968911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500821$92EBA3E3-ED34-425F-9F97-F277449E3D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"499a95bca207fbf8c7061b1c293c572cca9800de","datavalue":{"value":{"entity-type":"item","numeric-id":3041187,"id":"Q3041187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500821$8BF2C837-809E-44D7-89B2-BF1286B56CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2153a62233e027dc3baaf4753f97aef0d7a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":1407520,"id":"Q1407520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500821$5974E1AC-A407-4560-857F-5CC035B7A75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ec6af83f9a6c90ef054757ef63aea9bbf0884e2","datavalue":{"value":{"entity-type":"item","numeric-id":803124,"id":"Q803124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500821$69C106E5-5567-4D5F-93E8-4155BCA6E708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b8294d8e3a67ff3abbac73ea7f87d2c36776f8","datavalue":{"value":{"entity-type":"item","numeric-id":4032873,"id":"Q4032873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500821$1E24C1D9-E1A1-44A5-BE54-17141810AE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c77c60d68cc52109546a156001550d5e30ecba6","datavalue":{"value":{"entity-type":"item","numeric-id":3138834,"id":"Q3138834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500821$5971B739-7122-4BE6-9689-DC27746E4FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a019f48c952acfae395126bfe7d30ae0e9f39f91","datavalue":{"value":{"entity-type":"item","numeric-id":4304798,"id":"Q4304798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500821$06A2C901-38A8-4E67-83ED-954480065927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eab381919a0f8ddd112866505d097b2c043172f","datavalue":{"value":{"entity-type":"item","numeric-id":1322453,"id":"Q1322453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500821$026B396F-BCCC-4C8C-8678-551D0B907924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442321204f0846e6d42ccce9aff806849d058e00","datavalue":{"value":{"entity-type":"item","numeric-id":1332853,"id":"Q1332853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500821$FD6B3C07-8C57-4189-A058-E0DB404832F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6629326274d1895876e66168171702b70b52bfc8","datavalue":{"value":{"entity-type":"item","numeric-id":4934564,"id":"Q4934564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500821$39D9EF3E-33C8-4425-835B-730751A9C7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2c7bbd8aeb065572be5518f5b89cf1cd49c3a0","datavalue":{"value":{"entity-type":"item","numeric-id":3718711,"id":"Q3718711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500821$6077C146-5F13-48E1-A8EC-FC1224610427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe7096b7a591456e55705e0279e99fa3d162535d","datavalue":{"value":{"entity-type":"item","numeric-id":3964555,"id":"Q3964555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500821$CD95CEB0-5512-42C6-8EA2-540604F08BA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"237b99820829a4ab2e999eefd9dafa5d7549436a","datavalue":{"value":"10.1007/S11229-004-6297-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500821$BF8F16A9-B21D-449A-AD27-B27CA60C978D","rank":"normal"}],"P1643":[{"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":"0e5dc7867569672e6f69e2b1ca29b76e89372683","datavalue":{"value":{"amount":"+0.8379554748535156","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":"Q2500821$21250C38-7213-42D9-8886-FF29300FFE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5959204c7bbba00f9bcef38b1c2ffa198b5f6582","datavalue":{"value":{"entity-type":"item","numeric-id":1868167,"id":"Q1868167"},"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":"Q2500821$C9982A94-E83D-47E1-B59E-446F914BEC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b1dc6e396f4d398e8d9631206e9766f4ebbc85","datavalue":{"value":{"entity-type":"item","numeric-id":2276954,"id":"Q2276954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26e18592a2fe2e30f138f0e0cd317fb04c994d7f","datavalue":{"value":{"amount":"+0.8250144124031067","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":"Q2500821$258C92EC-F49A-4BBE-8515-430D6FDE43A3","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":"beeca61688c642e89f4f13a7c8a7c95db683ccef","datavalue":{"value":{"amount":"+0.8249063491821289","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":"Q2500821$B2E7B825-24D4-4853-93EA-7198DF271422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d34903a87817c2cf7368fb8f9ad046db3c04e9b","datavalue":{"value":{"entity-type":"item","numeric-id":4934564,"id":"Q4934564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d38ee00bb91907d05de15cd07d9c0434a4dd2295","datavalue":{"value":{"amount":"+0.821839451789856","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":"Q2500821$94043E16-AC20-4C47-AC3E-CC8D7B95BEA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2500821","badges":[]}}}}}