{"entities":{"Q1840429":{"pageid":1851171,"ns":120,"title":"Item:Q1840429","lastrevid":69318639,"modified":"2026-04-13T06:12:19Z","type":"item","id":"Q1840429","labels":{"en":{"language":"en","value":"The inter-deducibility of the new Hilbert-Bernays theory and Principia mathematica"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3017945"}},"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":"Q1840429$1300B1A8-E1CF-4E0E-BD2F-D0E6AF0918A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca6f74d8f5390c4f6b0a78df9d1eb5774ca04476","datavalue":{"value":{"text":"The inter-deducibility of the new Hilbert-Bernays theory and Principia mathematica","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1840429$DE0B5D44-8AC3-4353-A737-84AD99CC3C62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3cb877bae41093482b2d3ab155e636455f8e823","datavalue":{"value":"0012.00102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840429$0CB033CE-CAA4-4B53-A734-923F512554C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b7d850fed5e6c5a94c2582bb2122130f995fe42","datavalue":{"value":"10.2307/1968573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840429$EC07F2D9-D6C2-439A-BD86-69A9D56BF2F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a8f3d506509805546440c94217d181ef5581c70","datavalue":{"value":{"entity-type":"item","numeric-id":1840428,"id":"Q1840428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840429$BC790929-94C9-467A-B808-FCA591F26C25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840429$2635A833-4287-4B58-A64D-73CE38B8C2E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f82bec1cbf48dde5b3e142feb51b7b6959e188a7","datavalue":{"value":{"time":"+1935-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":"Q1840429$EB55579B-0A4C-40E9-93C7-399A7DE731AA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1e3bec0d35e4f7ed1c1c3c3691846254d8820372","datavalue":{"value":"Part I und II sind dem detaillierten Nachweis der \u00c4quivalenz des Hilbert-Bernaysschen Axio\\-mensystems f\u00fcr den Aussagenkalk\u00fcl [\\textit{D. Hilbert} und \\textit{P. Bernays}, Grundlagen der Mathematik. I. Berlin: Springer (1934; Zbl 0009.14501), S. 66] mit dem Whitehead-Russellschen System der Axiome und Definitionen des Aussagenkalk\u00fcls (Principia Math. I) gewidmet. In Part III wird das zugeh\u00f6rige Schlu\u00dfschema (rule of inference) formal mit den Axiomen in eine Reihe gestellt, indem bei Zugrundelegung der Klasse \\(K\\) aller Aussagen und der Teilklasse \\(T\\) der ,,akzeptierten'' Aussagen sowohl die Axiome als auch das Schlu\u00dfschema als Festsetzungen \u00fcber die Zugeh\u00f6rigkeit von \\(K\\)-Elementen zu \\(T\\) interpretiert werden. In dieser Auffassung des Aussagenkalk\u00fcls beweisen die Bernaysschen Unabh\u00e4ngigkeitsmodelle f\u00fcr die einzelnen Axiome des Hilbert-Bernaysschen Axiomensystems (loc. cit., S. 72--79) naturgem\u00e4\u00df die betreffenden Unabh\u00e4ngigkeiten von den \u00fcbrigen Axiomen und dem Schlu\u00dfschema.    Der Autor zeigt (an zwei Modellen) die Unabh\u00e4ngigkeit des Schlu\u00dfschemas von den Hilbert-Bernaysschen Axiomen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840429$D53A8E2A-F8B4-413B-81A4-50E92CFAA473","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840429$BB924CAB-13AB-4972-90AF-F3DB013D69CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0a793ce66eb40d929ee40b6afbad4e1919d4485","datavalue":{"value":"3017945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840429$F4DF11A9-2438-48AD-9E3D-B0124D6016B1","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":"Q1840429$86AB2691-E2A4-4303-991C-42EB3906C214","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0dde486a39e431a6aa213dab65f4d5ac4083639c","datavalue":{"value":"https://doi.org/10.2307/1968573","type":"string"},"datatype":"url"},"type":"statement","id":"Q1840429$5BFE14C9-0D30-45E6-A67A-385B33BE9ADD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"912e056f5dcde2b3ce4ee921307784aedc35bfed","datavalue":{"value":"W2331171291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840429$38FAB172-416A-4382-9BAD-FCBD7DCD18C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5944d25d38431f3ab1fdde05a4bdcc76db66adab","datavalue":{"value":{"entity-type":"item","numeric-id":3081234,"id":"Q3081234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39145bf7db158b32599240af7e3bb358e6c0fc18","datavalue":{"value":{"amount":"+0.8626684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840429$E3BAD9BB-3052-4768-B31F-7B7C049ED295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1153cffa77a87c2c356f92b735d08623c02648c","datavalue":{"value":{"entity-type":"item","numeric-id":5107215,"id":"Q5107215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bec904762dc0a20c63868388df9919bf025c4200","datavalue":{"value":{"amount":"+0.85391927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840429$96660158-FEA0-4A15-8733-9AB573F09096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9d8e76bae0e480e556faa2f3c1947a64ca069b","datavalue":{"value":{"entity-type":"item","numeric-id":3224050,"id":"Q3224050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03229d6600ea82d1415ce4a7916484e42b622b41","datavalue":{"value":{"amount":"+0.85133505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840429$19B8463C-4A0C-4787-8542-BF3D283F6837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64fb2e12fed82321c05a349b6b8f65731f9849c1","datavalue":{"value":{"entity-type":"item","numeric-id":1840999,"id":"Q1840999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d3bfc53e29dd464ba588c198128716ea6289beb","datavalue":{"value":{"amount":"+0.8484461","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840429$477B89FA-9965-409D-B1E2-3A4B032F0175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dba65762b9c4a139e84fa61503c2dc7155a7bc42","datavalue":{"value":{"entity-type":"item","numeric-id":1036075,"id":"Q1036075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a0851a532543863c90426d892c3eb1af58344ec","datavalue":{"value":{"amount":"+0.8342521","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840429$5ACF7ABE-3745-456E-B6D0-77B9C8270DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d99e837422595f9dac5437a392366f0c79dcfc0","datavalue":{"value":{"entity-type":"item","numeric-id":1344187,"id":"Q1344187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"029c0596767209316b98c5ace6de6eb7d6e04a39","datavalue":{"value":{"amount":"+0.8331449","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840429$09DFC1A2-0176-4586-A751-3B4388BF0E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6acef06c650ce73e045532d0d6062799b73b6b6a","datavalue":{"value":{"entity-type":"item","numeric-id":5416144,"id":"Q5416144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"794d549b70996c319a3c8df83b30fdf726814022","datavalue":{"value":{"amount":"+0.83255017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840429$B69A5CA4-88C0-45D9-B54E-89AC826C4082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e0c0e0f784831fa59e3a9303f5a1d28e7e6a85c","datavalue":{"value":{"entity-type":"item","numeric-id":1972228,"id":"Q1972228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"239e5ec62fbf776d75dcf2c8d7edab5de9ea3203","datavalue":{"value":{"amount":"+0.8293223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840429$183F30BB-4B20-4958-B83B-64C85D43591E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The inter-deducibility of the new Hilbert-Bernays theory and Principia mathematica","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_inter-deducibility_of_the_new_Hilbert-Bernays_theory_and_Principia_mathematica"}}}}}