{"entities":{"Q3239378":{"pageid":3250086,"ns":120,"title":"Item:Q3239378","lastrevid":109893794,"modified":"2026-11-14T11:41:18Z","type":"item","id":"Q3239378","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3124088"}},"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":"Q3239378$EDA06053-EE0D-4F4A-AFAE-5320590A5941","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f92a77e97de75fc498c868a01aeb63ca71047424","datavalue":{"value":"0074.27701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3239378$3059C8FA-8F58-4783-AB8A-8D26D94F3A26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b26cbf3549c71c881ad5f366a521498057e71cdf","datavalue":{"value":{"entity-type":"item","numeric-id":2578790,"id":"Q2578790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3239378$EDDFC1DC-C2B2-4B6E-AC5C-DD37CB9826FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fdeec1d184478b3fdb458fc97fe9e12c6f6e278","datavalue":{"value":{"time":"+1956-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":"Q3239378$55980346-2F4F-40C2-AB62-D036DDBB1A1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f3e19226441d4b8048ce27ce815913b6ae4d5fd","datavalue":{"value":"03Exx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3239378$2D4F94D3-6926-4E49-B5ED-196720ACAFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3239378$682F09DA-8A22-43AB-A4DD-CC6DD1F36A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d47e25e8cf618d2abb950656f24c2f07fd7d2928","datavalue":{"value":"03E04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3239378$830777BC-E488-4711-9876-630129BD9103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3239378$1AA5F590-97B4-4442-85D6-EB500FE52C23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d039756b7ab62b8d14cb3ff6d97319608da34661","datavalue":{"value":"3124088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3239378$0372468F-5977-4192-AC51-7784CBE10424","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3239378$E00B1B38-C858-4567-87A3-979D7B8EA440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca277992f91db5dc674d0eaca198f17556de59e4","datavalue":{"value":"ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3239378$1958885B-FB2C-4292-8911-90AE5503AD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b304f848696aae71712363dd52bee532b9da3619","datavalue":{"value":"cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3239378$D90B81DC-9EA8-45DB-B0E5-BDC60D26D13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19de6affdb1ba772c772b8d14fa3ed4bab919573","datavalue":{"value":"integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3239378$DB6363D0-DD23-4553-8F67-6F6B35760E60","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":"Q3239378$94D038E9-B065-4131-B44E-78F5E97B0B69","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d83556e454f92ffca876717cf95d2e04098c5690","datavalue":{"value":"Fortsetzung der Mengenlehre [(1954; Zbl 0055.27902)]; Inhalt im wesentlichen die Elemente der klassischen Kardinalzahlarithmetik einschl. der Arithmetik der nat\u00fcrlichen Zahlen und der Kombinatorik (binomischer Satz etc.), sowie die Theorie der wohlgeordneten Mengen. Der Aufbau praktisch unver\u00e4ndert der seit Cantor, Dedekind und Whitehead-Russel \u00fcbliche (als kleine Besonderheit werde die Definition der endlichen Kardinalzahlen durch \\(\\mathfrak a\\neq \\mathfrak a+1\\) erw\u00e4hnt); Ans\u00e4tze zur Einbeziehung neuerer Gesichtspunkte finden sich, ganz im Gegensatz zur sonstigen Tendenz der Bourbaki-Schule, kaum. Der Bourbakischen Konzeption vom Aufbau der Mathematik entsprechend [Am. Math. Mon. 57, 221--232 (1950; Zbl 0037.00209)], wonach den in besonderen B\u00fcchern (Buch II und III des bisherigen Bourbakischen Gesamtwerkes) abgehandelten algebraischen und topologischen Strukturen als dritte mathematische Fundamentalstruktur die gleichfalls schon im Kontinuum vorhandene Ordnung zur Seite tritt, wird hier zwar mit dem allgemeinen Begriff der Ordnungsrelation begonnen, allein zu einer eigentlichen Ordnungstheorie kommt es, abgesehen von den elementarsten Definitionen (Schranken, Extrema, extremale Elemente usw.), nur ansatzweise. Wie schon fr\u00fcher die \u00c4quivalenzrelationen, so werden auch hier die Ordnungsrelationen intensional, d. h. als Aussageformen \\(R(x,y)\\) in zwei Buchstaben (Variablen) \\(x\\) und \\(y\\) definiert, f\u00fcr die eben gewisse S\u00e4tze (Reflexivit\u00e4t usw.) ableitbar sind; es ergibt sich die unbequeme Unterscheidung von (intensionalen) Ordnungsrelationen und ihren (extensionalen) Graphen, zu der es in den anderen Strukturtheorien (Algebra, Topologie) kein \u00fcbliches Analogon gibt und die sich wohl kaum streng durchhalten lassen wird (siehe schon \\S1, No. 4). Als spezielle geordnete Mengen werden die gerichteten Mengen eingef\u00fchrt; mit ihrer Hilfe wird der mengentheoretische Teil der Konstitution des induktiven und des projektiven Limes erledigt (Definition und Grundeigenschaften dieser Limites f\u00fcr Familien abstrakter Mengen). Weiter werden als spezielle gerichtete Mengen die Verb\u00e4nde aufgez\u00e4hlt. Schon die auch innerhalb der franz\u00f6sischen Literatur ungew\u00f6hnliche, dem Muster der ,,ensembles ordonn\u00e9s'', ,,ensembles filtrants'' nachgebildete Bezeichnung ,,ensembles r\u00e9ticul\u00e9s'' scheint auf eine einseitige Betonung des rein ordnungstheoretischen vor dem algebraischen Aspekt des Verbandsbegriffes schlie\u00dfen zu lassen; unterstrichen wird dies nachdr\u00fccklich durch den Verzicht auf die heute allgemein eingeb\u00fcrgerte Symbolik f\u00fcr die verbandstheoretischen Operationen, wodurch denn ein verbandstheoretischer Kalk\u00fcl, wie er sich heute in vielen Teilen der Mathematik l\u00e4ngst unentbehrlich gemacht hat, von vornherein verhindert wird. So bekommen beispielsweise die verbandstheoretischen Distributivgesetze die wenig suggestive, das Rechnen gewi\u00df erschwerende Gestalt (p. 32 u.): \\(\\sup (x,\\inf(y,z)) =\\inf (\\sup(x,y), \\sup(x,z))\\) und dual. Blo\u00df aufgez\u00e4hlt werden an speziellen Verb\u00e4nden noch die total geordneten, eine wirkliche Theorie wird erst aufgebaut f\u00fcr die wohlgeordneten Mengen. Dabei h\u00e4tte es bei der (dem Gesamtunternehmen durchaus entsprechenden) Allgemeinheit des begrifflichen Ansatzes vielleicht nahe gelegen, nun auch die angestrebten Theoreme der klassischen Wohlordnungstheorie in einen entsprechend allgemeinen ordnungstheoretischen Rahmen zu stellen. Beispielshalber ist f\u00fcr das Beweisverfahren der sog. transfiniten Induktion wie das entsprechende rekursive Definitionsverfahren die Totalordnung v\u00f6llig entbehrlich, man ben\u00f6tigt von der Wohlordnung nur die Minimalbedingung (diese Verfahren werden \u00fcbrigens hier mehr als metamathematische Prinzipien denn als mathematische Theoreme formuliert). Auffallend ist die untergeordnete Stellung des als ,,Zornsches Lemma'' bekannten ordnungstheoretischen Extremalprinzips, f\u00fcr dessen Anwendung Bourbaki in Algebra und Topologie so gl\u00e4nzende Beispiele geliefert hat. Zwar wird dieses Prinzip hier als Folge des Wohlordnungssatzes (nicht umgekehrt!) aufgef\u00fchrt, allein benutzt wird es hier nicht, und so bleibt es denn bei der klassischen Anordnung der Mengenlehre mit dem Wohlordnungssatz als Mittelpunkt, obwohl es seit \\textit{M. Zorn} [Univ. California Publ. Math., n. Ser. 2 (No. 1, Semin. Rep. in Math. (Los Angeles)), 9--12 (1944; Zbl 0060.12708)] u. a. durchaus m\u00f6glich ist, die auf dem Auswahlaxiom beruhenden Haupts\u00e4tze der Kardinalzahltheorie nicht mehr auf dem Umwege \u00fcber die Wohlordnung, sondern mittels des Zornschen Lemmas ,,direkt'' zu beweisen. Der Bernsteinsche \u00c4quivalenzsatz wird hier lediglich als Korollar zur Wohlordnung der M\u00e4chtigkeiten hingestellt und damit auf das durch Verwendung des universellen Auswahloperators \\(\\tau\\) getarnte Auswahlaxiom zur\u00fcckgef\u00fchrt, dem einfachen konstruktiven Beweis von Banach zum Trotz. Zu dem Gegensatz zwischen der Allgemeinheit des begrifflichen Ansatzes und dem Festhalten am klassischen Aufbau ist schlie\u00dflich die Behandlung der verschiedenen Produktbildungen zu rechnen: in \\S1 wird das direkte, in \\S2 das (auf wohlgeordneten Indexbereich beschr\u00e4nkte) lexikographische Produkt beliebig geordneter, in \\S3 das direkte Produkt abstrakter (= spezieller geordneter, n\u00e4mlich total ungeordneter) Mengen eingef\u00fchrt, aber von einer Unterordnung dieser drei Operationen unter den seit den Arbeiten von Birkhoff u. a. vorhandenen ordnungstheoretischen Oberbegriff ist hier keine Rede. Ein wesentlicher Teil der klassischen Stoffmasse (h\u00f6here Kardinalzahltheorie, die gesamte Ordinalzahltheorie einschl. der Definition der Ordinalzahlen) findet sich in den \u00dcbungen, deren Umfang hier auf genau ein (eng bedrucktes) Drittel der Textseiten angeschwollen ist.","type":"string"},"datatype":"string"},"type":"statement","id":"Q3239378$7171BAA2-FF1D-4D61-90FE-0C7D1262D85D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3239378","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3239378"}}}}}