{"entities":{"Q1344849":{"pageid":1355588,"ns":120,"title":"Item:Q1344849","lastrevid":68515476,"modified":"2026-04-13T00:13:52Z","type":"item","id":"Q1344849","labels":{"en":{"language":"en","value":"Predicative foundations of arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 724110"}},"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":"Q1344849$36209A6D-37FF-4902-A83E-C65D50E0B3C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58ee84d8144d07ba1e8c2f7f419209b29db51e2e","datavalue":{"value":{"text":"Predicative foundations of arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1344849$0C4FD1CD-9955-42BD-A3BB-7593D10BAEBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88cce14f3db94572ed8a19446c98ed343efd5cf4","datavalue":{"value":"0816.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344849$50C86B0A-C40B-466A-A447-D4AE5407FCE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e187b37766a41949f35ca6a8e97562164030bdb9","datavalue":{"value":"10.1007/BF01052728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344849$853D1DF0-1D1F-40C4-8B3C-5A0B6F17C699","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82475c6f9e360d44c01301733e93d758c0e9e4ed","datavalue":{"value":{"entity-type":"item","numeric-id":190333,"id":"Q190333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344849$9A0B7664-E9F4-4106-A901-04B194B572A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11ccbe912ffb975ca7bc39c70be5fdf808a7c2cc","datavalue":{"value":{"entity-type":"item","numeric-id":853815,"id":"Q853815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344849$BB3620D3-2871-4402-B971-8D9806C30953","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":"Q1344849$A2703A47-BD5B-4F32-9CE9-78E691FF5F3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8682f10035297e22489d3e495aa858e74b275e9","datavalue":{"value":{"time":"+1995-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1344849$95F9661C-36B4-4861-9750-1D2684539058","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c75a7ac8bb8de245f1a7cdaf811b2aeccf59c6df","datavalue":{"value":"The aim of the paper is to show that a predicatively acceptable axiomatization of the natural number system can be formulated and that the existence of the appropriate structures as well as the categoricity of the axioms can be proved in a predicatively acceptable way. A three- sorted system EFSC (elementary theory of finite sets and classes) and an extension of EFSC are constructed and studied. It is shown that EFSC contains Peano arithmetic PA and is a conservative extension of PA.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344849$C2C805BD-5F1E-44CC-BADE-0689633119A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344849$4D309B0B-5C7B-4BEF-BACD-480F7C7292C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cba706df5268e618b3f1a94a57f00d0ebac2e292","datavalue":{"value":"724110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344849$007FC880-8B99-476C-BDCE-1F1C8318DE75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca6699d2709dd3c6c88ee221eda7727944871fd9","datavalue":{"value":"elementary theory of finite sets and classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344849$73A59349-9F5E-4576-B90C-82BAE7FFC005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda8898a46ae23ba4371956e551b930c3d089704","datavalue":{"value":"predicatively acceptable axiomatization of the natural number system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344849$2F745872-3AA9-485D-8432-B127AB532A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344849$A6AD8F90-BEB1-486E-A440-690BDE25E132","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":"Q1344849$3DAE837B-8FF2-4D5A-8A70-6C8F67598D1B","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":"Q1344849$FDDD49BA-95C6-4C99-B799-61A868E86E3F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af6d79cb7627680af279f9390de4528d7005030","datavalue":{"value":{"entity-type":"item","numeric-id":5344166,"id":"Q5344166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344849$391EE94E-A466-4592-9BB8-146F9D5D2C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e4d4fc8f3a9eaeb100853b2c4bc95517741895a","datavalue":{"value":{"entity-type":"item","numeric-id":5595153,"id":"Q5595153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344849$1721768D-CB93-4464-9462-FECF426B5CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8a0d80bebedc22fb6ab8e56eb67d0aea8194966","datavalue":{"value":{"entity-type":"item","numeric-id":4692959,"id":"Q4692959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344849$8E6B7E88-6B44-4143-8674-61ED67BB5FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a84180de62ceafef40ec406e2cc9991b75a098b","datavalue":{"value":{"entity-type":"item","numeric-id":4001345,"id":"Q4001345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344849$4F3EFF0C-724A-4DD7-9A21-8A618DB7E5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc7afc2322ff86f0e37d02850a7c7eb8b89014f","datavalue":{"value":{"entity-type":"item","numeric-id":5825661,"id":"Q5825661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344849$D4DA4CC6-E7D4-4321-9C57-2D21A9D383A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82318748b8514096d13bc80763ff6e3cbefb3d9","datavalue":{"value":{"entity-type":"item","numeric-id":762484,"id":"Q762484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344849$2CC4CC07-92E9-41F2-B364-AD5BAFA32E2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a03ceb383087bce881e48546c53cc0aac5a1d752","datavalue":{"value":{"entity-type":"item","numeric-id":1288136,"id":"Q1288136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24a1812f76a0cbf4890c43b2407fdeb5b7a564e8","datavalue":{"value":{"amount":"+0.8506259918212891","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":"Q1344849$2A15E593-FC09-42F9-AEF6-0297ED53E734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2adbb79bd22b85bbe6adde6a4ebf2b8ec7efa4e","datavalue":{"value":{"entity-type":"item","numeric-id":5937804,"id":"Q5937804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33625f071b301c5ea7e0a55faf285c033b001821","datavalue":{"value":{"amount":"+0.8506259322166443","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":"Q1344849$E4578FF1-99F0-4CC8-845B-5A00EC757F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e2ec128c3e87e0864330d49cdd4a8cea49c2b31","datavalue":{"value":{"entity-type":"item","numeric-id":4726219,"id":"Q4726219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34cb04c5c1e2f2c8e47b47b72a7752c76b3f8729","datavalue":{"value":{"amount":"+0.8007070422172546","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":"Q1344849$BDE29CC3-983F-483C-AB30-F9957B49A2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3616a815b829f9889df3e63ab8dcaa661234752","datavalue":{"value":{"entity-type":"item","numeric-id":2755496,"id":"Q2755496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72b3cf5e12e978d831e9e0abcf793d84de4dd90f","datavalue":{"value":{"amount":"+0.7586037516593933","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":"Q1344849$2BAA3140-0DA1-4F86-85D0-F8372792A2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30e63306fd4949bbc888f294a90beb54817df81e","datavalue":{"value":{"entity-type":"item","numeric-id":1181380,"id":"Q1181380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72b3cf5e12e978d831e9e0abcf793d84de4dd90f","datavalue":{"value":{"amount":"+0.7586037516593933","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":"Q1344849$14619023-5304-46C0-99BA-5A888055A760","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Predicative foundations of arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Predicative_foundations_of_arithmetic"}}}}}