{"entities":{"Q910401":{"pageid":912249,"ns":120,"title":"Item:Q910401","lastrevid":65283051,"modified":"2026-04-12T01:31:55Z","type":"item","id":"Q910401","labels":{"en":{"language":"en","value":"A logic of abstraction related to finite constructive number classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4139740"}},"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":"Q910401$3DB33C2A-93F1-4A26-B07B-0BFDB82E82C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1280f0743b38592e43b8ecd609c6eabacb071a7","datavalue":{"value":{"text":"A logic of abstraction related to finite constructive number classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q910401$AA45463E-57A7-4648-8AB0-D4BB27FB65D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b58cde14f9bc84a3c9cd9570f9f443596a2d4892","datavalue":{"value":"0696.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910401$26E45D49-2D30-45DF-9B23-508FEB663FDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1f791b824a6e74dcb06529a6de5660a2a64729d","datavalue":{"value":"10.1007/BF01370695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910401$1879EAE0-94D6-4E57-9A5B-770D3A94407F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56da7d158017ef8b0b4d01b2f110c77e1c03452f","datavalue":{"value":{"entity-type":"item","numeric-id":588330,"id":"Q588330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910401$2B7E5B11-A362-4C4B-B320-227095C7AF6B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910401$A0BAD526-C6AA-47F2-98D8-02E08B591BBD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q910401$B73D2674-E028-4FB5-88EE-2CEC9B52BA0D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"01272c4b8179a8ad5d8f5f12c0bfbe6d9f54d1b4","datavalue":{"value":"We present a sequence \\(\\{V_ n:\\) \\(n\\in \\omega \\}\\) of formal systems, which are based on type free abstraction principles and extensions of standard (classical) logic. The main result is a lower bound on the proof theoretic strength of the \\(V_ n's:\\) \\(V_ 0\\) can interpret Peano Arithmetic and each \\(V_{n+1}\\) contains the theory \\(ID_{n+1}({\\mathcal O})\\) of the first \\(n+1\\) constructive number classes. We produce a model of \\(V_{<\\omega}:=\\cup \\{V_ n:\\) \\(n\\in \\omega \\}\\) and this ensures consistency. \\(V_ 0\\) contains: (i) first order classical logic with equality; (ii) an abstraction operator \\(\\{\\) :\\(\\}\\) and a predication relation \\(\\in\\), which are connected by a suitable abstraction principle; (iii) a specific logic for a new unary sentential operator T. TA should be read as `A is internally true' \\((=\\) valid according to a semantical schema related to supervaluations). In \\(V_ 0\\) predication corresponds to internal truth and we require a weakening of Frege's principle (SAP): T(\\(\\forall u(u\\in \\{x:A)\\leftrightarrow TA(x/u))\\). Nevertheless \\(V_ 0\\) can give an independent logical foundation to elementary reasoning about natural numbers (in contrast to the type free systems of Feferman, Aczel). However, \\({\\mathbb{N}}\\) is not definite, i.e. not \\(V_ 0\\vdash \\neg a\\in {\\mathbb{N}}\\to T\\neg a\\in {\\mathbb{N}}\\). This fact suggests to introduce internal truth and predication of higher level (say of level 1 if T, \\(\\in\\) are assigned conventionally level 0). Concretely, we assume that every statement about level 0, say TA, becomes internally true or internally false at level 1. If we lift to level 1 the principles of the ground level, we are led to a new system \\(V_ 1\\) of type free abstraction, which can define \\({\\mathcal O}_ 1\\), the property of being a constructive ordinal, and prove the transfinite induction schema for \\({\\mathcal O}_ 1\\). Not surprisingly, \\({\\mathcal O}_ 1\\) is not a definite property in \\(V_ 1\\) and this forces the creation of a new abstraction level. The procedure is uniform and it leads to a hierarchy \\(V_ 0,V_ 1,V_ 2,..\\). of theories of type free abstraction which are strictly tied up with iterated generalized induction principles. Indeed we achieve a rather natural type free framework which easily jumps up to \\(\\Pi^ 1_ 1\\)-analysis with the axiom of induction on numbers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q910401$72BF5B5A-2CF4-4778-A750-9C15DADEA921","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5634ed46a52c7680a2cf61c8cfb118a9c5e1d936","datavalue":{"value":{"entity-type":"item","numeric-id":588330,"id":"Q588330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910401$AE4CCE3F-3D0B-46B3-8169-9A448C8FF603","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910401$63048800-B043-47FA-878E-E45CA95945F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"421610f06d91bbe221eb919855550aa91d7906ff","datavalue":{"value":"4139740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910401$2620B8EF-2137-4247-B686-26C316C9BDAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79357909a78baf44e3cff111a72e55c144928c06","datavalue":{"value":"formal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q910401$20149ADC-2F19-467A-A233-DC32C9728B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90487f81d51523dd56dbc27a8b2695955dd0524f","datavalue":{"value":"type free abstraction principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q910401$E1131230-5410-4864-9173-D750898BD161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d4611e317dd53ea4952306b96f4af1d62509466","datavalue":{"value":"proof theoretic strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q910401$8009CCF1-224B-480F-BB24-C64294AEB7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b22e3057d5a1508bb46afb2ab4f755be707b05e","datavalue":{"value":"constructive number classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q910401$A7ED3007-6676-4F51-BCE0-C07491C229C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ef8214aec734499a20d1946c763d719432ec3b1","datavalue":{"value":"internal truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q910401$2AC01AA0-4D96-4F0D-9705-A5F11B267CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fc6748ef5676b0c8b685e8549f7a07a1ab9a02a","datavalue":{"value":"predication of higher level","type":"string"},"datatype":"string"},"type":"statement","id":"Q910401$E3417E56-3821-488D-9577-EC7346BA1DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12365c4c99dba162e96f4794ae2ae2ad7d84d424","datavalue":{"value":"constructive ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q910401$A89FB596-73C4-4A5D-B0DE-F1790FC55552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc87407ab9572d85505f2cace7811c9ecc29db","datavalue":{"value":"transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q910401$1A24EF6D-D54C-4C0D-990F-B786B901BC9D","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":"Q910401$EFF5AF7C-F259-473B-91E5-CF80E216E053","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2913641d9c5dee8401341c953da633b8a057ae","datavalue":{"value":{"entity-type":"item","numeric-id":3912779,"id":"Q3912779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910401$8D7F5263-900E-4F4F-BC2B-8D0848D4152C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910401$CF3E3828-5021-47D0-A3A9-2A80FE8C2C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910401$2FA5A27B-B069-4696-BD37-45C1C6398E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"869ac6d8df6733056730b8ca498f2fa774bb403b","datavalue":{"value":{"entity-type":"item","numeric-id":3197819,"id":"Q3197819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910401$0C436E34-2CBC-4C56-A8C2-0BFCD9F3C91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14cff056842a08e6b157c956ca4ad669bacc9a66","datavalue":{"value":{"entity-type":"item","numeric-id":3691666,"id":"Q3691666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910401$53B541EE-1590-447B-86A7-9E2041D912FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910401$B3104BBE-DF0C-4D27-BE14-60B71F852CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82bb70b3f5a566a642831449cc6cc703083edd17","datavalue":{"value":{"entity-type":"item","numeric-id":1096626,"id":"Q1096626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910401$AF5204F9-6159-4A75-9EFB-323429EE116B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0aa3c16f6b4b3995b6b11a40a74dac5e6666313","datavalue":{"value":{"entity-type":"item","numeric-id":3030824,"id":"Q3030824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910401$456D09FF-2FCB-4568-A4C0-51EA610AC2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910401$DE4A6C65-B1A3-4655-A429-A36529CFCAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26764e82c9ce1a5fcfcc1bf552b3a6da2b17f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3778746,"id":"Q3778746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910401$5D67082A-D6B1-47FD-A984-6474DBF74EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910401$B0EE2C3D-04AB-42B2-BF8F-4F55514D94C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c6f2192b611e74f4288a067d98e174e4125032","datavalue":{"value":{"entity-type":"item","numeric-id":3765745,"id":"Q3765745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910401$C2B5A5CA-2E7F-4ED6-884D-202697AD00D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"254f62c8b6cacbad57b4debcd137517ac2f0b2d9","datavalue":{"value":{"entity-type":"item","numeric-id":4946847,"id":"Q4946847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9494b77b304367ee4e2e2dea1aea594ca4955ede","datavalue":{"value":{"amount":"+0.7638829350471497","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":"Q910401$3D4F1ABE-B15C-40FD-99E4-72C94BA7BADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cfdcb5332dfe0646450730966982b8a0c17b3f9","datavalue":{"value":{"entity-type":"item","numeric-id":2422536,"id":"Q2422536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90d0fbcca73432e74cd26de167c7c0b48eaf52fc","datavalue":{"value":{"amount":"+0.7630844712257385","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":"Q910401$471B91B0-854B-473A-A262-80A54AF6B746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0f02cebc808e932374de2516e417f772819449","datavalue":{"value":{"entity-type":"item","numeric-id":3691666,"id":"Q3691666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf337890d22d586128eab5b8d13ec9a97d5baaa6","datavalue":{"value":{"amount":"+0.7405891418457031","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":"Q910401$2E95017F-8573-4BC5-9E31-477551DB458A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af5027d480fb7063fb5b514890b24d79962c901c","datavalue":{"value":{"entity-type":"item","numeric-id":4295223,"id":"Q4295223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744953e2b4e802964953f12b1b3944899046d52a","datavalue":{"value":{"amount":"+0.7306922674179077","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":"Q910401$F49C523F-1A44-4158-AD4A-081CE5DC9D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c12f24cae374bec28901233d4f66c68b1868f86f","datavalue":{"value":{"entity-type":"item","numeric-id":4428871,"id":"Q4428871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45091cd296be84a18752ea4b8cc6f2c4f4eee2ad","datavalue":{"value":{"amount":"+0.7282343506813049","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":"Q910401$3D887D5C-4ABE-4945-9C96-EE2F103C0F8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logic of abstraction related to finite constructive number classes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_logic_of_abstraction_related_to_finite_constructive_number_classes"}}}}}