Mathematische Logik

217

Die weitere Konkretisierung dieser Vorgabe erfordert auf der obersten Ebene
zunächst die Integration aller weltweit angebotenen Dienste in einen zentralen Aus-
kunftsdienst. Die etablierte Zusammenarbeit des Unternehmens mit den Referateor-
ganen sichert hierfür das Fundament.
Die Forschungsstelle bekommt gemäß den bereits im Vorjahr getroffenen techni-
schen Vereinbarungen die aktuellen Ergänzungen der Mathematical Reviews sowie
der Current Mathematical Puhlications je in deren eigenem Datenbank-Format, das in
einem nachfolgenden Verarbeitungsschritt in die Struktureinteilung der Bibliographie
unter Beachtung der dabei vorgenommenen Normierungen übersetzt werden muss.
Ein vergleichbarer Austausch findet auch weiterhin mit dem Zentralblatt für
Mathematik und ihre Grenzgebiete/Mathematics Abstracts statt. Eine engere Verzah-
nung speziell mit den Auskunftsdiensten EMIS der European Mathematical Society ist
vorgesehen und soll durch einen Systemwechsel bei der technischen Basis ermöglicht
werden. Der hierfür nötige Ausbau wurde gegen Ende des Berichtsjahres technisch
vorbereitet.
Eine direkte Kooperation mit den russischen Referativnyj Zhurnal Matematika
konnte bislang nicht erreicht werden. Als funktional gleichwertigen Ersatz baut die
Forschungsstelle in der Konsequenz weiterhin auf die Zusammenarbeit mit Professor
Nikolai Nagorny vom Rechenzentrum der Russischen Akademie der Wissenschaften
in Moskau. Dieser erarbeitet nach Vorgaben der Forschungsstelle die Referenzen zu
den Referativnyj und erbringt zusätzliche Arbeiten durch die Ermittlung neuer Lite-
ratur sowie durch eine Fehler- und Bestands-Kontrolle auch für die weiter zurück lie-
genden Publikationen. Ein Arbeitsbesuch von Prof. Nagorny im März des Berichts-
jahres diente dabei zur genaueren Abstimmung der zu leistenden Aufgaben sowie der
Planung des weiteren Vorgehens.
Die elektronischen Daten des chinesischen Zhongguo Shuxue Wenzhai können der
Forschungsstelle leider nach wie vor nur ohne Referenz auf die Print-Versionen zur
Verfügung gestellt werden, so dass die diesbezügliche Nachbearbeitung durch Profes-
sor Ding Decheng, Nanjing, unverzichtbar bleibt. Insgesamt verlief die Zusammenar-
beit mit den auswärtigen Experten auch im Berichtsjahr reibungslos.
Die inhaltliche Erschließung des Jahrbuch über die Fortschritte der Mathematik
(1868-1942) ist auch im Berichtsjahr weiter fortgeschritten, so dass vermehrt Arbeiten
aus der mathematischen Logik zur Verfügung stehen. Neben der vollständigen elek-
tronischen Erfassung und Darstellung des Jahrbuchs selbst sollen innerhalb des von
der DFG finanzierten Projektes auch für die Wissenschaftsentwicklung einer Diszi-
plin bedeutsame Publikationen erfasst und elektronisch zur Verfügung gestellt wer-
den. Für das Gebiet der mathematischen Logik ist jedoch vorgesehen, alle Publikatio-
nen elektronisch zu erfassen und zur Verfügung zu stellen. Leitende Zielvorstellung ist
dabei die Idee einer vollständigen, digitalen Bibliothek der Schriften der mathemati-
schen Logik aus der Phase ihrer Herausbildung zu einer eigenständigen mathemati-
schen Disziplin. Eine entsprechende Vereinbarung mit der Staats- und Universitäts-
bibliothek Göttingen, die für die Digitalisierung federführend ist, wurde im Berichts-
jahr getroffen.
Uber die Integration der Metadaten-Dienste hinaus gehend, wurde das Angebot
von on-line verfügbaren Inhalten weiter ausgebaut. Betreffend die neuere Literatur
wurden die für die mathematische Logik relevanten Zeitschriften mit der Logik-
Bibliographie vernetzt und die darin erschienenen Logik-Beiträge ausgewiesen. Dies