Transfinite real numbers. (Q2601877)

Es sei \(L\) eine geordnete Menge. Die formalen Potenzprodukte \(\prod\limits_{\lambda }\beta _{\lambda }^{b_{\lambda }}\), wo \(\lambda \) bis zu einer beliebigen Ordnungszahl läuft, die \(\beta _\lambda \) Elemente von \(L\) mit \(\beta _1>\beta _2>\cdots\) und die \(b_\lambda \) reelle Zahlen sind, werden zunächst geordnet. Aus den Summen \(\sum\limits_{\mu }a_\mu\pi _\mu \), wo \(\mu \) bis zu einer beliebigen Ordnungszahl läuft, die \(\pi _\mu \) Potenzprodukte mit \(\pi _1>\pi _2>\cdots\) und die \(a_\mu \) reelle Zahlen sind, wird alsdann ein geordneter Körper \(F\) aufgebaut. Da sich nun zeigt, daß jede reelle algebraische Erweiterung eines geordneten Körpers in einem bestimmten, besonders erklärten Sinne eine ``(relativ-) archimedische Erweiterung'', \(F\) hingegen ein Körper ohne ``archimedische Erweiterung'' ist, so ist \(F\) reell-abgeschlossen. Da andrerseits der Körper der reellen Zahlen in einem ebenfalls besonders erklärten Sinne ``(absolut-) archimedisch'' und ohne ``archimedische Erweiterung'', \(F\) dagegen auch nicht mehr ``archimedisch'' ist, so läßt sich \(F\) als Körper transfiniter reeller Zahlen auffassen. \(F\) enthält bis auf Isomorphie alle ``archimedischen Erweiterungen'' seiner Unterkörper. (II.)