Green Journals

Year	A	B
2026	✓	✓
2025	✓	✓
2024	✓	✓
2023	✓	✓
2021/2022	✓	✓
2020	✓	✓
2019	✓	✓
2018	✓

SOME RESULTS ON THE REVERSE MATHEMATICS OF FINITE BETTER QUASI-ORDERS

DAVIDE MANCA

2026-11-6 Pages 1-40

DOI: 10.1017/jsl.2026.10272

MODELING FO-LIMITS FOR MONADICALLY STABLE SEQUENCES

SAMUEL BRAUNFELD, JAROSLAV NEŠETŘIL, PATRICE OSSONA DE MENDEZ

2026-11-6 Pages 1-24

DOI: 10.1017/jsl.2026.10273

RECURSIVELY PROVABLE DILATORS

JUAN AGUILERA, ANTON FREUND, FEDOR PAKHOMOV

2026-11-6 Pages 1-12

DOI: 10.1017/jsl.2026.10258

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

Journal Report

Journal Information

Classification History

Recent Articles