Mathematische Logik
167
im Bereich der mathematischen Logik vor, der jedoch, gemäß den Interessen der For-
schungsstelle, auch in enger Zusammenarbeit mit dem Zentralblatt für Mathematik
und ihre Grenzgebiete/Mathematics Abstracts betrieben werden soll. Insgesamt soll
mit diesem Programm unter der Federführung der Forschungsstelle eine Wissen-
schaftsdisziplin vollständig erschlossen und dargestellt werden, dessen Angebot für
die wissenschaftliche Öffentlichkeit alle weltweit verfügbaren Daten einschließt und
in einer weiteren geplanten Aufbaustufe über einen reinen Literaturaufweis hinaus
zugleich einen zentralen Zugang zu den jeweiligen Inhalten ermöglicht.
Im Berichtsjahr wurden nun die ersten konkreten Schritte für die Umsetzung der
vertraglichen Vereinbarungen mit den Mathematical Reviews unternommen. Dies
betrifft auf der untersten Ebene zunächst den Datenaustausch. Nach Klärung der tech-
nischen Vorbedingungen und Gegebenheiten erhält die Forschungsstelle nun parallel
zum Erstellungszeitpunkt der gedruckten Versionen der Mathematical Reviews und
zusätzlich auch der Current Mathematical Publications Literaturzitate in vorstruktu-
rierter Form, aus denen die Forschungsstelle dann die zur mathematischen Logik
gehörigen Daten auswählt. Darüber hinaus erfolgte eine einmalige Nachlieferung der
zwischenzeitlich aufgelaufenen Rückstände in dem vereinbarten Format. Da es sich
um Daten handelt, die in ihrer Struktur den Einteilungen der Mathematical Reviews,
nicht jedoch den weiter reichenden der Forschungsstelle entsprechen, bleibt neben der
inhaltlichen Bewertung und nachfolgenden Auswahl der Arbeiten prinzipiell noch
eine aufwändige Nachbearbeitung der Datensätze vor ihrer Überführung in die
Bestände der Forschungsstelle zu leisten.
Die eigentlich bereits vorgesehene Integration des Informationssystems in die Aus-
kunftsdienste der European Mathematical Society zusammen mit dem Zentralblatt für
Mathematik und ihre Grenzgebiete/Mathematics Abstracts wurde unter Berücksichti-
gung der getroffenen Vereinbarungen mit den Mathematical Reviews zunächst ausge-
setzt, bis nach Aufarbeitung der erhaltenen Daten ein Dienst auf der Basis eines kon-
solidierten Datenbestandes angeboten werden kann. Dieser wird für das Folgejahr
erwartet.
Die Zusammenarbeit mit dem chinesischen Referateorgan Zhongguo Shuxue Wenz-
hai wurde auch im Berichtsjahr fort geführt. Für die Verarbeitung der von der chine-
sischen Seite gelieferten Roh-Daten bestanden jedoch auch im Berichtsjahr noch
Erschwernisse insofern, als die Daten weiterhin nicht in geschlossener Form zur Ver-
fügung gestellt werden konnten. Das damit notwendigerweise einher gehende sowohl
arbeits- als auch zeitaufwändige zweistufige Verfahren, bei dem durch die Mitarbeit
von Professor Ding Decheng (Nanjing) eine Nachbearbeitung der Daten erfolgt, soll
zukünftig durch weiter reichende Aufbereitungen des Datenmaterials auf Seiten des
Zhongguo Shuxue Wenzhai ersetzt werden. Eine entsprechende Ausweitung der Vor-
leistungen der chinesischen Seite durch das Documentation and Information Center
der Chinesischen Akademie der Wissenschaften in Beijing wurde gegen Ende des
Berichtsjahres avisiert. Herr Professor Ding wird jedoch für die Klärung auftretender
Fragen sowie die Ermittlung zusätzlichen Datenmaterials der Forschungsstelle wei-
terhin zur Verfügung stehen.
Für den Abgleich bibliographischer Daten mit dem russischen Referateorgan Refe-
rativny] Zhurnal Matematika wurde das bisher übliche Verfahren auch im Berichtsjahr
weiter geführt. Dieses erfordert jedoch aufgrund der spezifischen Gegebenheiten
betreffend die Verfügbarkeit adäquater Erschließungswerkzeuge weiterhin einen sehr
167
im Bereich der mathematischen Logik vor, der jedoch, gemäß den Interessen der For-
schungsstelle, auch in enger Zusammenarbeit mit dem Zentralblatt für Mathematik
und ihre Grenzgebiete/Mathematics Abstracts betrieben werden soll. Insgesamt soll
mit diesem Programm unter der Federführung der Forschungsstelle eine Wissen-
schaftsdisziplin vollständig erschlossen und dargestellt werden, dessen Angebot für
die wissenschaftliche Öffentlichkeit alle weltweit verfügbaren Daten einschließt und
in einer weiteren geplanten Aufbaustufe über einen reinen Literaturaufweis hinaus
zugleich einen zentralen Zugang zu den jeweiligen Inhalten ermöglicht.
Im Berichtsjahr wurden nun die ersten konkreten Schritte für die Umsetzung der
vertraglichen Vereinbarungen mit den Mathematical Reviews unternommen. Dies
betrifft auf der untersten Ebene zunächst den Datenaustausch. Nach Klärung der tech-
nischen Vorbedingungen und Gegebenheiten erhält die Forschungsstelle nun parallel
zum Erstellungszeitpunkt der gedruckten Versionen der Mathematical Reviews und
zusätzlich auch der Current Mathematical Publications Literaturzitate in vorstruktu-
rierter Form, aus denen die Forschungsstelle dann die zur mathematischen Logik
gehörigen Daten auswählt. Darüber hinaus erfolgte eine einmalige Nachlieferung der
zwischenzeitlich aufgelaufenen Rückstände in dem vereinbarten Format. Da es sich
um Daten handelt, die in ihrer Struktur den Einteilungen der Mathematical Reviews,
nicht jedoch den weiter reichenden der Forschungsstelle entsprechen, bleibt neben der
inhaltlichen Bewertung und nachfolgenden Auswahl der Arbeiten prinzipiell noch
eine aufwändige Nachbearbeitung der Datensätze vor ihrer Überführung in die
Bestände der Forschungsstelle zu leisten.
Die eigentlich bereits vorgesehene Integration des Informationssystems in die Aus-
kunftsdienste der European Mathematical Society zusammen mit dem Zentralblatt für
Mathematik und ihre Grenzgebiete/Mathematics Abstracts wurde unter Berücksichti-
gung der getroffenen Vereinbarungen mit den Mathematical Reviews zunächst ausge-
setzt, bis nach Aufarbeitung der erhaltenen Daten ein Dienst auf der Basis eines kon-
solidierten Datenbestandes angeboten werden kann. Dieser wird für das Folgejahr
erwartet.
Die Zusammenarbeit mit dem chinesischen Referateorgan Zhongguo Shuxue Wenz-
hai wurde auch im Berichtsjahr fort geführt. Für die Verarbeitung der von der chine-
sischen Seite gelieferten Roh-Daten bestanden jedoch auch im Berichtsjahr noch
Erschwernisse insofern, als die Daten weiterhin nicht in geschlossener Form zur Ver-
fügung gestellt werden konnten. Das damit notwendigerweise einher gehende sowohl
arbeits- als auch zeitaufwändige zweistufige Verfahren, bei dem durch die Mitarbeit
von Professor Ding Decheng (Nanjing) eine Nachbearbeitung der Daten erfolgt, soll
zukünftig durch weiter reichende Aufbereitungen des Datenmaterials auf Seiten des
Zhongguo Shuxue Wenzhai ersetzt werden. Eine entsprechende Ausweitung der Vor-
leistungen der chinesischen Seite durch das Documentation and Information Center
der Chinesischen Akademie der Wissenschaften in Beijing wurde gegen Ende des
Berichtsjahres avisiert. Herr Professor Ding wird jedoch für die Klärung auftretender
Fragen sowie die Ermittlung zusätzlichen Datenmaterials der Forschungsstelle wei-
terhin zur Verfügung stehen.
Für den Abgleich bibliographischer Daten mit dem russischen Referateorgan Refe-
rativny] Zhurnal Matematika wurde das bisher übliche Verfahren auch im Berichtsjahr
weiter geführt. Dieses erfordert jedoch aufgrund der spezifischen Gegebenheiten
betreffend die Verfügbarkeit adäquater Erschließungswerkzeuge weiterhin einen sehr