{"entities":{"Q2594112":{"pageid":2604855,"ns":120,"title":"Item:Q2594112","lastrevid":44434458,"modified":"2025-11-22T22:00:21Z","type":"item","id":"Q2594112","labels":{"en":{"language":"en","value":"On well-ordered subsets of any set."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2513334"}},"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":"Q2594112$D72F187A-2858-456F-BA62-FF89C39CF557","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db9c8e0d1dccfcc5b146b2a4e574987685fb2e1d","datavalue":{"value":{"text":"On well-ordered subsets of any set.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2594112$870DC585-5CAD-43B6-81AA-F96D1DABFF94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69f081690ae42d78384e24a08e47f1de90f65fa7","datavalue":{"value":"65.1165.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2594112$EAE43111-D90C-4673-B525-0B288D323403","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":"Q2594112$79CE1E3C-CC28-483B-A30A-926A08A9C954","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":"Q2594112$8A8AC1B1-7D81-449E-B08F-7E0755263E81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc6cb9ecc60a4540eaf803319e21ceb53a4d471b","datavalue":{"value":"https://eudml.org/doc/213056","type":"string"},"datatype":"url"},"type":"statement","id":"Q2594112$0E0349AA-5CA5-4D00-8C32-2CF4AC3A639B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"91d1b07108eb2f9800f9c0d411e47340455f894a","datavalue":{"value":"In {\\S} 1 beweist Verf. ohne Anwendung des Auswahl- und Ersetzungsaxioms einige S\u00e4tze, die mit dem Satze \\(\\overline{\\overline{UM}}>\\overline{\\overline{M}}\\) von Cantor und dem Wohlordnungssatz von Zermelo verwandt sind. Z. B. beweist er die S\u00e4tze: Ist \\(S\\) das System aller Mengen \\(X \\subset M\\) derart, da\u00df \\(\\overline{\\overline{X}}<\\overline{\\overline{M}}\\) ist, und ist \\(\\overline{\\overline{M}}=\\overline{\\overline{S}}\\), so k\u00f6nnen \\(M\\) und \\(S\\) wohlgeordnet werden. Ist \\(S\\) das System aller wohlordnungsf\u00e4higen Untermengen von \\(M\\), so ist \\(\\overline{\\overline{M}}<\\overline{\\overline{S}}\\); dies ist offenbar eine Versch\u00e4rfung des Cantorschen Satzes. Ein Korollar ist: Hat die Menge aller (h\u00f6chstens) abz\u00e4hlbaren Mengen reeller Zahlen die M\u00e4chtigkeit \\(2^{\\aleph_0}\\), so gibt es eine Menge \\(N\\) reeller Zahlen mit der M\u00e4chtigkeit \\(\\aleph_1\\). Mit Hilfe dieser Resultate formuliert Verf. in {\\S} 2 zwei S\u00e4tze \\(\\mathfrak{A}_1\\) und \\(\\mathfrak{A}_2\\), die mit dem Auswahlpostulat gleichwertig sind. Am einfachsten ist \\(\\mathfrak{A}_2\\) n\u00e4mlich: Zu jeder Menge \\(N\\) gibt es eine Menge \\(M\\) derart, da\u00df \\(\\overline{\\overline{M}}=\\overline{\\overline{S}}\\) ist, wobei \\(S\\) das System aller Mengen \\(X \\subset M\\) ist, die keine Untermenge derselben M\u00e4chtigkeit wie \\(N\\) enthalten. Er beweist, da\u00df \\(\\mathfrak{A}_1\\) aus dem Auswahlaxiom folgt, ebenso \\(\\mathfrak{A}_2\\) aus \\(\\mathfrak{A}_1\\) und endlich das Auswahlaxiom aus \\(\\mathfrak{A}_2\\). Zum Schlusse gibt er zwei Formulierungen \\(\\mathfrak{A}\\) und \\(\\mathfrak{B}\\) eines Axioms zur Sicherung der Existenz unerreichbarer Kardinalzahlen. Besonders bemerkenswert ist es, da\u00df das Auswahlaxiom ein beweisbarer Satz wird, wenn \\(\\mathfrak{A}\\) oder \\(\\mathfrak{B}\\) zu dem Zermeloschen oder Zermelo-Fraenkelschen Axiomensystem hinzugef\u00fcgt wird.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2594112$5AB36B7A-06DC-4BAE-A001-D63C393FEE47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46701b0bdbeeb8e03b304a8c971a76647c8eabc2","datavalue":{"value":"2513334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2594112$DF00B70C-1996-4459-BEB9-7BA65156785E","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":"Q2594112$49E83EE5-2507-4731-A7B2-68F16FBAF192","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2844369f9413be1b7b7a222d66960201c85643d","datavalue":{"value":"W1132673866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2594112$8683D3B3-D48F-4FBC-AA0D-E915240D55BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85554577c7b5962d4b23d1f65ede304a02d1a79f","datavalue":{"value":"10.4064/FM-32-1-176-783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2594112$D6BB422D-B775-4271-A380-BC0B2DCF8BD0","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":"Q2594112$B4A49158-1165-40C6-BE8E-15E13D4214DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2594112","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2594112"}}}}}