Crossref indexed

Bulletin of Symbolic Logic

Published by Cambridge University Press.

ISSN 1079-8986 / 1943-5894

Aims & scope

Bulletin 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.

Recently published

O <scp>wain</scp> G <scp>riffin</scp> . On the Uniqueness and Determinacy of the Standard Model of Arithmetic . The Ohio State University. 2026. Supervised by Stewart Shapiro. MSC: 00A30, 03A05, 03A10. Keywords: philosophy of mathematics, non-standard models, model theory.

Authors not listed · 2026

DOI 10.1017/bsl.2026.10171

O <scp>tto</scp> R <scp>ajala</scp> . An Inner Model from Stationary Logic and the Next Admissible Set . University of Helsinki. 2025. Supervised by Juliette Kennedy and Jouko Väänänen. MSC: 03E45, 03E47, 03E50. Keywords: Inner models, extended constructibility, stationary logic, Continuum Hypothesis.

Authors not listed · 2026

DOI 10.1017/bsl.2026.10160

RESEARCH ON THE BOREL REDUCIBILITY AMONG EQUIVALENCE RELATIONS <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>E</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:mi>G</mml:mi> <mml:mo stretchy="false">)</mml:mo> </mml:math> $E(G)$ upper E left parenthesis upper G right parenthesis

LONGYUN DING, YANG ZHENG · 2026

DOI 10.1017/bsl.2026.10185

MODEL THEORY OF HILBERT SPACES EXPANDED BY NORMAL OPERATORS

ALEXANDER BERENSTEIN, NICOLAS CUERVO OVALLE, ISAAC GOLDBRING · 2026

DOI 10.1017/bsl.2026.10176

PROOF-THEORETIC RELATIONS BETWEEN HIGMAN’S AND KRUSKAL’S THEOREM, AND INDEPENDENCE RESULTS FOR TREE-LIKE STRUCTURES

GABRIELE BURIOLA, ANDREAS WEIERMANN · 2026

DOI 10.1017/bsl.2026.10175

WELL-QUASI-ORDERS ON FINITE TREES AND TRANSFINITE SEQUENCES

ALAKH DHRUV CHOPRA, FEDOR PAKHOMOV · 2026

DOI 10.1017/bsl.2026.10172

APPROXIMATION THEORY AND ELEMENTARY SUBMODELS

SEAN COX · 2026

DOI 10.1017/bsl.2026.10173

J <scp>an</scp> K <scp>ruschewski</scp> . Inner Model Theory and Kripke–Platek Set Theory . Universität Münster. 2025. Supervised by Farmer Schlutzenberg. MSC: Primary 03E45, Secondary 03E55, 03D60. Keywords: inner model theory, admissibility, mouse, Kripke–Platek set theory, constructibility, HOD, set-theoretic geology, Woodin cardinal, determinacy.

Authors not listed · 2026

DOI 10.1017/bsl.2026.10167

BSL volume 32 issue 3 Cover and Back matter

Authors not listed · 2026

DOI 10.1017/bsl.2025.10099

BSL volume 32 issue 3 Cover and Front matter

Authors not listed · 2026

DOI 10.1017/bsl.2025.10098

NOTICES

Authors not listed · 2026

DOI 10.1017/bsl.2026.10162

2025 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2025 Technische Universität Wien Vienna, Austria July 7–11, 2025

Authors not listed · 2026

DOI 10.1017/bsl.2025.10131

Journal metrics

Total DOIs1,867

Current DOIs155

Backfile DOIs1,712

Published here0

Publish with us

Five steps, about 15 minutes. You can save and come back at any point.

Submit manuscript