{"entities":{"Q2590717":{"pageid":2601460,"ns":120,"title":"Item:Q2590717","lastrevid":44421297,"modified":"2025-11-22T19:54:55Z","type":"item","id":"Q2590717","labels":{"en":{"language":"en","value":"Consistency-proof for the generalized continuum-hypothesis."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2510173"}},"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":"Q2590717$00CE9BCF-E3E7-418C-9779-594B35C9D17B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5e76a735895ec3cc3676699c4c793fb1d01f935","datavalue":{"value":{"text":"Consistency-proof for the generalized continuum-hypothesis.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2590717$3826AA1E-1475-4785-B7AF-8525D26FACA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60f6fd87e4d3abbb1e84e5f23458ccc02dc7fadd","datavalue":{"value":"65.0185.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2590717$97DBFF82-B686-44D7-AD4B-A964F5B85A0E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8b8a0e96521309ee7cc1f61f941b3cdd0f96df8d","datavalue":{"value":{"entity-type":"item","numeric-id":558913,"id":"Q558913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590717$4FC3C384-1FF8-4B0D-96D6-2400A4FE23C5","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":"Q2590717$D827C93F-D04E-426A-BE01-491008B3E12A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6c98d1da714175838af798695c9dcb498eb0984d","datavalue":{"value":"Verf. nennt eine Menge \\(x\\) konstruierbar, wenn eine Ordnungszahl \\(\\alpha\\) existiert derart, da\u00df \\(x\\in M_\\alpha\\); dabei werden die \\(M_\\alpha\\) von \\(\\{0\\}\\) aus dadurch gebildet, da\u00df \\(M_{\\alpha+1} = M_\\alpha'\\), \\(M_\\beta=\\sum\\limits_{\\alpha<\\beta} M_\\alpha\\) f\u00fcr eine Limeszahl \\(\\beta\\), w\u00e4hrend \\(M'\\) die Menge aller Untermengen von \\(M\\) ist, die durch Aussagenfunktionen \\(\\varphi(x)\\) definiert sind, worin au\u00dfer \\(x\\) nur gebundene Variablen mit \\(M\\) als Variationsbereich vorkommen. Die G\u00fcltigkeit von \\(\\varphi(a)\\) f\u00fcr ein \\(a\\in M\\) ist mit der Existenz gewisser Belegungsfunktionen gleichwertig, wie einst vom Ref. gezeigt (Christiania Vid. Selsk. Skr. 1920, Nr. 4; F. d. M. 48, 1121 (JFM 48.1121.*); insbesondere S. 9). Ist \\(x\\in M_{\\alpha+1} - M_\\alpha\\) so hei\u00dft \\(x\\) von der Ordnung \\(\\alpha\\). Theorem 1 lautet dann: Aus \\(x\\in y\\) folgt, da\u00df \\(x\\) kleinere Ordnung hat als \\(y\\). Mittels einer Reihe von nicht ganz einfachen \u00dcberlegungen beweist Verf. sein Theorem 2, n\u00e4mlich da\u00df jede konstruierbare Untermenge von \\(M_{\\omega_\\alpha}\\) eine Ordnung \\(< \\omega_\\alpha + 1\\) hat. Er geht dabei von drei Mengen \\(K\\), \\(O\\), \\(F\\) bzw. von konstruierbaren Mengen, Ordnungszahlen und Belegungsfunktionen der erw\u00e4hnten Art aus, welche gewissen Postulaten gen\u00fcgen, und bildet \\(K\\), die \\(M_{\\omega_\\alpha}\\) enthalten soll, auf \\(M_\\eta\\) ab, wo \\(\\eta\\) den Ordnungstypus von \\(O\\) darstellt. Ein weiteres seiner Theoreme besagt, da\u00df \\(M_{\\omega_\\omega}\\) als Modell der Mengenlehre alle Axiome von \\textit{Zermelo}, das Auswahlaxiom vielleicht ausgenommen, gestattet und \\(M_\\varOmega\\), wo \\(\\varOmega\\) die erste ``unerreichbare'' Zahl ist, dazu noch das Ersetzungsaxiom. Werden nun die drei Aussagen: Es gibt nur konstruierbare Mengen, das Auswahlaxiom, \\(2^{\\aleph_\\alpha}=\\aleph_{\\alpha+1}\\) bzw. durch \\(A\\), \\(R\\), \\(C\\) bezeichnet, so gelten die Implikationen \\(A\\to R\\), \\(A\\to C\\), die erste, weil die konstruierbaren Mengen wohlgeordnet werden k\u00f6nnen, die zweite wegen Theorem 2, weil die M\u00e4chtigkeit von \\(M_{\\omega_\\alpha}\\) offenbar \\(\\aleph_\\alpha\\) ist.  Weiter relativiert Verf. den Begriff der konstruierbaren Menge f\u00fcr \\(M_{\\omega_\\omega}\\) und \\(M_\\varOmega\\) als Modelle der Mengenlehre. Dann folgt, da\u00df \\(A\\) und folglich auch \\(R\\) und \\(C\\) f\u00fcr \\(M_{\\omega_\\omega}\\) und \\(M_\\varOmega\\) gelten. Da alle \u00dcberlegungen m\u00f6glich sind innerhalb eines formalen Systems der Mengenlehre ohne Auswahlaxiom, so bemerkt Verf., da\u00df ein von \\(A\\), \\(R\\), \\(C\\) und den Axiomen der Mengenlehre herr\u00fchrender Widerspruch schon innerhalb der Mengenlehre ohne \\(A\\), \\(R\\), \\(C\\) auftreten m\u00fc\u00dfte.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2590717$1E4C4815-19E1-41C1-B297-FE9FD6DE7A89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de64913a25c1d72145372a307af0519359ed2852","datavalue":{"value":"2510173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2590717$2C4A1F2B-5404-42E3-8E8C-12F32C10DC2F","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":"Q2590717$2B80C439-3948-446B-BE5C-AD091E7B7FE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1c4683cac8c48db7bb66f244c77c81dc1a4a524","datavalue":{"value":"https://doi.org/10.1073/pnas.25.4.220","type":"string"},"datatype":"url"},"type":"statement","id":"Q2590717$D2C7634A-4D8E-405D-A0D6-594E398DE0A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c73a7892a6a541149152fd928f1ff23bb9cc778b","datavalue":{"value":"W2038389031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2590717$07E27934-52E1-4E67-B94E-D3B1160B9311","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e9855094c3b4067b2ce14262c6090f14ff1c9c45","datavalue":{"value":"Q33744505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2590717$9E52626C-DAAF-4E2A-BAC9-7FDECE8806E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d03839be03a4f3e82e8136c8ceb1b8a19a943b9d","datavalue":{"value":"10.1073/PNAS.25.4.220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2590717$B179B0C9-64F0-4448-9022-2DA9CBB6F303","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b9daf5faedb3b1d24cbec2131eb34c16c3c7ba5","datavalue":{"value":{"entity-type":"item","numeric-id":6481200,"id":"Q6481200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590717$2FD4F1CA-3510-4A70-8706-46DB6E356BD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2590717","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2590717"}}}}}