{"entities":{"Q2593902":{"pageid":2604645,"ns":120,"title":"Item:Q2593902","lastrevid":44431677,"modified":"2025-11-22T21:32:50Z","type":"item","id":"Q2593902","labels":{"en":{"language":"en","value":"Untersuchungen \u00fcber den Aussagenkalk\u00fcl von A. Hey\\-ting."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2513121"}},"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":"Q2593902$F1E4EE39-D709-4BC6-953E-4C3865B12AF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0ec10ad114f8044c73c7e2c7c1ebf052ca33331","datavalue":{"value":{"text":"Untersuchungen \u00fcber den Aussagenkalk\u00fcl von A. Hey\\-ting.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2593902$13A77601-9440-4C31-BE79-09C38B0D2AE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4b8b1af187c89d60ee3b197f7ab6029a3d3d136","datavalue":{"value":"65.1104.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2593902$F27E462A-FE3B-495A-988F-547CDA758FC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9850660eb7aedd101104d662fb549813a2cf6c37","datavalue":{"value":{"entity-type":"item","numeric-id":562831,"id":"Q562831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2593902$F39AD1AD-C90C-4B47-887E-1C6D83099418","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8257fb8baf1458e2feeb526f0c0d3e8d6d922565","datavalue":{"value":{"entity-type":"item","numeric-id":563460,"id":"Q563460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2593902$F8A488AB-884C-4BB8-82B9-586A6C0F445E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0e196ad60f00e64f313a942d594f41d77efe615","datavalue":{"value":{"time":"+1939-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":"Q2593902$F58FC42E-D2EF-47AB-A826-3A7D23DC7B6F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f9f958db7b151796847585971c2f730eb87c6cf0","datavalue":{"value":"Es sei  \\[  \\begin{alignedat}{2}  &M_1 &&= \\{1.\\;CpCqp,\\quad 2.\\;CCpCqrCCpqCpr\\},\\\\ &M_{11}&&=\\{1.\\;CpCqp,\\quad 2.\\;CCpCpqCpq,\\quad CCpqCCqrCpr\\},\\\\ &M_{12}&&=\\{1.\\;CpCqp,\\quad 2.\\;CCpqCCpCqrCpr\\},\\\\ &M_2 &&=\\{1.\\;CKpqp,\\quad 2.\\;CKpqq,\\quad 3.\\;CCpqCCprCpKqr\\},\\\\ &M_3 &&= \\{1.\\;Cp\\,Apq,\\quad 2.\\;Cp\\,Aqp,\\quad 3.\\;CCprCCqrCApqr\\},\\\\ &M_4 &&= \\{1.\\;CEpqCpq,\\quad 2.\\;CEpqCqp,\\quad 3.\\;CCpqCCqpEpq\\},\\\\ &M_5 && =\\{1.\\;CCpNqCqNp,\\quad 2.\\;CNpCpq\\},\\\\ &M_{51}&&=\\{1.\\;CCpqCCpNqNp,\\quad 2.\\;CNpCpq\\},\\\\ &M_{52}&& =\\{COp\\}. \\end{alignedat}  \\]   Vorausgesetzt ist au\u00dferdem der \u00fcbliche, durch Einsetzung und Abtrennung bestimmte Folgerungsbegriff.  \\(M = M_1 + M_2 +M_3 +M_4+M_5\\) ist ein dem Verf. vom Ref. seiner Zeit mitgeteiltes unabh\u00e4ngiges Axiomensystem in \\(C\\), \\(K\\), \\(A\\), \\(E\\), \\(N\\) f\u00fcr die Satzmenge \\textit{heyt} des Heyting-Kalk\u00fcls, wobei zu \\(M_5\\) die nachtr\u00e4gliche Mitteilung des Verf. in der nachstehend besprochenen Arbeit heranzuziehen ist. In \\(M\\) kann \\(M_1\\) durch \\(M_{11}\\) bzw. (p. 52 dieser Arbeit) durch \\(M_{12}\\), \\(M_5\\) durch \\(M_{51}\\) bzw. f\u00fcr \\(Np =_{\\text{Df}}CpO\\), \\(O =_{\\text{Df}}NCpp\\) durch \\(M_{52}\\) ersetzt werden (\\S~5 dieser Arbeit). \\(M_4\\) ist in der bekannten Art durch \\(Epq=_{\\text{Df}}KCpqCqp\\) eliminierbar.  \\(M_0 = M - \\{CNpCpq\\}\\) ist ein Axiomensystem in \\(C\\), \\(K\\), \\(A\\), \\(E\\), \\(N\\) f\u00fcr die Satz\\-menge \\textit{mink} des \\textit{Kolmogoroff-Johansson}schen Minimal-Kalk\u00fcls (Compositio math., Groningen, 4 (1936), 119-136; F. d. M. \\(62_{\\text{II}}\\), 1045).  \\(M_{00} =M_1+\\{CCpqCCpNqNp\\}\\) ist ein Axiomensystem in \\(C\\) und \\(N\\) f\u00fcr die auf \\(C\\) und \\(N\\) beschr\u00e4nkte Satzmenge \\(\\text{\\textit{mink}}_0\\) dieses Kalk\u00fcls.  Das Haupttheorem dieser Arbeit ist das \\textit{Homogoneit\u00e4tstheorem f\u00fcr heyt} (p. 98, Satz 6 und Amn. 3): Ist \\(H\\) ein Heyting-Satz, der einen der aussageerzeugenden Funktoren \\(K\\), \\(A\\), \\(E\\), \\(N\\) nicht enth\u00e4lt, so ist \\(H\\) ableitbar aus der Teilmenge von \\(M\\), in der nur die in \\(H\\) enthaltenen Funktoren vorkommen. -- In \\S~12 wird ein entsprechen\\-des Theorem f\u00fcr die mit \\(\\text{\\textit{mink}}_0\\) zusammenfallende Satzmenge des (Zusatz des Ref.: mit dem Johansson-Kalk\u00fcl in \\(C\\) und \\(N\\) identischen) Kolmogoroff-Kalk\u00fcls bewiesen: Jeder \\(N\\)-freie \\(\\text{\\textit{mink}}_0\\)-Satz ist aus \\(M_1\\) ableitbar. -- Hieraus und aus dem Beweis f\u00fcr das erste Theorem ergibt sich das nicht explizit formulierte, dem ersten genau ent\\-sprechende \\textit{Homogeneit\u00e4tstheorem f\u00fcr mink}.  Auf dem Wege zum Beweis des Haupttheorems ergeben sich als wesentliche Resultate: (1) eine neue L\u00f6sung des Entscheidungsproblems f\u00fcr den Heyting-Kalk\u00fcl (\\S~9), (2) das inzwischen auch von \\textit{J. C. C. McKinsey} (vgl. die Besprechung auf S. 1105) auf eine ganz andere Art bewiesene Theorem von der wechselseitigen Un\\-definierbarkeit von \\(C\\), \\(K\\), \\(A\\), \\(N\\) (\\S~10). -- Endlich ergibt sich aus dem Haupttheorem noch das Theorem von der Identit\u00e4t der Satzmenge der positiven Bernays-Logik, mit der Folgerungsmenge aus \\(M - M_5\\), also mit der Satzmenge des positiven (\\(N\\)-freien) Heyting-Kalk\u00fcls: eine h\u00f6chst aufschlu\u00dfreiche Koinzidenz, wenn man bedenkt, da\u00df die positive Bernays-Logik dazu bestimmt ist, aus der Menge der \\(N\\)-freien S\u00e4tze des klassischen Aussagenkalk\u00fcls die den Regeln des hypothetischen Schlie\u00dfens ent\\-sprechende Teilmenge auszusondern. Vgl. \\textit{Hilbert-Bernays}, Grundlagen der Mathe\\-matik I (1934), 68f. und jetzt auch II (1939; F. d. M. 65, 21 (JFM 65.0021.*)), 422-450, wo auf die vorliegende Arbeit wiederholt Bezug genommen ist. Die entscheidende Komponente des Theorems von der Identit\u00e4t der Satzmenge des (auf die \\(C\\)-S\u00e4tze der positiven Bernays-Logik beschr\u00e4nkten) positiv identischen Bernays-Kalk\u00fcls mit der Folge\\-rungsmenge von \\(M_1\\) ist mit \\S~3, Satz 1 bewiesen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2593902$ABB91207-B2DD-4C02-B991-3C49594C8692","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfc7f941472f56e5c4240cc4d1154a71c9fafae0","datavalue":{"value":"2513121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2593902$AFAB775B-8D28-47A7-A4CA-7440A9627141","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":"Q2593902$BB88DAD5-579F-4E48-8240-7B65EDCC4E3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2593902","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2593902"}}}}}