Bulletin of Symbolic Logic

Papers
(The median citation count of Bulletin of Symbolic Logic is 0. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2022-08-01 to 2026-08-01.)
ArticleCitations
2022 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC WITH THE APA Palmer House, Chicago, IL Central APA Meeting February 24, 202225
CONSTRUCTING NONSTANDARD HULLS AND LOEB MEASURES IN INTERNAL SET THEORIES10
A DEFENSE OF LOGICISM9
VERY LARGE SET AXIOMS OVER CONSTRUCTIVE SET THEORIES8
Manuel Bodirsky. Complexity of Infinite-Domain Constraint Satisfaction. Lecture Notes in Logic, vol. 52. Cambridge University Press, 20216
2024 MEETING OF THE AUSTRALASIAN ASSOCIATION FOR LOGIC University of Sydney Sydney, Australia 26–28 November, 20245
Many problems, different frameworks: classification of problems in computable analysis and algorithmic learning theory5
PROOF MINING AND HIGH-LEVEL PROOF-THEORETIC REASONING: A CASE STUDY ON GREEDY APPROXIMATION SCHEMES4
BSL volume 31 issue 2 Cover and Front matter4
BSL volume 30 issue 2 Cover and Back matter3
50 YEARS OF EXPLICIT MATHEMATICS WITH A SPECIAL SESSION IN MEMORY OF WOLFRAM POHLERS CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Tübingen, Germany September 19–21, 20253
THE LATTICE PROBLEM FOR MODELS OF 3
CONTENTS OF VOLUME 293
Around Exponential-Algebraic Closedness3
Jan Krajìček, Proof Complexity, Encyclopedia of Mathematics and Its Applications, no. 170, Cambridge University Press, Cambridge, UK, 2019, xvi + 516 pp.3
BSL volume 28 issue 3 Cover and Back matter3
J ava D arleen V illano . <3
Forcing “$\mathrm {NS}_{\omega _1}$is$\omega _1$-Dense” from Large Cardinals3
Investigations into intuitionistic and other negations2
Y udai S uzuki . Studies on Partial Impredicativi2
COMPUTABLY COMPACT METRIC SPACES2
Edwin Mares. The Logic of Entailment and its History. Cambridge University Press, Cambridge, UK, 2024, xv + 264 pp.2
G iulio F ellin . Constructivisation through Indu2
A NOTE ON CONTINUOUS FUNCTIONS ON METRIC SPACES2
30TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WOLLIC 2024) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bern, Switzerland June 10–13, 20242
I. Kalimullin, A. Melnikov, A. Montalbán. Punctual definability on structures . Annals of Pure and Applied Logic, vol. 172, no. 8 (2021), Paper 102987, 12
NOTICES1
NOTICES1
New methods in forcing iteration and applications1
EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES1
BSL volume 31 issue 4 Cover and Back matter1
On New Notions of Algorithmic Dimension, Immunity, and Medvedev Degree1
2024 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Iowa State University Ames, IA, USA May 14–17, 20241
ON SOME OF BROUWER’S AXIOMS1
POUR-EL’S LANDSCAPE1
AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS1
BSL volume 31 issue 2 Cover and Back matter1
CLASSIFICATION COMPLEXITY OF CHAOTIC SYSTEMS0
POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND $\Gamma _{0}$0
THE 20TH LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC OF THE ASSOCIATION FOR SYMBOLIC LOGIC XX SIMPOSIO LATINOAMERICANO DE LÓGICA MATEMÁTICA Faculty de Ingeniería, Universidad de la República Montev0
2022 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Cornell University Ithaca, NY, USA April 7–10, 20220
RAMSEY THEORY AND BOUNDING IN ARITHMETIC0
NOTICES0
Something Valid This Way Comes: A Study of Neologicism and Proof-Theoretic Validity0
CONFERENCE: MODEL THEORY AND GROUPS A conference on the occasion of Katrin Tent’s 60th birthday CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Münster, Germany September 25–29, 20230
2025 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Seattle, WA 2025 Joint Mathematics Meeting January 8–11, 20250
NOTICES0
ON THE ARITHMETICAL COMPLEXITY OF MODELS0
A WALK WITH GOODSTEIN0
BSL volume 31 issue 4 Cover and Front matter0
INCOMPATIBILITY OF GENERIC HUGENESS PRINCIPLES0
Ordered Groups, Computability and Cantor-Bendixson Rank0
GENTZEN’S OVERVIEW OF CALCULI AND REDUCTIONS IN CONSISTENCY PROOFS0
BSL volume 29 issue 4 Cover and Front matter0
MODEL THEORY CONFERENCE IN CELEBRATION OF LUDOMIR NEWELSKI’S 60TH BIRTHDAY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bedlewo, Poland December 17–21, 20220
A zul F atalini . Paradoxical sets and the Axiom 0
G abriele B uriola . Proof-Theoretical Aspects of0
2023 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC The Westin St. Francis, San Francisco, CA Pacific APA Meeting April 5–6, 20230
BSL volume 28 issue 3 Cover and Front matter0
ASSOCIATION FOR SYMBOLIC LOGIC0
Handbook of Computability and Complexity in Analysis. edited by Vasco Brattka and Peter Hertling, Springer, Cham, Switzerland, 2021, xxv + 427 pp.0
SATURATED MODELS FOR THE WORKING MODEL THEORIST0
THE UNIVERSAL THEORY OF THE HYPERFINITE II $_1$ FACTOR IS NOT COMPUTABLE0
A FORMALISATION OF CONSTRUCTIVE EVIDENCE-BASED REASONING: CONSTRUCTING JUSTIFICATIONS0
A SHORT NOTE ON THE SIGNIFICANCE OF THE PENROSE-HALTING THEOREM0
BSL volume 32 issue 1 Cover and Front matter0
Shay Fuchs. Introduction to Proofs and Proof Strategies . Cambridge University Press, Cambridge, 2023, xiv + 342 pp.0
Sam Roberts. Pluralities as Nothing Over and Above. Journal of Philosophy, vol. CXIX (2022), no. 8, pp. 405–424.0
New Results in Model Theory and Set Theory0
LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION0
SAUL KRIPKE (1940–2022)0
A MODULAR BISIMULATION CHARACTERISATION FOR FRAGMENTS OF HYBRID LOGIC0
UNIVOCITY OF INTUITIONISTIC AND CLASSICAL CONNECTIVES0
BSL volume 28 issue 4 Cover and Back matter0
NOTICES0
ASSOCIATION FOR SYMBOLIC LOGIC0
A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF0
NOTICES0
BSL volume 30 issue 4 Cover and Back matter0
ZAGREB LOGIC CONFERENCE 2024 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Zagreb, Croatia January 12–15, 20240
FEFERMAN’S COMPLETENESS THEOREM0
Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis0
BSL volume 32 issue 2 Cover and Front matter0
APPROACHING A BRISTOL MODEL0
Petr Vopěnka. New Infinitary Mathematics. Charles University, Karolinum Press, 2022, xx + 352 pp.0
Forcing theory and combinatorics of the real line0
Computability Theory: Constructive Applications of the Lefthanded Local Lemma and Characterizations of Some Classes of Cohesive Powers0
NOTICES0
2025 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC 2025 APA Central Division Virtual Meeting February 27 – March 1, 20250
NOTICES0
NOTICES0
28th WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2021) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Virtual Event October 5–8, 20210
THE SECOND INTERNATIONAL CONFERENCE ON HOMOTOPY TYPE THEORY (HoTT 2023) SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Pittsburgh, USA May 22–25, 20230
K. J. Khoo, H. T. Koh, K. M. Ng. A discrete linear order with non-dense punctual degrees . Theoretical Computer Science, vol. 1047 (2025), Paper no. 11530
Katie Steele and H. Orri Stefánsson. Beyond Uncertainty: Reasoning with Unknown Possibilities. Elements in Decision Theory and Philosophy. Cambridge University Press, Cambridge, UK, 2021, 110 pp.0
ÉTALE STRUCTURES AND THE JOYAL–TIERNEY REPRESENTATION THEOREM IN COUNTABLE MODEL THEORY0
2024 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC The Sheraton Times Square, New York, NY Eastern APA Meeting January 15–18, 20240
Algorithmic Properties of Rogers Semilattices0
WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE?0
CATEGORICAL QUANTIFICATION0
BEIJING MODEL THEORY CONFERENCE 2024 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Beijing, P.R. China July 8–12, 20240
BSL volume 32 issue 1 Cover and Back matter0
BSL volume 30 issue 1 Cover and Front matter0
NOTICES0
BSL volume 32 issue 2 Cover and Back matter0
BSL volume 29 issue 1 Cover and Front matter0
OF SHEEP AND WOLVES: EQUIVALENCE AND DISAGREEMENT IN SET THEORY0
NOTICES0
CARNAP’S (CATEGORICITY) PROBLEM0
PROOF SOCIETY AUTUMN SCHOOL AND WORKSHOP 2022 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Utrecht, The Netherlands November 7–12, 20220
BSL volume 30 issue 3 Cover and Back matter0
THE ORDERING PRINCIPLE AND DEPENDENT CHOICE0
Weak Indestructibility and Reflection0
CONDITIONAL REASONING AND THE SHADOWS IT CASTS ONTO THE FIRST-ORDER LOGIC: THE NELSONIAN CASE0
BSL volume 30 issue 4 Cover and Front matter0
2022 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2022 Reykjavík University Reykjavík, Iceland June 27 – July 1, 20220
Independence Relations in Abstract Elementary Categories0
A CONSTRUCTIVE INTERPRETATION OF THE LOGICAL CONSTANTS0
BSL volume 30 issue 1 Cover and Back matter0
Effective Concept Classes of PAC and PACi Incomparable Degrees, Joins and Embedding of Degrees0
John MacFarlane, Philosophical Logic: A Contemporary Introduction, Routledge Contemporary Introductions to Philosophy, Routledge, New York, and London, 2021, xx + 238 pp.0
A CLUB GUESSING TOOLBOX I0
A ndrea V olpi . On some Ramsey-like statements0
TEAM SEMANTICS AND INDEPENDENCE NOTIONS IN QUANTUM PHYSICS0
31ST WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WOLLIC 2025) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Porto, Portugal July 14–17, 20250
Joseph Mileti. Modern Mathematical Logic . Cambridge University Press, Cambridge, 2022, xiv + 502 pp.0
Øystein Linnebo. Generality Explained . Journal of Philosophy, vol. CXIX no. 7, (2022), pp. 349–379.0
Johnathan Kirby. An Invitation to Model Theory. Cambridge University Press, Cambridge, UK, 2019, xiv + 182 pp.0
ASSOCIATION FOR SYMBOLIC LOGIC0
ITERATED PRIORITY ARGUMENTS IN DESCRIPTIVE SET THEORY0
J oseph M cDonald . Representation of Ortholattic0
The Buridan-Volpin Derivation System; Properties and Justification0
S. Todorčević and Z. Vidnyánszky A complexity problem for Borel graphs Inventiones mathematicae vol. 226 (2021), pp. 225–249.0
BSL volume 29 issue 3 Cover and Front matter0
THE FOURTEENTH PHD’S-IN-LOGIC INTERNATIONAL CONFERENCE (PHD’S IN LOGIC 2023) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Granada, Spain October 4–6, 20230
THE 19TH LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC OF THE ASSOCIATION FOR SYMBOLIC LOGIC XIX SIMPOSIO LATINOAMERICANO DE LÓGICA MATEMÁTICA Universidad de Costa Rica San José, Costa Rica July 26–30
ON THE EXISTENCE OF STRONG PROOF COMPLEXITY GENERATORS0
O-minimal de Rham Cohomology0
ONE-VARIABLE FRAGMENTS OF FIRST-ORDER LOGICS0
BSL volume 28 issue 4 Cover and Front matter0
INTERLEAVING LOGIC AND COUNTING0
ASYMMETRIC CUT AND CHOOSE GAMES0
UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC0
A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES0
Hubie Chen. Computability and Complexity. The MIT Press, Cambridge, Massachusetts, 2023, xvii + 394 pp.0
2025 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC New Mexico State University Las Cruces, NM, USA May 13-16, 20250
J ason E lias B lock . 0
Thomas Piecha and Peter Schroeder-Heister. Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics. Studia Logica, vol. 107 (2019), no. 1, p0
CCR 2024: THE 17TH INTERNATIONAL CONFERENCE ON COMPUTABILITY, COMPLEXITY AND RANDOMNESS CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Nagoya, Japan March 11–15, 20240
BSL volume 31 issue 1 Cover and Back matter0
Tim Button. Level Theory, Part 1: Axiomatizing the Bare Idea of a Cumulative Hierarchy of Sets The Bulletin of Symbolic Logic, vol. 27 (2021), no. 4, pp.0
2023 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Boston, Massachusetts Joint Mathematics Meeting January 6–7, 20230
BSL volume 29 issue 2 Cover and Back matter0
A SIMPLIFIED LOWER BOUND FOR IMPLICATIONAL LOGIC0
John Steel and Hugh Woodin. HOD as a Core Model. Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III, edited by Alexander Kechris, Benedikt Lowe, and John Steel, Lecture No0
A NOTE ON THE THEORY OF WELL ORDERS0
C laudio A gostini . Generalized descriptive set 0
MENAS’S CONJECTURE REVISITED0
ON REPRESENTATIONS OF IRRATIONAL NUMBERS AND THE COMPUTATIONAL COMPLEXITY OF CONVERTING BETWEEN SUCH REPRESENTATIONS0
ASSOCIATION FOR SYMBOLIC LOGIC0
ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATION0
From real-life to very strong axioms. Classification problems in Descriptive Set Theory and regularity properties in Generalized Descriptive Set Theory0
JUVENAL MURWANASHYAKA. Papers on weak first-order theories and decidability problems , University of O0
COMPACTNESS OF AND STRONG AXIOMS OF DETERMINACY - N. Trang, Structure theory ofand its applications.Journal of Symbolic Logic, vol. 80 (2015), no. 1, pp. 29–55. - N0
CONTENTS OF VOLUME 280
S tephen M ackereth . Logic, Arithmetic, and Defi0
Logic, Automata, and Computational Complexity: The Works Of Stephen A. Cook. Edited by Bruce M. Kapron, ACM Books, vol. 43. Association for Computing Machinery, New York, xxvi + 398 pp.—therein0
TOPOLOGY, ALGEBRA, AND CATEGORIES IN LOGIC 2024 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Barcelona, Spain July 1–5, 20240
WORKSHOP: ‘PROOFS, RULES, AND MEANINGS’ CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC University of St Andrews, Scotland April 11 and 12, 20240
THE ERDŐS–HAJNAL PROBLEM LIST0
Samuele Iaquinto and Giuliano Torrengo. Fragmenting Reality: An Essay on Passage, Causality and Time. Bloomsbury Academic, London, 2022, x + 208 pp.0
LOGIC, ALGEBRA AND TRUTH DEGREES 2025 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Siena, Italy July 21–25, 20250
Gabriel Uzquiano. Impredicativity and paradox . Thought, vol. 8 (2019), no. 3, pp. 209–221.0
D. D. Dzhafarov and C. Mummert, Reverse Mathematics: Problems, Reductions, and Proofs. Theory and Applications of Computability. Springer Nature, Cham, 2022, xix + 488 pp.0
BSL volume 29 issue 3 Cover and Back matter0
2023 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of California, Irvine Irvine, CA, USA March 25–29, 20230
MODEL THEORY WORKSHOP AND CONFERENCE 2023 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Wrocław, Poland September 15–23, 20230
WORKSHOP: FINITE MODEL THEORY AND MANY-VALUED LOGIC: CHALLENGES AND INTERACTIONS CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Brisbane, Australia (online) November 10–12, 20220
Sharon Berry. A Logical Foundation for Potentialist Set Theory. Cambridge University Press, Cambridge, 2022, i - viii + 1–240 pp.0
BSL volume 29 issue 4 Cover and Back matter0
BSL volume 30 issue 3 Cover and Front matter0
THREE PAPERS ON RECENT WORK ON META-VALIDITY - David Ripley, One step is enough. Journal of Philosophical Logic, vol. 51 (2022), pp. 1233–1259. - Isabella McAllister, Classical logic is not 0
TREE THEORY: INTERPRETABILITY BETWEEN WEAK FIRST-ORDER THEORIES OF TREES0
CORONA RIGIDITY0
BSL volume 31 issue 3 Cover and Front matter0
S ebastiano T hei . Singular cardinals through th0
BSL volume 31 issue 3 Cover and Back matter0
2023 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2023 University of Milan Milan, Italy June 5 – June 9, 20230
O brad K asum . Investigation into phenomena surr0
2022 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC WITH THE AMS Seattle, Washington Joint Mathematics Meeting January 7–8, 20220
2024 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC, LOGIC COLLOQUIUM 2024 University of Gothenburg Gothenburg, Sweden 24 June – 28 June, 20240
Paolo Pistone. Polymorphism and the obstinate circularity of second order logic: A victim’s tale The Bulletin of Symbolic Lo0
BSL volume 31 issue 1 Cover and Front matter0
Christopher Pincock. Mathematics and Explanation. Elements in the Philosophy of Mathematics. Cambridge University Press, Cambridge, UK, 2023, 80 pp.0
NOTICES0
NOTICES0
MODEL THEORY CONFERENCE IN SEOUL CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Seoul, South Korea August 28–30, 20230
NOTICES0
Computability Theory on Polish Metric Spaces0
WORKSHOP ON PROOF MINING 2024 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Darmstadt, Germany September 4–6, 20240
A ONE-PAGE PROOF OF A THEOREM OF BELEZNAY0
ON THE CHASE–FREITAG LEMMA0
ON THE HIERARCHY OF NATURAL THEORIES0
Quillen Model Categories-Based Notions of Locality of Logics over Finite Structures0
2024 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC San Francisco, California Joint Mathematics Meeting January 3-6, 20240
BSL volume 29 issue 2 Cover and Front matter0
BSL volume 30 issue 2 Cover and Front matter0
ON THE PROOF-THEORETIC STRUCTURE OF COUNTERFACTUAL INFERENCE0
NEW FOUNDATIONS OF REASONING VIA REAL-VALUED FIRST-ORDER LOGICS0
21ST INTERNATIONAL CONFERENCE ON COMPUTABILITY AND COMPLEXITY IN ANALYSIS (CCA 2024) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Swansea, UK July 15–18, 20240
AUSTRALASIAN LOGIC COLLOQUIUM CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Brisbane, Australia 6–8 November 20230
SEVENTEENTH ASIAN LOGIC CONFERENCE AN OFFICIAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Nankai University Tianjin, China October 9–13, 20230
NOTICES0
2023 MEETING OF THE AUSTRALASIAN ASSOCIATION FOR LOGIC University of Queensland Brisbane, Australia 9-10 November, 20230
Boolean-Valued Models and Their Applications0
H annes J akob . Variants of Mitchell forcing. Un0
BSL volume 29 issue 1 Cover and Back matter0
CONTENTS OF VOLUME 300
0.14129519462585