Zum Satz von Artin-Schreier über die Eindeutigkeit des reellen Abschlusses eines angeordneten Körpers
scientific article; zbMATH DE number 3468943