{"entities":{"Q2611348":{"pageid":2622091,"ns":120,"title":"Item:Q2611348","lastrevid":44479203,"modified":"2025-11-23T06:10:46Z","type":"item","id":"Q2611348","labels":{"en":{"language":"en","value":"On the foundations of Boolean algebra. I."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2531301"}},"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":"Q2611348$C332384E-DB70-415E-8C88-663482CA7C53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d8cee78bfe1be27f3c93008bfe02c9f59401ef9","datavalue":{"value":{"text":"On the foundations of Boolean algebra. I.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2611348$5DF1B59A-E002-4FB2-B8E9-4EE6D4AC5E83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3355e059d7d2f6e18a193f3c8711b76ee8147445","datavalue":{"value":"61.0054.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611348$C4403C93-27C1-4662-80B5-A6E534351981","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2611348$EFC1516E-B002-4376-981A-B3A87F26BA84","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":"Q2611348$AE507946-9725-4CDF-9951-904C6DB30D7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f24d88c222ffe62b9a089eb90d06119f74375eb0","datavalue":{"value":"https://eudml.org/doc/212745","type":"string"},"datatype":"url"},"type":"statement","id":"Q2611348$35D7801D-ADEC-4905-8D9E-F07C4ED560D5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f39d78698509089a36b9ec33c410e6358df64615","datavalue":{"value":"Vorliegende Abhandlung enth\u00e4lt eine Untersuchung \u00fcber gewisse Axiomensysteme, die man der sogenannten \\textit{Boole}schen Algebra zugrunde legen kann. Zuerst stellt Verf. das gew\u00f6hnliche System auf, woraus das erweiterte System der \\textit{Boole}schen Algebra erhalten wird durch Hinzuf\u00fcgung von ``Summe'' und ``Produkt'' einer beliebigen Menge von Elementen. Danach wird ein einfacheres System, blo\u00df aus vier Postulaten \\(\\mathfrak B_1\\), \\(\\mathfrak B_2\\), \\(\\mathfrak B_3\\), \\(\\mathfrak B_4\\) bestehend, angegeben und gezeigt, da\u00df dies mit dem fr\u00fcheren, erweiterten System \u00e4quivalent ist, wenn zugleich die Summen und Produkte durch passende Definitionen eingef\u00fchrt werden. Besonders charakteristisch und wichtig ist dabei das Axiom \\(\\mathfrak B_4\\), das folgendes aussagt: Zu jeder Menge \\(X\\) von Elementen des Betrachtungsbereiches \\(B\\) gibt es ein Element \\(x\\) derart, da\u00df  1) f\u00fcr jedes \\(y\\varepsilon X\\) gilt \\(y < x\\), und  2) wenn \\(z\\varepsilon B\\), \\(z < x\\), und wenn f\u00fcr jedes \\(y\\varepsilon X\\) aus \\(u\\varepsilon B\\), \\(u < y\\), \\(u < z\\) stets \\(u < v\\) f\u00fcr alle \\(v\\varepsilon B\\) folgt, so gilt \\(z < v\\) f\u00fcr jedes \\(v\\varepsilon B\\).  Eine Versch\u00e4rfung von \\(\\mathfrak B_4\\) ist \\(\\mathfrak B_4^*\\), das aussagt, da\u00df genau ein Element \\(x\\) von der in \\(\\mathfrak B_4\\) erw\u00e4hnten Beschaffenheit existiert, und Verf. zeigt, da\u00df das System \\(\\mathfrak B_1\\), \\(\\mathfrak B_2\\), \\(\\mathfrak B_3\\), \\(\\mathfrak B_4\\) mit dem System \\(\\mathfrak B_2\\), \\(\\mathfrak B_4^*\\) \u00e4quivalent ist. Auf die Formulierung der Postulate \\(\\mathfrak B_4\\) und \\(\\mathfrak B_4^*\\) sowie teilweise der Beweise der \u00c4quivalenzs\u00e4tze sind die Forschungen \\textit{Le\u015bniewski}s von Einflu\u00df gewesen. In \\S\\ 2 wird der Begriff des Atomelementes eingef\u00fchrt (in \\textit{Schr\u00f6der}s Algebra der Logik ``Individuum'' genannt) und bewiesen, da\u00df eine Reihe von Postulaten je mit dem Postulat \u00e4quivalent ist, da\u00df, wenn \\(x\\varepsilon B\\) und \\(x\\neq 0\\) ist, stets ein Atomelement \\(y\\) existiert derart, da\u00df \\(y < x\\) ist. Die Theorie, welche auf Grund der in \\S\\ 1 betrachteten Postulate mit Hinzunahme des zuletzt erw\u00e4hnten Postulats entsteht, nennt Verf. das atomistische System der \\textit{Boole}schen Algebra. Er formuliert und beweist zum Schlusse die allgemeinen distributiven Gesetze zwischen Addition und Multiplikation, und er macht darauf aufmerksam, da\u00df das atomistische System der \\textit{Boole}schen Algebra mit dem gew\u00f6hnlichen Klassenkalk\u00fcl isomorph ist. (III 5 B.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2611348$2BDE3BFE-F970-48A3-9C6D-A776E9BD2DC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611348$0AA34DAB-B183-4372-9BF8-047C18217A9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34c83996af99835efced383d5aa33bb0297b7055","datavalue":{"value":"2531301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611348$DD61647C-9F9A-4DA0-A86F-ECB5F1B57202","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":"Q2611348$D503FDAB-C265-4084-8A8E-7F0F575D232E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69253d4024eb63ea28ad16af966f452cd11c0103","datavalue":{"value":"W857079627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611348$35A40FBD-E72D-41F8-82C6-18045ECBB6AC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b694ffd398509eb7755981fc994c214aef1194c4","datavalue":{"value":"Q108860961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611348$5ED10241-6153-45A9-A907-C83755C38ABC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6858ca1d709c92e7af97c7f77c8368d58339392d","datavalue":{"value":"10.4064/FM-24-1-177-198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611348$AFE54093-EF28-42A9-A1B6-A54915393F1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85829b121f1bd00e00d15a9f50bd81f731384991","datavalue":{"value":{"entity-type":"item","numeric-id":6482289,"id":"Q6482289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2611348$250A7773-91E3-49C1-87B6-2D55CEC941C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2611348","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2611348"}}}}}