Journal Report

Bulletin of Symbolic Logic

Download PDF
Journal Information
Journal Title
Bulletin of Symbolic Logic
Publisher
ISSN
1943-5894
E-ISSN
1079-8986
Database
ERIH PLUS
Domain
Health Sciences, Life Sciences, 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
O <scp>wain</scp> G <scp>riffin</scp> . <b> <i>On the Uniqueness and Determinacy of the Standard Model of Arithmetic</i> </b> . The Ohio State University. 2026. Supervised by Stewart Shapiro. MSC: 00A30, 03A05, 03A10. Keywords: philosophy of mathematics, non-standard models, model theory.
2026-10-26 Pages 1-1
DOI: 10.1017/bsl.2026.10171
O <scp>tto</scp> R <scp>ajala</scp> . <b> <i>An Inner Model from Stationary Logic and the Next Admissible Set</i> </b> . 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.
2026-10-26 Pages 1-1
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-10-21 Pages 1-27
DOI: 10.1017/bsl.2026.10185
MODEL THEORY OF HILBERT SPACES EXPANDED BY NORMAL OPERATORS
ALEXANDER BERENSTEIN, NICOLAS CUERVO OVALLE, ISAAC GOLDBRING
2026-10-16 Pages 1-36
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-10-15 Pages 1-34
DOI: 10.1017/bsl.2026.10175
WELL-QUASI-ORDERS ON FINITE TREES AND TRANSFINITE SEQUENCES
ALAKH DHRUV CHOPRA, FEDOR PAKHOMOV
2026-9-30 Pages 1-33
DOI: 10.1017/bsl.2026.10172
APPROXIMATION THEORY AND ELEMENTARY SUBMODELS
SEAN COX
2026-9-29 Pages 1-45
DOI: 10.1017/bsl.2026.10173
J <scp>an</scp> K <scp>ruschewski</scp> . <b> <i>Inner Model Theory and Kripke–Platek Set Theory</i> </b> . 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.
2026-9-23 Pages 1-2
DOI: 10.1017/bsl.2026.10167
BSL volume 32 issue 3 Cover and Back matter
2026-9 Vol. 32 Issue 3 Pages b1-b2
DOI: 10.1017/bsl.2025.10099
BSL volume 32 issue 3 Cover and Front matter
2026-9 Vol. 32 Issue 3 Pages f1-f3
DOI: 10.1017/bsl.2025.10098
Articles retrieved from Crossref.
Green Journals | https://www.green-journals.com | info@green-journals.com
Printed: October 28, 2026 05:11