Crossref indexed
Archive for Mathematical Logic
Published by Springer-Verlag.
ISSN 0933-5846 / 1432-0665
Submit to this journal
01
Aims & scope
Archive for Mathematical Logic publishes peer-reviewed research. Manuscripts pass a technical check and a scope check by the handling editor before going to independent reviewers.
02
Recently published
A refinement of the McCreight-Meyer union theorem
DOI 10.1007/s00153-026-01036-0 Matthew Fox, Chaitanya Karamchedu · 2026
A finite algebraic target theorem for Kreisel’s conjecture
DOI 10.1007/s00153-026-01029-z Mario Piazza · 2026
Herbrand’s Theorem: a short statement and a model-theoretic proof
DOI 10.1007/s00153-026-01035-1 Mariana Badano · 2026
Unravelling cyclic first-order arithmetic
DOI 10.1007/s00153-026-01030-6 Graham E. Leigh, Dominik Wehr · 2026
Fragments of some subintuitionistic logics
DOI 10.1007/s00153-026-01031-5 Fatemeh Shirmohammadzadeh Maleki, Dick de Jongh · 2026
Infinitary negative translations and Glivenko logic
DOI 10.1007/s00153-026-01028-0 Giacomo Bartoli, Giulio Fellin, Matteo Tesi · 2026
Homogeneity and orders between ideals
DOI 10.1007/s00153-026-01032-4 Krzysztof Kowitz, Jacek Tryba · 2026
Cantor’s theorem for partitions whose members have a bounded size
DOI 10.1007/s00153-026-01033-3 Pornrak Tangangkoon, Pimpen Vejjajiva · 2026
Partitions and Finite-to-One Maps
DOI 10.1007/s00153-026-01034-2 Supakun Panasawatwong, Pimpen Vejjajiva · 2026
Intuitionistic logic of a binary modality
DOI 10.1007/s00153-026-01025-3 Michael Kaminski · 2026
Canonical reconstruction and forcing absoluteness of standard structures
DOI 10.1007/s00153-026-01026-2 Tomasz Kania · 2026
On some subtheories of strong dependent choice
DOI 10.1007/s00153-026-01023-5 Juan P. Aguilera, Yudai Suzuki, Keita Yokoyama · 2026
Journal metrics
Total DOIs2,027
Current DOIs131
Backfile DOIs1,896
Published here0
Publish with us
Five steps, about 15 minutes. You can save and come back at any point.
Submit manuscript