{"entities":{"Q1264136":{"pageid":1274886,"ns":120,"title":"Item:Q1264136","lastrevid":49338529,"modified":"2026-01-06T23:59:52Z","type":"item","id":"Q1264136","labels":{"en":{"language":"en","value":"A conservative extension of a formal arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4128786"}},"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":"Q1264136$507EC8D5-433B-474A-8CBC-6709A0B4CAD3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed036176d7e293c153179ace4842b001240d9c82","datavalue":{"value":{"text":"A conservative extension of a formal arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1264136$E0450479-8C13-4CFF-82A3-932734DBF080","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2856ab4bf5a166da1e01b4475889d66f4a7c0d4a","datavalue":{"value":"0689.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264136$40515DB7-A8D0-4418-B935-3F0611C63EE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cfb71f034ea0403cf52e1d52d439974034c21f6","datavalue":{"value":{"entity-type":"item","numeric-id":1069921,"id":"Q1069921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264136$E51526DE-E94C-40AD-863E-9C38C3836145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efe9d7ebd81431dbfaf15c876dfd6294bc4820cf","datavalue":{"value":{"entity-type":"item","numeric-id":1056742,"id":"Q1056742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264136$D7143A0C-BED1-419E-91AB-D30244445D8C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264136$D7F449B8-55C8-40BE-86AD-D55990B497F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1264136$34B91652-EEDC-45AF-8451-8A2A19FCA3BA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d8a5598c337d1583fdde0703b5fe5ddced3a148b","datavalue":{"value":"The authors' \\({\\mathcal A}\\) systems are sequent systems of illative \\(\\lambda\\)-calculus, which include, as defined concepts, equality and the connectives and quantifiers. In earlier papers [the second author, Z. Math. Logik Grundlagen Math. 25, 299-314 (1979; Zbl 0423.03011); and the authors, Dokl. Akad. Nauk SSSR 250, 1310-1315 (1980; Zbl 0452.03007)] classes of N-derivations and L-derivations are defined and it is shown that an arithmetic formula A written in the language of an \\({\\mathcal A}\\) system is derivable in formal arithmetic H\\({\\mathcal A}\\) if and only if \\(\\Pi\\) \\(N\\Rightarrow A\\) has an L-derivation.    The current paper claims the same result for N-derivations as a corollary to the result that a new class of derivations - \\(\\omega_ 1\\)-derivations - forms a conservative extension of H\\({\\mathcal A}\\). An outline of a proof of this result is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264136$FC69F210-9B30-4EB1-917A-719D03CFB76C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264136$D59C61BA-C7BA-427C-8503-66D9CC9AF0AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d75d38cb2c1b61cdcf2b51d6316c47038535f994","datavalue":{"value":"4128786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264136$950A1531-9E17-46F8-A65B-3D256ACBBC7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26b59815752bfdcc6d7e3bfb3eb1f38392a06a8","datavalue":{"value":"sequent systems of illative \\(\\lambda \\) -calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264136$769398D3-E052-44E7-8525-26111BB5BED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8089146631499aa656ce34a91facbd40d25588e6","datavalue":{"value":"formal arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264136$35984867-31B8-4ECA-B472-914C3D00F348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adb683cf0242ec4de6075b159e4eda87fcc8d67d","datavalue":{"value":"derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264136$3570B06E-82EB-4C4E-86DC-4249FCDA47E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86883f625eb9ea1d0f9d5e4e00110dbc1e213e44","datavalue":{"value":"conservative extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264136$7DB206B1-9B85-49CE-8C4C-20CE40C1226F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"376f136d3715d0668145bfef82b652dbeb24818d","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264136$E400B2F3-0A3D-401F-A473-B94E4FE84229","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":"Q1264136$49F7927E-A9AC-4A9B-BDFE-99D983E7EA63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f1f2ccb4a20af1553a5189ad56d5ccf590903a4","datavalue":{"value":{"entity-type":"item","numeric-id":4031104,"id":"Q4031104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0875894fe46638f55b72810b4b9406604164e3fd","datavalue":{"value":{"amount":"+0.799648642539978","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":"Q1264136$931EDA4C-F0EE-48E2-9535-F5690B58FCB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d379272fd586084fcc0dfe56e611e00c99324d56","datavalue":{"value":{"entity-type":"item","numeric-id":5895465,"id":"Q5895465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3de390b1f7dc1d53c490218fa1119f1b95a245ab","datavalue":{"value":{"amount":"+0.7946000099182129","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":"Q1264136$809855C3-2154-46B2-B81E-2A4F20DD92C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15898226e1f615735d8f2581a0a733a180a6fc44","datavalue":{"value":{"entity-type":"item","numeric-id":4133600,"id":"Q4133600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dc6c6a371273bf9b222809900ae57fb1a6ed039","datavalue":{"value":{"amount":"+0.7864540219306946","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":"Q1264136$9D098C4B-DF4E-4C1A-ACF3-B17C8B88DE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3f5a04ad2e5c381dc2e17d93572f7826abaefec","datavalue":{"value":{"entity-type":"item","numeric-id":3343960,"id":"Q3343960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aedb8934f359d77c75bc2a9f8cc3238063bad3a0","datavalue":{"value":{"amount":"+0.7558199167251587","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":"Q1264136$057119C3-B0CA-4A77-AE62-F6943EFCAE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d348a38c7a1069e80a95427043d7d77b16e16eb5","datavalue":{"value":{"entity-type":"item","numeric-id":2367413,"id":"Q2367413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce83a37c501283d26fcf7997d5d931600234feca","datavalue":{"value":{"amount":"+0.7552250623703003","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":"Q1264136$56221CBA-9F04-4131-AC29-54ABB7601171","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1264136","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1264136"}}}}}