The “Mathematical Logic” project aimed to document, structure, and represent the current state of knowledge in the field of mathematical logic and related areas in its full breadth and depth, as well as to make this knowledge accessible in accordance with specific requirements. For this field of science, the aim was to counter the ever-growing volume of publications and the increasing dispersion of scientific results with a unifying organizational tool designed to preserve the entire body of knowledge in this field from its origins and to make its contents available.

To this end, the company maintained a comprehensive, structured bibliography of literature in the aforementioned fields and developed formalisms for the functional representation of substantive knowledge, enabling specific information retrieval and dissemination. In doing so, the six-volume bibliography of logic published in 1987 was updated and expanded into a publicly accessible information system for mathematical logic (https://www.math-logic.org), which centrally coordinated and processed the resources available worldwide.

The documented literature was classified according to the classification scheme for mathematical logic developed at the research center, which essentially became the logic section of the internationally accepted comprehensive Mathematical Subject Classification Scheme (MSC 2000). The literature was also organized structurally and was to be further cataloged based on a more in-depth conceptual understanding of the field.

This work represents an attempt to comprehensively capture an academic discipline and to provide access to its content. However, given the foundational nature of mathematical logic, this approach extends far beyond the boundaries of the field itself.

Chairman of the Commission

Prof. Dr. Klaus Kirchgäßner

head of research

Prof. Dr. Michael M. Richter

staff

Dr. Wolfgang Lenski