Crossref indexed
Journal of Symbolic Logic
Published by Cambridge University Press.
ISSN 0022-4812 / 1943-5886
Submit to this journal
01
Aims & scope
Journal of Symbolic 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
SCHNORR RANDOMNESS AND EFFECTIVE BAYESIAN CONSISTENCY AND INCONSISTENCY
DOI 10.1017/jsl.2026.10250 SIMON HUTTEGGER, SEAN WALSH, FRANCESCA ZAFFORA BLANDO · 2026
FIRST-ORDER DISTINGUISHABILITY OF SPARSE RANDOM GRAPHS
DOI 10.1017/jsl.2026.10271 TAL HERSHKO, MAKSIM ZHUKOVSKII · 2026
EXISTENTIALLY CLOSED MODELS AND LOCALLY ZERO-DIMENSIONAL TOPOSES
DOI 10.1017/jsl.2026.10260 MARK KAMSMA, JOSHUA WRIGLEY · 2026
FORMALIZATION OF NON-ARCHIMEDEAN FUNCTIONAL ANALYSIS 1: SPHERICALLY COMPLETE SPACES
DOI 10.1017/jsl.2026.10251 YIJUN YUAN · 2026
RESULTS ON COLORED TREE PROPERTIES
DOI 10.1017/jsl.2026.10257 GABRIEL DAY · 2026
DIAMONDS AND DOMINOES: IMPOSSIBILITY RESULTS FOR ASSOCIATIVE MODAL LOGICS
DOI 10.1017/jsl.2026.10256 SØREN BRINCK KNUDSTORP · 2026
COUNTABLE STATIONARY TOWERS AND REFLECTION PRINCIPLES
DOI 10.1017/jsl.2026.10259 YO MATSUBARA, TOSHIMICHI USUBA · 2026
A NOTE ON UNIFORM CONTINUITY OF MONOTONE FUNCTIONS
DOI 10.1017/jsl.2026.10254 ROMAN POL, PIOTR ZAKRZEWSKI, LYUBOMYR ZDOMSKYY · 2026
EXTENDING CONCEPTUAL COMPLETENESS VIA VIRTUAL ULTRACATEGORIES
DOI 10.1017/jsl.2026.10252 GABRIEL SAADIA · 2026
ON THE CLASSIFICATION OF DEFINABLE CCC FORCING NOTIONS
DOI 10.1017/jsl.2026.10253 MOHAMMAD GOLSHANI, HAIM HOROWITZ, SAHARON SHELAH · 2026
FIBRED SETS WITHIN A PREDICATIVE AND CONSTRUCTIVE EFFECTIVE TOPOS
DOI 10.1017/jsl.2026.10249 CIPRIANO JUNIOR CIOFFO, MARIA EMILIA MAIETTI, SAMUELE MASCHIO · 2026
Journal metrics
Total DOIs14,355
Current DOIs284
Backfile DOIs14,071
Published here0
Publish with us
Five steps, about 15 minutes. You can save and come back at any point.
Submit manuscript