{"entities":{"Q5501766":{"pageid":7531326,"ns":120,"title":"Item:Q5501766","lastrevid":58585551,"modified":"2026-04-05T21:17:23Z","type":"item","id":"Q5501766","labels":{"en":{"language":"en","value":"HARRINGTON\u2019S PRINCIPLE IN HIGHER ORDER ARITHMETIC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6472562"}},"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":"Q5501766$97F6CEA2-3F84-473B-8538-C2EA61F80F3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73362d4e3f8fb9354e0fb9d323b2d5b4474cfcb9","datavalue":{"value":{"text":"HARRINGTON\u2019S PRINCIPLE IN HIGHER ORDER ARITHMETIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5501766$7E807652-86A2-4E93-AC4B-8A7508DC083C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"457513c71bb5b85bcd60950a22d34f3a2907af20","datavalue":{"value":"1373.03093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501766$E47CC0AF-0D0E-44EE-B065-57E194FE2B96","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":"Q5501766$BCC5385F-0FF7-46CC-8F3E-5B6791CA5FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3aa8175c1d7434282d2dbafd0143922a2082a35f","datavalue":{"value":{"entity-type":"item","numeric-id":1128185,"id":"Q1128185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501766$13B4AB5E-A857-4853-B527-2BEED05E0938","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e707dd4d7213461cc903b9e4b7897b1f5211ea3","datavalue":{"value":{"time":"+2015-08-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":"Q5501766$634DE265-258B-479E-9141-B75F27F08F41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"920ef07a402f0e5149fd9e69e2a2e0dbccc9763d","datavalue":{"value":"https://arxiv.org/abs/1503.04000","type":"string"},"datatype":"url"},"type":"statement","id":"Q5501766$04192CE3-CCFB-4D6B-B1CC-7DEEF03609DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501766$88145AAD-EFD2-4AE5-ABB3-CCAD969B070F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501766$D3D9F442-E78B-4D68-8545-32396D644E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501766$C0B01B12-9046-4878-BEF4-B8F860B596F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ade5de9b5f8ac4fa93618c0e9b5cef64dcc691b7","datavalue":{"value":"03E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501766$15B6E822-0CE6-4EE4-9F27-C9F1769D9656","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0e576b17cb172b0cc15f3229111ae0cc48f3ac0","datavalue":{"value":"6472562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501766$894B5029-55A8-4427-AE43-3F635D1E498D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d23bc7a7116d11aa01206e69fb42fa36a6814375","datavalue":{"value":"Harrington's principle \\(\\mathsf{HP}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501766$2DFA6AF0-7097-4045-BDE2-1DD4082D937B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54e4c8c3d82c2a2194f7a0feec41863870234930","datavalue":{"value":"\\(0^{\\sharp}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501766$E3D8A86A-9242-409C-880A-1CAA0957CD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a6f2ca424d507e56f45d8feca033b8d9d43386","datavalue":{"value":"remarkable cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501766$2A3B22F2-C26F-44EC-BE2E-24134668A7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f502a63beb93926444563ae82df3d54e6036d9b9","datavalue":{"value":"almost disjoint forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501766$966993D3-9A58-46FE-AE9C-3C193E56A505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15a185a60494eaa3da17cb02bef58fe44cad688b","datavalue":{"value":"class forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501766$32D6E479-1154-44E4-9EB4-257CC58C7231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3a129b3f6b001400e9a0877c0dff281beb68d55","datavalue":{"value":"reshaping","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501766$C2E81B61-FF96-47E2-8B56-53F5D79ABA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6620d4cecb1a8839fe906547b34ca8e1d25b2653","datavalue":{"value":"\\(\\mathsf{HP}(\\varphi)\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501766$861D6F03-1187-4522-B946-FB03C90520C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4989ccf766d3a6168d2a0fbd3d2bfa130ee787a1","datavalue":{"value":"subcomplete forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501766$4ADE660D-7B38-4757-81B1-DD4703D913EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49458627ba21f1858956bdee8879ae8716ae7837","datavalue":{"value":"revised countable support (RCS) iterations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501766$4B9C6162-B2CA-4981-83A4-24956EB3B61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7d4499181e41fcccfe836caa33c2aa13b9cb52","datavalue":{"value":"iterated club shooting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501766$A964591C-8245-4D40-BC2D-5C3DA06AA96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b6ce0ca01d50be032f2388688b40703d4af0def","datavalue":{"value":"\\(Z_{2}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501766$6BC6B006-F048-428B-AF28-E807DA052835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3797cd5c2041a55cf276f20c8dd36290e12746cf","datavalue":{"value":"\\(Z_{3}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501766$FE737B9F-708B-401B-8805-78B8C85925DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5469862abb5bf424e419aeb6b9b38253ce51022","datavalue":{"value":"\\(Z_{4}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501766$FED57358-8178-44EF-A358-9E41D029660D","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":"Q5501766$584DCBFB-2A18-4A3E-9456-E457AC98C24B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac5e316dc81d9c9820320bdbbf239f4127f4aa5a","datavalue":{"value":"W3105032509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501766$E8CEEE72-50BA-48DE-966C-BB3CCAC38402","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b115417da4596f984d442e9c11bba2cc074d3bf","datavalue":{"value":{"entity-type":"item","numeric-id":4375363,"id":"Q4375363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501766$6020F50E-BE38-4D49-977A-06073C5EFA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b0eb072ea0d5308b432065c9b8eb95644c2c21","datavalue":{"value":{"entity-type":"item","numeric-id":3329455,"id":"Q3329455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501766$BEE9128B-5B54-4B2B-BD07-B3CA19578B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1a20cdcb1012f84268ccf9333feac03fa3451d","datavalue":{"value":{"entity-type":"item","numeric-id":4950472,"id":"Q4950472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501766$AF5EC1B0-9E00-4943-8E12-B76AF469E530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501766$E72C56B1-D61A-459B-8000-F84C1806A641","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c63bcc81b38337a72b14e691f7e36269fc648d56","datavalue":{"value":"10.1017/JSL.2014.31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501766$86CDCB29-9D82-4D83-BDC9-37E086AE187E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501766$2F93AEF1-B247-4D8D-885E-8173BA9270E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef36921d83205da95834d2c3f5e7c3fe26b3be11","datavalue":{"value":{"entity-type":"item","numeric-id":5228857,"id":"Q5228857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2e9caa77f762252ca9116f1abc1166d0869aa58","datavalue":{"value":{"amount":"+0.8856003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5501766$EF89BC51-BC00-434B-87B8-921149C482A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b68f9ccbc02f25e825828a966efa103e9dd3db7","datavalue":{"value":{"entity-type":"item","numeric-id":1313594,"id":"Q1313594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65d0d78bdf3d6a655fda846891c57d8e9fc03d43","datavalue":{"value":{"amount":"+0.8606138","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5501766$5E76AA80-B01B-474A-BB68-756D2E8D93F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe4610a88c570fdaa1c16ab8ae42c1335941a0b6","datavalue":{"value":{"entity-type":"item","numeric-id":4664249,"id":"Q4664249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c470835ce639fb18444a2cd570590893dcad4eb","datavalue":{"value":{"amount":"+0.8522398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5501766$6D67DDC6-B872-441B-83D9-F6CEB889369B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9ce39678e56391f03664eabf2b9fc8a8c004f8","datavalue":{"value":{"entity-type":"item","numeric-id":1315831,"id":"Q1315831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce48675da182af34b796ac1c6b8d4f733b99a626","datavalue":{"value":{"amount":"+0.84737664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5501766$2F63DFAB-7334-4C62-B235-401F35E991D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87d04339e20ea1ff33b5a34a2e206fab97daed8b","datavalue":{"value":{"entity-type":"item","numeric-id":3764122,"id":"Q3764122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2c67d5b55843fe9cf29dbd62c3188f356acb1a7","datavalue":{"value":{"amount":"+0.84689283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5501766$C2AA769A-B05A-4FDB-BC0C-4D3D6630E454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352600539fa48f818d1666a35b4ccf58613ec0b0","datavalue":{"value":{"entity-type":"item","numeric-id":5234256,"id":"Q5234256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c54a2a8e5c98fa0193c07d7eacff2f066df9db5","datavalue":{"value":{"amount":"+0.84340155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5501766$E71BF018-9584-48F3-9436-975DDCAE1B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96ee7e8e0563383b92011e3cf38ea249741e3a11","datavalue":{"value":{"entity-type":"item","numeric-id":5348885,"id":"Q5348885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d62fb27f800a62e2ee8c60068cb98adc778e266","datavalue":{"value":{"amount":"+0.8434014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5501766$93389D81-0990-4448-8446-03139648ED68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c3a28ecd953cd559af193624cc38c7a08e6ae6","datavalue":{"value":{"entity-type":"item","numeric-id":4394887,"id":"Q4394887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"747302e09a4560c0c5735c10da1d626388aca6ff","datavalue":{"value":{"amount":"+0.8429289","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5501766$1BE52F49-6E16-4647-B658-DE4497CD84BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9808f55e80329daa1e873ea690b636a8636133c9","datavalue":{"value":{"entity-type":"item","numeric-id":3083144,"id":"Q3083144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ed3c550dd52648f73f8b1d6ccf7242729c4722a","datavalue":{"value":{"amount":"+0.84267783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5501766$D943CE31-04FD-48D1-A483-968724A2472D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a7305250b75dda16e3520e4d711613c080a589d","datavalue":{"value":{"entity-type":"item","numeric-id":6094157,"id":"Q6094157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c624ab5a6b6fdbfacb8e1f881b2b60d7686878e","datavalue":{"value":{"amount":"+0.8423462","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5501766$4CC7D387-08C8-494C-883E-BD120CE08BB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5501766","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5501766"}}}}}