{"entities":{"Q1857358":{"pageid":1868100,"ns":120,"title":"Item:Q1857358","lastrevid":69364911,"modified":"2026-04-13T06:30:34Z","type":"item","id":"Q1857358","labels":{"en":{"language":"en","value":"On the consistency of the \\(\\Delta_1^1\\)-CA fragment of Frege's Grundgesetze"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1870147"}},"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":"Q1857358$14559F96-0251-46ED-99B1-FEEBA277CDBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a3047914ebed10149d7a082cbd7bc89499f26c1","datavalue":{"value":{"text":"On the consistency of the \\(\\Delta_1^1\\)-CA fragment of Frege's Grundgesetze","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1857358$8F14562A-FA75-47FD-93E6-035484E6BA53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfbb890bef0f2e99ae623f7040f5156eadd9307f","datavalue":{"value":"1012.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857358$B882F729-5640-4314-8431-B839990E2C49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"815d68f6c823c559b884b2e7576004182c461079","datavalue":{"value":"10.1023/A:1019919403797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857358$8AE6D0F5-EC2D-4D33-ACD1-734869E6A450","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"241055fcac63c6f72df96341f7230b9bedb68e6a","datavalue":{"value":{"entity-type":"item","numeric-id":558442,"id":"Q558442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857358$A16E2053-C0EB-435C-84B9-1B454BFACC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6874d9554109ddfa631a3bcceed3f011aa3addc3","datavalue":{"value":{"entity-type":"item","numeric-id":704040,"id":"Q704040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857358$1773FA2E-9DF6-463B-9F74-36AA2A814448","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857358$25423BCD-CE41-4084-8784-5D1496DD95C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4814fda9bd81ccb9905031d30408c948074f71","datavalue":{"value":{"time":"+2003-06-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":"Q1857358$52D0BF81-E409-4128-A144-522C0E62961A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5d21f3f54d81f7b2087f7491c95a0feaa2fa4d06","datavalue":{"value":"It is well known that Frege's system in the ``Grundgesetze der Arithmetik'' is formally inconsistent. Richard Heck proved that the fragment of Frege's system obtained by restricting the comprehension schema to predicative formulae is consistent and conjectured that the more encompassing \\(\\Delta_{1}^{1}\\)-comprehension schema would already be inconsistent . In the paper under review it is shown that this is not the case.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857358$E41CC099-043A-4925-966B-3C5FD879F15F","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":"Q1857358$98341424-45D0-467F-88A6-938D89C96A25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857358$19F8D24C-4372-439B-A4BF-67F05BD2D84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857358$F4C1DF36-0E66-40F5-A49C-1A38132197F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857358$4B1BC81E-A8B8-48D0-B4CE-212DA9ECC6EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"305f1b51b9c0af0ed4d53d3b0853613a0e60ee44","datavalue":{"value":"1870147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857358$C20830A8-FC52-4EFB-AD90-E64055EF1653","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857358$D31FC9DA-3EC8-4130-961C-D948A75ED942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aac9e7237afeb04216fb3ddcb45e08d6822ae6ba","datavalue":{"value":"fragment of Frege's Grundgesetze","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857358$87816388-1866-4A24-B879-1D9E7F4A6C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5bd00973a2075dbd931b88589a11f98dc068851","datavalue":{"value":"\\(\\Delta_{1}^{1}\\)-comprehension schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857358$998E3D8C-BB56-4237-9092-F2CFCA347735","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":"Q1857358$0043F003-8993-4B9B-A82A-7DA2235B412E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec381d7fbc674530adbba7e61cd69cd3fa58306a","datavalue":{"value":{"entity-type":"item","numeric-id":4110995,"id":"Q4110995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857358$D7B693D6-980E-47D9-A38A-58AE4B44995B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45015aab0da021e26da7330796315d4a23fd6c33","datavalue":{"value":{"entity-type":"item","numeric-id":5937820,"id":"Q5937820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857358$739B47FE-EDF8-44E9-9C9C-3D48BF25A63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065255cf95087251b55b02fc31a0708b9c3349c4","datavalue":{"value":{"entity-type":"item","numeric-id":5960015,"id":"Q5960015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857358$5A2F2CDA-2330-4CC3-8C1D-8708B343C9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a098b5df3d25fa1dd4d8386c33ba1571601a0a51","datavalue":{"value":{"entity-type":"item","numeric-id":4344728,"id":"Q4344728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857358$8B92E192-E178-45C2-A0AA-D6EB8E233618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857358$BBFC6B75-64CB-41CE-9F95-F8FB08DA8FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45c2f90bc54fa6c834e607c27a16028ac48185b9","datavalue":{"value":{"entity-type":"item","numeric-id":1098830,"id":"Q1098830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857358$E2D22B1E-B0AD-4B10-BD53-C0338530D5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5c445d5d8322dfc1b6f85988faac4194fa48e4c","datavalue":{"value":{"entity-type":"item","numeric-id":1568382,"id":"Q1568382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857358$D792C764-BDD4-483D-BA3B-9C6016BBF135","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96ccfe8af777ee607bef1bd30deda2eede09ecbc","datavalue":{"value":"https://doi.org/10.1023/a:1019919403797","type":"string"},"datatype":"url"},"type":"statement","id":"Q1857358$B3542117-7ED5-49D9-8780-8DF2A5CC135C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"127758cf85cd2569cca87ab74c601334d248b966","datavalue":{"value":"W1986689580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857358$D424196E-A6E4-4B89-9FD3-D0D732C72D9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cb78a511a312d5166005d28c84591e2165a1528","datavalue":{"value":{"entity-type":"item","numeric-id":5937820,"id":"Q5937820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fe741ab957ff36a546ff3a5c693a1b405c1ff02","datavalue":{"value":{"amount":"+0.8523446917533875","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":"Q1857358$090DE62D-D771-431D-BCF3-F459E54965CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fc1789040c84b54d5fb37bbb4eaa0b62ba7aec6","datavalue":{"value":{"entity-type":"item","numeric-id":1568382,"id":"Q1568382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fe741ab957ff36a546ff3a5c693a1b405c1ff02","datavalue":{"value":{"amount":"+0.8523446917533875","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":"Q1857358$A0A43193-86D0-4C56-AF3E-403FED5E5444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"459d948dd8d1ca47bd2bf06d50d6d4c3cc5c7a3c","datavalue":{"value":{"entity-type":"item","numeric-id":813411,"id":"Q813411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62761690f8dbd582c8490fe2aef183c1fb18de78","datavalue":{"value":{"amount":"+0.8464130759239197","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":"Q1857358$B265293E-9E1C-4A9F-9E54-9E2717A4B16D","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":"8063ed4c0416c36ceaf7009b29607de1c377c93b","datavalue":{"value":{"amount":"+0.8244743347167969","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":"Q1857358$D3D9E6E8-52A0-4296-8C26-6F16F95853A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4da2d4ac6bf5085fb4fd2be3ec1949ed79b16ed","datavalue":{"value":{"entity-type":"item","numeric-id":1098830,"id":"Q1098830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8063ed4c0416c36ceaf7009b29607de1c377c93b","datavalue":{"value":{"amount":"+0.8244743347167969","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":"Q1857358$D1382397-9C08-47A2-9DE4-0EAE5A8B38B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the consistency of the \\(\\Delta 1^1\\)-CA fragment of Frege's Grundgesetze","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_consistency_of_the_%5C(%5CDelta_1%5E1%5C)-CA_fragment_of_Frege%27s_Grundgesetze"}}}}}