Archive for Mathematical Logic

Archive for Mathematical Logic (commonly abbreviated as ''Arch. Math. Log.', CODEN AMLOEH) is a peer-reviewed academic journal in mathematical logic published by Springer, appearing 8 times per year. It carries research papers in mathematical logic and occasionally surveys or expositions, with manuscripts written primarily in English.Archive for Mathematical Logic（常用缩写 Arch. Math. Log.，CODEN 为 AMLOEH）是由施普林格（Springer）出版的数学逻辑领域同行评审学术期刊，每年出 8 期，刊载数理逻辑的研究论文，并不定期刊载综述或阐释性文章，稿件以英文为主。

Scope

According to the aims published by the publisher, the journal was founded in 1950 and publishes research papers in mathematical logic, along with occasional surveys and expositions. Contributions are also welcomed from related areas such as theoretical computer science or philosophy as long as the methods of mathematical logic play a significant role, so the journal addresses logicians and mathematicians, computer scientists, and philosophers interested in the applications of mathematical logic.根据出版商公布的办刊宗旨，该刊于 1950 年创刊，刊发数理逻辑方面的研究论文，并不定期刊发综述与阐释文章；只要数理逻辑的方法在其中起显著作用，理论计算机科学与哲学等相关领域的投稿同样受到欢迎，因此其读者群涵盖逻辑学家、数学家、计算机科学家以及关注数理逻辑应用的哲学家。^[1]

• Model theory: research on the relationship between formal languages and their models, covering elementary equivalence, ultraproducts, stability theory, and the model theory of algebraic structures such as fields and groups.模型论： 刊载关于形式语言与其模型之间关系的研究，涵盖初等等价、超积、稳定性理论以及域与群等代数结构的模型论分析。
• Proof theory: the structure and properties of formal systems, including cut elimination, ordinal analysis, the extraction of computational content from non-constructive proofs, and proof-theoretic studies of arithmetic and set-theoretic systems.证明论： 关注形式系统的结构与性质，包括消去割定理、序数分析、从非构造性证明中提取计算内容，以及算术与各类集合论系统的证明论研究。
• Set theory: work on Zermelo-Fraenkel set theory, the axiom of choice, cardinal arithmetic, descriptive set theory and large cardinal theory, including independence proofs and results obtained by forcing.集合论： 涉及策梅洛-弗兰克尔集合论、公理选择、基数运算、描述集合论以及大基数理论，并刊发独立性证明与强迫方法的相关成果。
• Recursion theory and computability: results on Turing degrees, recursive functions, algorithmic randomness, reverse mathematics, and the theory of computability on structures other than the natural numbers.递归论与可计算性： 刊发图灵度、递归函数、算法随机性、反向数学以及自然数之外结构上可计算性理论方面的成果。
• Interdisciplinary directions: theoretical computer science, logical aspects of databases and automated reasoning, computational complexity, and the logical foundations of mathematics are all in scope provided that the methods of mathematical logic play a significant role.交叉与跨学科方向： 只要数理逻辑的方法起显著作用，理论计算机科学、逻辑数据库与自动推理、计算复杂性以及数学的逻辑基础等方向均在收稿之列。

It follows that the journal's selection logic rests on the core branches of mathematical logic while remaining open to neighbouring disciplines in which logical methods play a substantive role. This also explains why the journal has long maintained a relatively compact volume and a stable, specialised orientation rather than pursuing breadth of coverage.由此可见，该刊的取材逻辑是以数理逻辑的核心分支为主干，同时向逻辑方法具有实质作用的邻近学科开放；这也解释了它为何长期维持相对精干的篇幅与稳定的专精定位，而非追求学科覆盖的宽度。

History

• 1950: the journal was founded under its initial German title Archiv für mathematische Logik und Grundlagenforschung, with the first volume appearing in 1950.1950年： 创刊，初始刊名为德文 Archiv für mathematische Logik und Grundlagenforschung（数学逻辑与基础研究档案），首卷于 1950 年出版。
• 1950 to 1987: publication continued under the German title through volume 26, with early content concentrating on foundational questions such as proof theory and ordinal analysis, providing a steady venue for the logic community.1950年至1987年： 以德文刊名持续出版至第 26 卷，早期内容侧重证明论与序数理论等基础问题，为逻辑学界提供了稳定的发表场所。
• March 1988: from volume 27, issue 1 onward the journal adopted its present English title Archive for Mathematical Logic, completing its international transition as English became the lingua franca of scholarship.1988年3月： 自第 27 卷第 1 期起改用现名 Archive for Mathematical Logic，随英文成为学术通用语言而完成国际化转型。
• 2009: Ralf Schindler succeeded Wolfram Pohlers as Editor-in-Chief, after which the journal's research focus shifted more towards contemporary topics such as inner models and large cardinals.2009年： Ralf Schindler 接任主编，此前由 Wolfram Pohlers 担任主编，期刊的研究重心此后更多指向内模型与大基数等当代议题。
• Indexing and ranking: the journal is indexed in SCIE and classified in JCR under mathematics in the Q3 quartile. In the Chinese Academy of Sciences journal ranking it places in the fourth tier of the mathematics major and the fourth tier of the logic subcategory, and the latest assessment records no warning.收录与分区： 该刊被 SCIE（科学引文索引扩展版）收录，JCR 学科分类为数学，位列 Q3；在中国科学院期刊分区中位于数学大类 4 区，逻辑学小类亦为 4 区，最新评估未见预警记录。

Editors

The journal has one Editor-in-Chief supported by a number of editorial board members. Manuscripts are peer-reviewed, with final acceptance decided by the Editor-in-Chief. The journal follows the guidelines of the Committee on Publication Ethics and requires authors and editors to disclose competing interests.期刊设主编（Editor-in-Chief）一人，另有编委成员若干，稿件经同行评审后由主编决定录用；期刊遵循出版伦理委员会（COPE）准则，并要求作者与编委披露利益冲突。

• Ralf Schindler is the current Editor-in-Chief, working in set theory, specifically inner model theory and the theory of forcing axioms, and based at the University of Münster in Germany.Ralf Schindler：现任主编，研究方向为集合论，特别是内模型理论与强迫公理理论，供职于明斯特大学（德国）。
• Wolfram Pohlers is a former Editor-in-Chief, under whose tenure the journal became noted for work in proof-theoretic ordinal analysis and infinitary proof systems.Wolfram Pohlers：曾任主编，任职期间期刊以证明论的序数分析与无穷证明系统的成果见长。
• The full editorial board and recent board changes are listed on the journal's official website.完整编委会名单与近期编委变动见期刊官网。^[2]