216

Tätigkeitsberichte

P. Vogel and V. Ebert, „Near Shot Noise Detection of Oxygen in the A-Band with
Vertical-Cavity-Surface-Emitting Lasers“, Appl. Phys. B 72, 127-135 (2001)
Buchbeiträge:
J. Wolfrum, T. Dreier, V. Ebert, C. Schulz, „Laser-based Combustion Diagnostics“, in
Encyclopedia of Analytical Chemistry, R.A. Meyers (Ed.), 2118-2148, John Wiley &
Sons Ltd, Chichester, 2000
T. Fernholz, H. Teichert, E. Schlosser, V Ebert, Data-Aquisition and -Analysis for In-
situ Absorption-Spectroscopy in Industrial Combustion Processes based on Diode
Lasers, in Virtuelle Instrumente in der Praxis, 71-77, R. Jamal/H. Jaschinski
(Hrsg.), (Praxiswissen Elektronik-Industrie: Messtechnik) Hüthig-Verlag, Heidel-
berg 2001
V. Ebert, J. Wolfrum, „Absorption Spectroscopy“ in Optical Measurements-Techniques
and Applications, 2nd corr. edition, E Mayinger, O. Feldmann (Eds.), (Heat and
Mass Transfer), Springer Verlag, Heidelberg, München, 227- 265 (2001)

6. Mathematische Logik (Kaiserslautern)
Das Unternehmen „Mathematische Logik“ verfolgt das Ziel, den aktuellen Wissens-
stand aus dem Bereich der Mathematischen Logik und angrenzender Gebiete zu doku-
mentieren, zu strukturieren und zu repräsentieren sowie das vorhandene Wissen
spezifischen Anforderungen gemäß zugänglich zu machen. Zu diesem Zweck unter-
hält es eine umfassende strukturierte Bibliographie der Literatur aus den genannten
Bereichen und entwickelt Formalismen zur funktionsgerechten Darstellung inhalt-
lichen Wissens.
Mitglieder der Kommission:
die ordentlichen Mitglieder der Akademie Albrecht Dold, Hans Hermes, Klaus Kirch-
gäßner (Vorsitzender), Heinrich-Wolfgang Leopoldt, Dieter Puppe, Peter Roquette;
Prof. Dr. Dieter Maaß, Kaiserslautern; Prof. Dr. Gert H. Müller, Heidelberg.
Leiter der Forschungsstelle: Prof. Dr. Michael M. Richter, Kaiserslautern.
Mitarbeiter: Dr. Wolfgang Lenski, Dr. Elisabeth Wette-Roch.
Die Forschungsstelle hat ihre Stellung in der internationalen Forschungslandschaft im
Berichtsjahr weiter festigen können. Sie verfügt über einen weltweit anerkannten Son-
derstatus als bereichsspezifische Datenbank für das Gebiet der mathematischen Logik,
der mit den relevanten Nachweisdiensten zur Mathematik über ein System von ver-
traglichen Vereinbarungen abgesichert ist.
Die inhaltlichen Angebote der Forschungsstelle orientieren sich an der Zielvorstel-
lung, eine Wissenschaftsdisziplin in ihrer Ganzheit, sowohl in ihrer historischen Ent-
wicklung als auch in ihrer aktuellen Forschung, zu erfassen und den Zugang zu ihren
Inhalten zu ermöglichen. Die praktische Ausgestaltung dieser Vorstellung erfolgt
dabei unter dem Leitgedanken, der Verstreutheit wissenschaftlicher Resultate em Ord-
nungsinstrument entgegen zu stellen, das Orientierung im Gefüge der weltweiten
Informationslandschaft sowie Unterstützung für aktuelle Forschungsfragen bietet.