Journal of Mathematical Logic

Journal of Mathematical Logic
Title	Journal of Mathematical Logic
Discipline	Mathematical logic
Language	English
Publisher	Association for Symbolic Logic; International Press of Boston
Country	United States
Frequency	Quarterly
History	2001–present
Issn	0219-0613

Journal of Mathematical Logic The Journal of Mathematical Logic is a peer-reviewed periodical devoted to research in Kurt Gödel-inspired areas such as set theory, model theory, recursion theory, and proof theory. Founded in the early 21st century, it publishes articles connecting technical developments in Alonzo Church-style computability, Georg Cantor-rooted cardinal arithmetic, and David Hilbert-motivated formal systems. The journal serves readers working on problems related to the Continuum Hypothesis, Large Cardinals, Gödel's incompleteness theorems, and interactions with descriptive set theory.

History

The journal was established in 2001 with ties to organizations such as the Association for Symbolic Logic and the International Press of Boston. Early contributors included figures associated with institutions like Princeton University, University of California, Berkeley, University of Oxford, and Université Paris-Sud. Its inception followed a period of expansion in outlets that publish work influenced by milestones like Kurt Gödel's 1931 paper, Andrey Kolmogorov's contributions to probability and algorithmic complexity, and the rise of modern computability theory linked to Alan Turing and Emil Post. The journal's development intersected with conferences and workshops such as the International Congress of Mathematicians and meetings organized by the European Summer School in Logic, Language and Information.

Scope and Content

The journal emphasizes original research across topics historically connected to figures including Bertrand Russell, Alfred Tarski, Haskell Curry, Gerard 't Hooft-adjacent logic applications, and later developments inspired by Saharon Shelah. Core subjects include model theory work tracing back to Abraham Robinson, advances in proof theory linked to Gerhard Gentzen, and developments in recursion theory following Stephen Kleene. It also publishes results on set theory influenced by Paul Cohen's forcing method, interactions with category theory as in the tradition of Saunders Mac Lane, and applications touching on areas associated with John von Neumann and Emmy Noether. The journal regularly features contributions dealing with problems related to Martin's Axiom, Determinacy axioms, Feferman–Levy model-type constructions, and structural results in o-minimality.

Editorial Board and Publication Details

Editorial responsibilities have been held by scholars connected to departments at Massachusetts Institute of Technology, Harvard University, Stanford University, University of Cambridge, and University of Chicago. The board typically comprises editors with research profiles that include work cited alongside names such as Harvey Friedman, Dana Scott, Wilfrid Hodges, and John Baldwin. Publication logistics are managed jointly by the Association for Symbolic Logic and the International Press of Boston, while printing and distribution channels historically involved partnerships with publishing houses known to collaborate with scholarly societies such as the American Mathematical Society and Springer Science+Business Media in broader contexts. Issues appear on a quarterly schedule and include original articles, occasional surveys, and problem lists reflecting concerns raised at events like the Symposium on Mathematical Logic.

Abstracting and Indexing

The journal is indexed in major services that catalog mathematical literature associated with institutions and databases referencing work from archives like Mathematical Reviews and Zentralblatt MATH. Its contents are discoverable via academic platforms linked to libraries at Library of Congress, aggregation services utilized by JSTOR-subscribing institutions, and indexing systems employed by repositories associated with arXiv preprints. Citation tracking places journal items in databases used by researchers connected to Scopus-indexed journals and listings in resources maintained by the Institute for Scientific Information.

Notable Articles and Impact

Selected papers published in the journal have advanced themes related to breakthroughs by researchers whose names appear in literature alongside Saharon Shelah, W. Hugh Woodin, Stevo Todorcevic, Menachem Magidor, and Paul Larson. Influence is seen in subsequent work engaging with the Continuum Hypothesis, Woodin cardinals, forcing axioms comparable to Martin's Axiom, and structural model-theoretic classifications that build on Morley’s theorem and Shelah's classification theory. The journal's articles have been cited in monographs and research appearing from presses associated with Cambridge University Press, Oxford University Press, and series produced by the American Mathematical Society.

Access and Subscription Options

Access is available through institutional subscriptions held by universities such as Columbia University, Yale University, University of California system, and national libraries including the British Library. Individual subscriptions can be arranged via the Association for Symbolic Logic membership channels and through the International Press of Boston's subscription services. Researchers commonly access articles via interlibrary loan services coordinated by consortia like the Research Libraries Group and digital archives maintained by organizations including the Mathematical Sciences Publishers community.

Category:Mathematics journals Category:Logic journals