{"entities":{"Q2594111":{"pageid":2604854,"ns":120,"title":"Item:Q2594111","lastrevid":44434455,"modified":"2025-11-22T22:00:19Z","type":"item","id":"Q2594111","labels":{"en":{"language":"en","value":"\u00dcber die Unabh\u00e4ngigkeit des Wohlordnungssatzes vom Ordnungsprinzip."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2513333"}},"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":"Q2594111$6AB0407B-8246-4417-9EBC-7B7249D35649","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9afc6b5497cf9acc4c7a57d5aabfa2525bf521a1","datavalue":{"value":{"text":"\u00dcber die Unabh\u00e4ngigkeit des Wohlordnungssatzes vom Ordnungsprinzip.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2594111$45D2256C-2F66-4F2F-B678-1E9DDAABE420","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b8e09f53a2cc8d127272e541fbea7e6bb3e5fe5","datavalue":{"value":"65.1164.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2594111$4745AE19-4C38-413E-AE6B-A726C727E04F","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":"Q2594111$AD6FDE0C-03C3-4456-932C-CD6D359FEBC0","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":"Q2594111$69710534-B55C-4E61-AF65-1F0E43E54BA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86ca4f9afd315b9ba593d0f038530b9232d5f1ed","datavalue":{"value":"https://eudml.org/doc/213059","type":"string"},"datatype":"url"},"type":"statement","id":"Q2594111$3B748D5B-CC73-48A9-BF71-6587826216E7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c2af2e8e4a865edfbcbbf6636367b7daa5613339","datavalue":{"value":"In der vorliegenden Arbeit beweist Verf., da\u00df das Auswahlaxiom von dem Ordnungsprinzip, d. h. dem Satze, da\u00df jede Menge geordnet werden kann, unabh\u00e4ngig ist. Die Frage, ob eine solche Unabh\u00e4ngigkeit besteht, r\u00fchrt von \\textit{A. Fraenkel} [Einleitung in die Mengenlehre, 3. Aufl. (1928; JFM 54.0086.01), 320] her. Der hier gegebene Beweis wird so gef\u00fchrt: Verf. legt ein System \\(\\mathfrak{S}\\) der Mengenlehre zugrunde, das im wesentlichen von \\textit{Bernays} [J. Symb. Logic 2, 65--77 (1937; JFM 63.0028.01)] herr\u00fchrt; dabei wird das Bestimmtheitsaxiom anders gefa\u00dft, damit die Existenz von Urelementen, d. h. Dingen, die keine Mengen sind, gesichert werden kann. Er bildet danach \\(\\mathfrak{S}\\) in ein passend gew\u00e4hltes anderes mengentheoretisches System \\(\\mathfrak{S}'\\) so ab, da\u00df dadurch alle Axiome von \\(\\mathfrak{S}\\) und das Ordnungsprinzip in beweisbare S\u00e4tze des Systems \\(\\mathfrak{S}'\\) \u00fcbergehen, der Wohlordnungssatz dagegen in die Negation eines beweisbaren Satzes. Das System \\(\\mathfrak{S}'\\) kann in verschiedener Weise gew\u00e4hlt werden; Verf. w\u00e4hlt das System von \\textit{J. von Neumann} [Math. Z. 27, 669--752 (1928; JFM 54.0088.02)].  Ein genaueres Eingehen auf den weitl\u00e4ufigen Beweis w\u00fcrde sehr viele Erkl\u00e4rungen erfordern; aber die folgenden Bemerkungen geben jedenfalls eine Idee von der Natur der angestellten Betrachtungen. Um das Modell von \\(\\mathfrak{S}\\) in \\(\\mathfrak{S}'\\) herzustellen, wird zuerst \\(\\varSigma_{\\xi}(x)\\) induktiv definiert, n\u00e4mlich so: \\(\\varSigma_0(x)=x\\), und f\u00fcr jede Ordnungszahl \\(\\xi > 0\\) ist \\(\\varSigma_{\\xi}(x)\\) die Menge aller \\(t\\) derart, da\u00df entweder \\(t \\in x\\) ist, oder ein \\(z\\) und ein \\(\\eta<\\xi\\) existieren derart, da\u00df \\(t \\in z \\in \\varSigma_{\\eta}(x)\\). \\(Z\\) ist die Menge aller \\(a_n\\), wobei \\(a_0 = 0\\), \\(a_{n+1}=\\{a_n\\}\\); \\(\\varLambda_n\\) ist \\(=Z-\\{a_n\\}\\) und \\(K\\) die Menge aller \\(\\varLambda_n\\). Weiter wird \\(K_{\\xi}\\) induktiv definiert: \\(K_0=K+\\{\\varLambda_0\\}\\), \\(K_{\\xi}=\\sum\\limits_{\\eta<\\xi} K_{\\eta}+\\mathfrak{P} \\left( \\sum\\limits_{\\eta<\\xi} K_{\\eta} \\right)\\) f\u00fcr \\(\\xi > 0\\), wobei \\(\\mathfrak{P}x\\) die Menge aller nichtleeren Teilmengen von \\(x\\) bedeutet. \\(\\mathfrak{M}\\) ist der Bereich aller \\(x\\), f\u00fcr die es ein \\(\\xi\\) mit \\(x \\in K_{\\xi}\\) gibt. \\(G_0\\) ist das System aller eineindeutigen Abbildungen von \\(K\\) auf sich selbst. \\(\\mathfrak{G}\\) ist das System aller Untergruppen von \\(G_0\\). Eine Menge \\(M \\subset \\mathfrak{P}(K)\\) hei\u00dft \\(G\\)-Ring, wenn \\(G \\in \\mathfrak{G}\\) und aus \\(X, \\,Y \\in M\\) immer \\(X + Y \\in M\\) folgt, \\(\\sum\\limits_{X \\in M} X=K\\) ist und aus \\(X \\in M\\), \\(\\varphi \\in G\\) stets \\(\\varphi(X) \\in M\\) folgt. \\(R(G)\\) ist das System aller \\(G\\)-Ringe. Ist \\(G \\in \\mathfrak{G}\\), \\(M \\in R(G)\\) so hei\u00dft \\(x \\in \\mathfrak{M}\\) ein \\(M\\), \\(G\\)-ausgezeichnetes Element, wenn ein \\(A \\in M\\) existiert, so da\u00df \\(x \\in K_G(A)\\) ist und stets \\(\\varSigma_{\\xi}(x) \\,\\mathfrak{M} \\subset \\sum\\limits_{B \\in M} K_G(B)\\) gilt; dabei bedeutet \\(K_G(A)\\) den Bereich aller \\(x \\in \\mathfrak{M}\\), so da\u00df \\(|\\, \\varphi, \\,x \\,|=x\\) ist f\u00fcr alle \\(\\varphi \\in G\\) derart, da\u00df \\(\\varphi(x) = x\\) ist f\u00fcr \\(x \\in A\\), und \\(|\\, \\varphi, \\,x \\,|\\) wird induktiv so definiert: \\(|\\, \\varphi, \\,\\varLambda_0 \\,|=\\varLambda_0\\); \\(|\\, \\varphi, \\,x \\,|=\\varphi(x)\\) f\u00fcr \\(x \\in K\\); \\(|\\, \\varphi, \\,x \\,|\\) die Menge aller \\(|\\, \\varphi, \\,y \\,|\\) mit \\(y \\in x\\), wenn \\(x \\in \\mathfrak{M}\\) aber nicht \\(x \\in K_0\\) ist. Der Bereich aller \\(M\\), \\(G\\)-ausgezeichneten Elemente hei\u00dft \\(\\mathfrak{W}_{M,G}\\). Ein Bereich \\(\\mathfrak{A}\\) hei\u00dft \\(M\\), \\(G\\)-ausgezeichnet, wenn entweder \\(\\mathfrak{A}=\\varLambda_0\\) oder \\(0 \\neq \\mathfrak{A} \\subset \\mathfrak{W}_{M,G}\\) und ein \\(A \\in M\\) existiert, so da\u00df \\(x \\in \\mathfrak{A}\\) mit \\(|\\, \\varphi, \\,x \\,| \\in \\mathfrak{A}\\) f\u00fcr jede Funktion \\(\\varphi \\in G(A)\\) \u00e4quivalent ist. Dann lautet das Haupttheorem so: Ist \\(G \\in \\mathfrak{G}\\) und \\(M \\in R(G)\\), und ersetzt man in den Axiomen des Systems \\(\\mathfrak{S}\\) die Worte ``Individuum'', ``Klasse'', ``\\(\\varLambda\\)'' bzw. durch die Worte ``\\(M, \\,G\\)-ausgezeichnetes Element'', ``\\(M, \\,G\\)-ausgezeichneter Bereich'', ``\\(\\varLambda_0\\)'', so gehen alle Axiome des Systems \\(\\mathfrak{S}\\) in richtige Aussagen \u00fcber. Dabei ist \\(\\varLambda\\) ein Individuum im System \\(\\mathfrak{S}\\), so da\u00df f\u00fcr keine \\(x\\), \\(x \\in \\varLambda\\) gilt.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2594111$6416D7E8-BA44-4A06-B1EA-03BD9C6E60B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f3e19226441d4b8048ce27ce815913b6ae4d5fd","datavalue":{"value":"03Exx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2594111$B6865D81-B8B7-455F-9590-DBD4A161A645","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13a4e268a16f022c17b2251b42f9b4e8161e0e09","datavalue":{"value":"2513333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2594111$BD8BF1B3-EA03-4BE2-B3FE-20634158F4A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cfa96b896b4870aef46c7c53449a86ee7b9e184","datavalue":{"value":{"entity-type":"item","numeric-id":767733,"id":"Q767733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2594111$55DE17DB-3A4D-4A1C-9899-1C7BE0070B53","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":"Q2594111$530273FA-F24E-4D1A-87F3-84EE054DD0A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ea0b291e8b44c84eb748ec7a8546061965a3061","datavalue":{"value":"W2105402645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2594111$62F51B8C-A7C8-4216-B39F-3CE9A1140492","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a98290852b66820544f5fb9de5d51c2eb4be75a","datavalue":{"value":"10.4064/FM-32-1-201-252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2594111$A5790430-6ACF-4B9F-B676-319408747534","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2594111","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2594111"}}}}}