{"entities":{"Q5228857":{"pageid":7258425,"ns":120,"title":"Item:Q5228857","lastrevid":91647050,"modified":"2026-06-04T23:42:29Z","type":"item","id":"Q5228857","labels":{"en":{"language":"en","value":"Incompleteness for higher-order arithmetic. An example based on Harrington's principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7093515"}},"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":"Q5228857$229C74C5-4B22-46C1-B08F-918841D13A6C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66b3dbb610bae14b44550932eccf5aa184c168a8","datavalue":{"value":{"text":"Incompleteness for Higher-Order Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5228857$807DA401-CF51-4D80-8235-FF4025CB623C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d944fc65bf158731d21795bc021607008808f1a","datavalue":{"value":"1457.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5228857$E97708B2-F2FB-4F09-A030-15E8FF222212","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b89a46b004ee1622974e3498df1cdcc6ed2721d1","datavalue":{"value":"10.1007/978-981-13-9949-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5228857$063D1E07-7921-4983-972F-B5F722185C51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c46476981de950d8ffba063519c56c4d2d3eb9ad","datavalue":{"value":{"entity-type":"item","numeric-id":471214,"id":"Q471214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5228857$3508E4D5-B59A-482A-BAAF-DAA5F79132DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"191a1b30051cbd7a900941730e0daac55e0b659d","datavalue":{"value":{"entity-type":"item","numeric-id":2798417,"id":"Q2798417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5228857$0E7C091C-C754-425B-A83C-1BFDE200E1EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30176b6b09f172a9f50ba8c678f0b9b419b2c80c","datavalue":{"value":{"time":"+2019-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5228857$852958A3-40AF-4E05-BC0D-2557A5A23384","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5228857$2F323711-198D-4F3B-B05F-FDC44D4B123A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5228857$AF03C43A-FD18-44E7-A0A6-E471E90071F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5228857$AFAF7B92-6C9E-4DE9-813D-CE124C3ECA60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b577169e0c26a88b7706770df29d00c3037207c","datavalue":{"value":"7093515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5228857$0506F912-E324-49DD-9AA4-F7412C38D3DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5228857$603292F3-9D67-4EFE-9FA6-B1C67EEB1934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd99f5fc03f7d7d7a00f03ab0261cce71d666b2d","datavalue":{"value":"higher-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5228857$A754C4F5-0D6A-4935-88F0-0363A9DFF047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc9bdcd29706f5ce993725b0f0f23a303eb66779","datavalue":{"value":"Harrington's principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5228857$D1BC6550-E911-4972-A652-6A9C768CACD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b1f08bd5b34a687ff640c3881385fddf8e474bf","datavalue":{"value":"Martin-Harrington theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5228857$229E48F7-8030-44D8-80A6-5851A8AD898C","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":"Q5228857$5C5B51DC-D82E-464A-98DB-32220EC03A50","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"957dce534c4a204e19eee6e11339976a27379612","datavalue":{"value":"https://doi.org/10.1007/978-981-13-9949-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5228857$5749B10F-497F-4CE9-BD27-C2B59D216E77","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a6492ff7b297fe0abb87871320b0f0d9b4cc10f","datavalue":{"value":"W4232023937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5228857$159A7729-69EC-44BF-88FA-64DF4AA6782C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62945d13252f73cb726d50eab06050f14723790","datavalue":{"value":{"entity-type":"item","numeric-id":5501766,"id":"Q5501766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac537fe767fc72ef441d0eb2c115b00b42c1911a","datavalue":{"value":{"amount":"+0.8095946907997131","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":"Q5228857$15BB7D28-FAAC-47F6-98F1-5B7E3A7388AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97ad72412d5e80f7e8fe630e4e771b1856280d93","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df95422065945e0bd714dab8e38a9680326890ca","datavalue":{"value":{"amount":"+0.7234002351760864","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":"Q5228857$BFDF5810-71E5-4C8F-80AC-0ADBE95A6289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5ad6318561a6622f5c426ff760826edc269f8fb","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df95422065945e0bd714dab8e38a9680326890ca","datavalue":{"value":{"amount":"+0.7234002351760864","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":"Q5228857$46639415-E4D3-4D48-8DEE-C58030AF3714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"323274bc64cd3cc6334cf97335dfbfe78bf36656","datavalue":{"value":{"entity-type":"item","numeric-id":2947234,"id":"Q2947234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9db193d09ae27f9a4a06b8894126d6992fc1955f","datavalue":{"value":{"amount":"+0.7225598692893982","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":"Q5228857$9617A153-6956-4AD4-B884-AA9AE08DD890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d51e70a1530049bfff9bf0a72445035cb456164e","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9d1bdf34ab96e24c9c246f7453df5fa97aeb910","datavalue":{"value":{"amount":"+0.7115544676780701","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":"Q5228857$2D0D675E-D595-44FF-BFD1-310B9F29B2BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Incompleteness for higher-order arithmetic. An example based on Harrington's principle","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Incompleteness_for_higher-order_arithmetic._An_example_based_on_Harrington%27s_principle"}}}}}