Let ℜ = (R, + R , ...) be the ordered field of real numbers. It will be shown that the L(Q n 1 ∣ n ≥ 1)-theory of ℜ is decidable, where Q n 1 denotes the Malitz quantifier of order n in the ℵ 1 -interpretation.

Die Spannweite der Beitrage reicht von der Beschreibung aktueller Katalogisierungsprojekte in Koblenz, Luxemburg und Trier uber die Frage nach der Bedeutung mittelalterlicher Bibliothekskataloge bis hin zu Problemen der Digitalisierung und virtuellen Rekonstruktion dislozierter Bibliotheken. Ein besonderes Augenmerk ist dem Komplex der Forderung aktueller Digitalisierungsprojekte durch die Deutsche Forschungsgemeinschaft gewidmet.".