Journal Report

JOURNAL OF SYMBOLIC LOGIC

Download PDF
Journal Information
Journal Title
JOURNAL OF SYMBOLIC LOGIC
Publisher
CAMBRIDGE UNIV PRESS
ISSN
0022-4812
E-ISSN
1943-5886
Database
Clarivate
Domain
Physical Sciences, Social Sciences
Classification History
Year A+ A B C
2026 ✓ ✓
2025 ✓ ✓
2024 ✓ ✓
2023 ✓ ✓
2021/2022 ✓ ✓
2020 ✓ ✓
2019 ✓ ✓
2018 ✓
A journal may have more than one classification in the same year. All recorded classifications are displayed.
Recent Articles
COMPUTABLE ASPECTS OF THE LAVER PARTITION THEOREM
ALBERTO MARCONE, GIAN MARCO OSSO
2026-11-3 Pages 1-21
DOI: 10.1017/jsl.2026.10275
THE COMPLEXITY OF CONNECTEDNESS RELATIONS ON POLISH SPACES
MICHAL HEVESSY, YUSUF UYAR, BENJAMIN VEJNAR
2026-11-3 Pages 1-19
DOI: 10.1017/jsl.2026.10274
The automorphism group of countable recursively saturated models of Peano arithmetic and strong cuts
Saeideh Bahrami
2026-11-3 Pages 1-34
DOI: 10.1017/jsl.2026.10276
FINITE AXIOMATIZATION OF <mml:math xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mnf="http://cambridge.org/core/manifest" xmlns:cup="http://contentservices.cambridge.org" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:m="http://cambridge.org/core/metadata" xmlns:core="http://cambridge.org/core" xmlns:c="http://cambridge.org/core/content" display="inline"> <mml:mrow> <mml:mi mathvariant="bold">Grz</mml:mi> </mml:mrow> <mml:mo>×</mml:mo> <mml:mrow> <mml:mi mathvariant="bold">S</mml:mi> <mml:mn mathvariant="bold">5</mml:mn> </mml:mrow> </mml:math> $\mathbf {Grz}\times \mathbf {S5}$ bold upper G r z times bold upper S Baseline bold 5 AND <mml:math xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mnf="http://cambridge.org/core/manifest" xmlns:cup="http://contentservices.cambridge.org" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:m="http://cambridge.org/core/metadata" xmlns:core="http://cambridge.org/core" xmlns:c="http://cambridge.org/core/content" display="inline"> <mml:mrow> <mml:mi mathvariant="bold">GL</mml:mi> </mml:mrow> <mml:mo>×</mml:mo> <mml:mrow> <mml:mi mathvariant="bold">S</mml:mi> <mml:mn mathvariant="bold">5</mml:mn> </mml:mrow> </mml:math> $\mathbf {GL}\times \mathbf {S5}$ bold upper G upper L times bold upper S Baseline bold 5
GURAM BEZHANISHVILI, MASHIATH KHAN
2026-11-3 Pages 1-30
DOI: 10.1017/jsl.2026.10255
EMBEDDINGS INTO THE GENERIC POSET
ALEKSANDRA KWIATKOWSKA, ROB SULLIVAN, JEROEN WINKEL
2026-10-30 Pages 1-21
DOI: 10.1017/jsl.2026.10262
DUALITY THEORY FOR CATEGORICAL THEORIES
LINGYUAN YE
2026-10-30 Pages 1-19
DOI: 10.1017/jsl.2026.10278
DECIDABILITY OF SOME COMPLICATED STRUCTURES DEFINABLE IN math script C T$\mathbb{C}(T)$
THOMAS SCANLON
2026-10-30 Pages 1-15
DOI: 10.1017/jsl.2026.10279
LOCAL DEFINABILITY OF <mml:math xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mnf="http://cambridge.org/core/manifest" xmlns:cup="http://contentservices.cambridge.org" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:m="http://cambridge.org/core/metadata" xmlns:core="http://cambridge.org/core" xmlns:c="http://cambridge.org/core/content" display="inline"> <mml:mrow> <mml:mi mathvariant="sans-serif">HOD</mml:mi> </mml:mrow> </mml:math> $\mathsf {HOD}$ sans serif upper H upper O upper D IN <mml:math xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mnf="http://cambridge.org/core/manifest" xmlns:cup="http://contentservices.cambridge.org" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:m="http://cambridge.org/core/metadata" xmlns:core="http://cambridge.org/core" xmlns:c="http://cambridge.org/core/content" display="inline"> <mml:mi>L</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:mrow> <mml:mi mathvariant="double-struck">R</mml:mi> </mml:mrow> <mml:mo stretchy="false">)</mml:mo> </mml:math> $L(\mathbb {R})$ upper L left parenthesis double struck upper R right parenthesis
OBRAD KASUM
2026-10-27 Pages 1-43
DOI: 10.1017/jsl.2026.10261
SCHNORR RANDOMNESS AND EFFECTIVE BAYESIAN CONSISTENCY AND INCONSISTENCY
SIMON HUTTEGGER, SEAN WALSH, FRANCESCA ZAFFORA BLANDO
2026-10-27 Pages 1-34
DOI: 10.1017/jsl.2026.10250
FIRST-ORDER DISTINGUISHABILITY OF SPARSE RANDOM GRAPHS
TAL HERSHKO, MAKSIM ZHUKOVSKII
2026-10-26 Pages 1-56
DOI: 10.1017/jsl.2026.10271
Articles retrieved from Crossref.
Green Journals | https://www.green-journals.com | info@green-journals.com
Printed: November 5, 2026 23:40