{"entities":{"Q2271986":{"pageid":2282729,"ns":120,"title":"Item:Q2271986","lastrevid":71733309,"modified":"2026-04-14T00:11:36Z","type":"item","id":"Q2271986","labels":{"en":{"language":"en","value":"The predicative Frege hierarchy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5590406"}},"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":"Q2271986$2EAD9403-94B5-4084-B3DE-F40F2286BA12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccb435cfe7e5abbd126de28ee4d78a249d864639","datavalue":{"value":{"text":"The predicative Frege hierarchy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2271986$B19792F2-700A-44A2-8EFA-7856615035EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"224414bb59afa0bdd62fa0b8d535114c3212cec5","datavalue":{"value":"1172.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271986$368CEEE5-A261-4C99-BB54-311A1E014C6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74e30887b1661f9905213e819a799c929192d3a6","datavalue":{"value":{"entity-type":"item","numeric-id":190340,"id":"Q190340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271986$05504345-5876-4917-B637-F40E0048B949","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271986$D674C69D-E3B0-4B6F-B6BB-3AF97878776F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"507e0f1f3ab1ca3e30afb8f6daf952ae27932c5c","datavalue":{"value":{"time":"+2009-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2271986$B719F6B9-3FC4-43FC-8F20-F583122C4A77","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f264a4ad79f30eae522e3daf03b4052e9171676","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/26748","type":"string"},"datatype":"url"},"type":"statement","id":"Q2271986$C54F5279-8C2E-4534-97D7-730A78D50426","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"28ddb0eaedebf50ce5a82d0c5405541ad949e6b3","datavalue":{"value":"The paper is devoted to the characterization of the strength of the predicative Frege hierarchy P\\(^{n+1}\\)V, introduced by \\textit{J. P. Burgess} in [Fixing Frege. Princeton, NJ: Princeton University Press (2005; Zbl 1089.03001)]. It is shown that P\\(^{n+1}\\)V and \\(\\text{Q} + \\text{con}^{n}\\)(Q) are mutually interpretable. This gives also an alternative proof of \\textit{M. Ganea}'s result in [J. Symb. Log. 72, No.~2, 619--624 (2007; Zbl 1118.03050)] that PV (= P\\(^{1}\\)V) is mutually interpretable with Q. The main result implies also that the whole hierarchy taken together, P\\(^{\\omega}\\)V, is not finitely axiomatizable; even more: no theory that is mutually locally interpretable with P\\(^{\\omega}\\)V is finitely axiomatizable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271986$D6A7DCB5-240F-45A4-A143-AA1FA0C28214","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271986$CC280DF8-2C07-4E61-824A-42B31BBFAA0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271986$74F05592-8AA7-4583-A6CF-8219FC1D0167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271986$CAF84C03-6B92-4F90-8487-146520EBDF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271986$EFD52CB2-FAE2-44BA-B428-7549D62A5EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271986$EF7DA3C4-FA74-479C-86CC-080A38A45C09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36a9f9484e1068073fa5f215d1648cbfaa1af070","datavalue":{"value":"5590406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271986$8E661B94-7AE9-48BA-AA5B-B5FF15C6248F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d031453310028e6c15a823977ffdb528d1d7f89","datavalue":{"value":"predicative comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271986$22AF15C8-977A-4F0D-8756-DCF83A401910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09764f38a677cc419c41406e4cd115ba9eb2d6b6","datavalue":{"value":"Frege","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271986$C6F8AAC6-4F8B-4B4E-992E-9688721D9785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5f9848057f674cfae183e8de4c147b96f2b27f","datavalue":{"value":"interpretability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271986$A9DBE219-0CBE-40F0-9903-85D2764E639C","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":"Q2271986$0F0114C0-D26C-47F7-9ECC-9042DC933A57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8bf2f1db9aaf33adcbd944ed748c08ab1bb35c47","datavalue":{"value":"W2076712807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271986$7369E8FC-BFF2-424D-89B8-50914B364752","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c2140d076703a39dcbcb7779c23b262d94fdad","datavalue":{"value":{"entity-type":"item","numeric-id":1407608,"id":"Q1407608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271986$5B84F560-0002-4FD7-AA08-617905049815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a61b802852b61c203b11655d2d85eae682096f8a","datavalue":{"value":{"entity-type":"item","numeric-id":5694788,"id":"Q5694788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271986$D97142EC-2A5D-4FA5-8BD9-6768780D2EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8dce39795ac5e7541f9f0c75252fa320b06867","datavalue":{"value":{"entity-type":"item","numeric-id":2536048,"id":"Q2536048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271986$344D4BF4-C86E-42F1-AF0D-FA00AFA8D55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271986$B902A7B1-A5E5-4FA7-A812-AA17A118E386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04948d84fc7c780ac807e86dea7fd0ff7b5237ca","datavalue":{"value":{"entity-type":"item","numeric-id":5294028,"id":"Q5294028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271986$05B5DA42-9B67-4BA9-B356-2F19801C64F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271986$C072F214-ED18-4E6B-A696-264D5E5701A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88bc947fff925fd2c71ba0a79c9fdaca5cdec7c","datavalue":{"value":{"entity-type":"item","numeric-id":1841005,"id":"Q1841005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271986$8741646C-8840-4DE3-9B0B-A5CC5F52B28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271986$C70B1E3F-0E75-45D1-822E-AD6621F2DD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72d36daee9a5a312295cfa69b5e17bd46fc7367a","datavalue":{"value":{"entity-type":"item","numeric-id":1344436,"id":"Q1344436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271986$082CA38F-FB7E-40BF-B249-EBAEC6F14DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbf574be6e3a953c93c33b2e0394e18b9840580e","datavalue":{"value":{"entity-type":"item","numeric-id":3472098,"id":"Q3472098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271986$F1BDF6B4-A6C4-43DD-8D3A-570DE21FCC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3330fa5c6279898dcc093948722963f954b2b34f","datavalue":{"value":{"entity-type":"item","numeric-id":4726219,"id":"Q4726219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271986$00481BDB-3471-45BF-B413-7296A9334B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44aee1480eaeaf320249e8820f548f5b25dd3cfe","datavalue":{"value":{"entity-type":"item","numeric-id":3686709,"id":"Q3686709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271986$BF7FD590-C5DC-4A9B-A1FA-B00EED7120CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c74f3143ec42dbc01efa55df145132481cb2709d","datavalue":{"value":{"entity-type":"item","numeric-id":4694229,"id":"Q4694229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271986$C54B7F94-8188-408B-BB58-4EE6BABCFC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95deacdc83850e4eea62168b54695c9a653ceea4","datavalue":{"value":{"entity-type":"item","numeric-id":1176098,"id":"Q1176098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271986$509209B2-031C-4DA2-820D-CCD79922BDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dadf6c0afbcdaac692df9a4b7b618f0a3ecdff7","datavalue":{"value":{"entity-type":"item","numeric-id":4008752,"id":"Q4008752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271986$70EEA455-DCAE-431A-B3B7-4F3683C11AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1ad494f6753f30f6a6b9b8e016dbaa7e73069ac","datavalue":{"value":{"entity-type":"item","numeric-id":5393646,"id":"Q5393646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271986$6E79DC6D-DBE8-456F-8362-5E225DFA39A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32a88ab50f8aab6dd1fe13b82a1a8db273f1607","datavalue":{"value":{"entity-type":"item","numeric-id":5810546,"id":"Q5810546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271986$A4AC20C6-046F-45B2-8C5E-41763583E67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d93c0216bb7a2404c766e146541a6f49efebe1b2","datavalue":{"value":{"entity-type":"item","numeric-id":1104318,"id":"Q1104318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271986$CC216002-5368-46B4-990C-1A286F3C15A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dac3d95de00f68f90b99d1a600f8873791f4cf39","datavalue":{"value":"10.1016/J.APAL.2009.02.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271986$FE268CCF-FDF4-4CC2-A71F-031D1CBF5511","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0199470e91207639651cb851d2ad736ce647434","datavalue":{"value":{"entity-type":"item","numeric-id":2345392,"id":"Q2345392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c9e09b2b91766e57040ee9d63f3fb337383646c","datavalue":{"value":{"amount":"+0.7799633145332336","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":"Q2271986$3D0D400B-789F-45E3-8264-C5359FB215B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bf8589b0de53ef93a9e29031c81f06029483c5f","datavalue":{"value":{"entity-type":"item","numeric-id":4344728,"id":"Q4344728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a1047a2d0492a627b4c2d5fdbda4945f7bfaa84","datavalue":{"value":{"amount":"+0.7479247450828552","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":"Q2271986$563D500F-8904-40D4-89CB-CBDCA906868B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d4a9c1884bc13e7d668847c901668321a457e59","datavalue":{"value":{"entity-type":"item","numeric-id":910401,"id":"Q910401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a1047a2d0492a627b4c2d5fdbda4945f7bfaa84","datavalue":{"value":{"amount":"+0.7479247450828552","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":"Q2271986$574CDA11-B689-476A-B013-ED5B16A4EDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e8f0a753f64bede0b2565b38e40dd8a82d5c700","datavalue":{"value":{"entity-type":"item","numeric-id":5245989,"id":"Q5245989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eba69c2682386bc5858f4997493a2278441f3cd","datavalue":{"value":{"amount":"+0.7408942580223083","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":"Q2271986$8BBDD8A2-1AE6-45FD-9F01-23D51A7B3F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"259f44d90a5e77f1d1343bd569c66f18ab196365","datavalue":{"value":{"entity-type":"item","numeric-id":5294028,"id":"Q5294028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"929ac3a629479885c0a4c90abf2eb153ed776720","datavalue":{"value":{"amount":"+0.7404078841209412","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":"Q2271986$9E82AED1-4F2D-416E-BB82-34021BFBF1E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The predicative Frege hierarchy","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_predicative_Frege_hierarchy"}}}}}