{"entities":{"Q2579776":{"pageid":2590519,"ns":120,"title":"Item:Q2579776","lastrevid":44401680,"modified":"2025-11-22T16:55:41Z","type":"item","id":"Q2579776","labels":{"en":{"language":"en","value":"Finite Konstruktion geordneter algebraischer Erweiterungen von geordneten Grundk\u00f6rpern."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2502287"}},"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":"Q2579776$8D5BDA33-53FB-40A1-80B6-2F8A862E1B54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da6620bc7ed5a7b8ddcfed074ae882873e38a3f5","datavalue":{"value":{"text":"Finite Konstruktion geordneter algebraischer Erweiterungen von geordneten Grundk\u00f6rpern.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2579776$2A4C176B-8BCA-40D1-8C58-8FB8A8DFF41E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d037493f105e2484ed7d05466c2a982f4e1c0522","datavalue":{"value":"67.0096.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579776$29E2AA6F-D370-439B-B15E-0F5F0BE04C01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e30aa8becebcacf630d0b33111766a9794b04da","datavalue":{"value":{"entity-type":"item","numeric-id":2579775,"id":"Q2579775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2579776$5FBEA879-9F00-491B-9B10-843064B97EEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4a7e675c2dec11049f636d98b38ed898375cacb","datavalue":{"value":{"time":"+1941-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":"Q2579776$3D380CE0-3086-42C3-853A-368048B7798C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bd60014bc332b238aab442cb64d0fd3c5099566d","datavalue":{"value":"Nach \\textit{Artin} m\u00f6ge der algebraische, reell abgeschlossene Oberk\u00f6rper \\textbf{P} eines geordneten Grundk\u00f6rpers \\(k\\) aufgefa\u00dft werden als die Menge aller Wurzelsymbole \\(\\alpha_1^f, \\,\\alpha_2^f, \\ldots \\!, \\alpha_{r_f}^f\\), wobei \\(f(x)\\) die Polynome aus \\(k[x]\\) durchl\u00e4uft und \\(r_f\\) die Anzahl der reellen Nullstellen von \\(f(x)\\) bezeichnet. Ist es m\u00f6glich, bei Voraussetzung der Ordnungsrelationen: \\(\\alpha_1^f<\\alpha_2^f \\cdots <\\alpha_{r_f}^f\\) auf konstruktivem Wege 1) \\(r_f\\) zu ermitteln, 2) zu entscheiden, welche der drei Relationen \\(=\\), \\(<\\), \\(>\\) zwischen zwei Wurzelsymbolen besteht, 3) ein Wurzelsymbol, das der Summe, Differenz, dem Produkt, Quotienten zweier gegebener Wurzelsymbole gleich ist, zu finden? Verf. gelingt es, zur L\u00f6sung dieser Frage mit einer endlichen, durch die Anfangsdaten von vornherein einschr\u00e4nkbaren Anzahl folgender finiter Einzelschritte auszukommen: 1) Ermittlung des Nachfolgers einer nat\u00fcrlichen Zahl, 2) Auswahl eines Symbols aus endlich vielen gegebenen, 3) Aufstellung einer formalen Summe und eines formalen Produktes aus endlich vielen gegebenen Symbolen, ebenso eines formalen Quotienten aus gegebenem Z\u00e4hler und Nenner, 4) die Hinzuf\u00fcgung von einem oder mehreren (endlich vielen) gegebenen Symbolen als ``Indices'' zu einem gegebenen Symbol, 5) die Aufstellung eines ``neuen'' Symbols, 6) Ausf\u00fchrung einer der vier rationalen Rechenoperationen in \\(k\\). Nicht vorausgesetzt wird dabei das archimedische Axiom sowie die M\u00f6glichkeit, auf konstruktivem Wege ein Polynom aus \\(k[x]\\) in seine irreduziblen Faktoren zu zerlegen, im Gegensatz zu der Arbeit von \\textit{Vandiver}, ``On the ordering of real algebraic numbers by constructive methods'' (Ann. Math., Princeton, (2) 87 (1936), 7-16; F.~d.~M. 62\\(_{\\text{II}}\\), 1151). Alle Beweise zu den Konstruktionen werden mit finiten Schl\u00fcssen erbracht, so da\u00df eine neue, finite Grundlegung der reellen Algebra geschaffen worden ist. Das Hauptst\u00fcck ist der Beweis einer Gruppe von zehn S\u00e4tzen, unter anderen des Zwischenwertsatzes, des Satzes von Rolle, des Mittelwertsatzes und des Satzes von Sturm, durch gleichzeitige vollst\u00e4ndige Induktion nach dem Grad von \\(f(x)\\). Gedanklich liegt f\u00fcr den naiven Leser die Hauptschwierigkeit in der Unterscheidung zwischen den inhaltlich gemeinten Symbolen der finiten Algebra und den Elementen der nicht finiten Algebra. Sie mu\u00df gemacht werden, da das Analogon zu den Elementen die Klassen der untereinander in Gleichheitsrelation befindlichen Symbole sind und der Klassenbegriff sich bei \u00dcbergang zu Oberk\u00f6rpern \u00e4ndert.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2579776$5C38B6CF-2F8A-4F4E-A483-9997B69E2645","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3a450ba456dcf42d6e16c3fbfd5f7dcb11a153b","datavalue":{"value":"2502287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579776$57AEFC41-E459-443B-9BED-6DDE805933F8","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":"Q2579776$CBD80373-3039-464E-86DA-DE3DB1C93844","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2579776","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2579776"}}}}}