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 2021-04-01 to 2025-04-01.)
ArticleCitations
From Generative Linguistics to Categorial Grammars: Overt Subjects in Control Infinitives11
P-points, MAD families and Cardinal Invariants8
Semantics modulo satisfiability with applications: function representation, probabilities and game theory5
A journey through computability, topology and analysis5
NOTICES4
Continuous Abstract Data Types for Verified Computation4
POUR-EL’S LANDSCAPE3
WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE?3
THE SECOND INTERNATIONAL CONFERENCE ON HOMOTOPY TYPE THEORY (HoTT 2023) SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Pittsburgh, USA May 22–25, 20233
2023 MEETING OF THE AUSTRALASIAN ASSOCIATION FOR LOGIC University of Queensland Brisbane, Australia 9-10 November, 20233
BSL volume 29 issue 1 Cover and Back matter3
CONSTRUCTING NONSTANDARD HULLS AND LOEB MEASURES IN INTERNAL SET THEORIES3
Expansions and Neostability in Model Theory3
Dimensions of Ordinals: Set Theory, Homology Theory, and the First Omega Alephs3
AUSTRALASIAN LOGIC COLLOQUIUM CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Brisbane, Australia 6–8 November 20232
BSL volume 28 issue 1 Cover and Front matter2
2022 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Cornell University Ithaca, NY, USA April 7–10, 20222
ACKERMANN’S FUNCTION IN ITERATIVE FORM: A PROOF ASSISTANT EXPERIMENT2
Thomas Piecha and Peter Schroeder-Heister. Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics. Studia Logica, vol. 107 (2019), no. 1, p2
On New Notions of Algorithmic Dimension, Immunity, and Medvedev Degree2
VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY2
NOTICES2
Some Progress on the Unique Ergodicity Problem2
CONTENTS OF VOLUME 301
BSL volume 27 issue 2 Cover and Front matter1
AN AXIOMATIC APPROACH TO FORCING IN A GENERAL SETTING1
2023 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Boston, Massachusetts Joint Mathematics Meeting January 6–7, 20231
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 No1
Algorithmic Properties of Rogers Semilattices1
CCR 2024: THE 17TH INTERNATIONAL CONFERENCE ON COMPUTABILITY, COMPLEXITY AND RANDOMNESS CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Nagoya, Japan March 11–15, 20241
2022 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC WITH THE APA Palmer House, Chicago, IL Central APA Meeting February 24, 20221
28th WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2021) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Virtual Event October 5–8, 20211
VERY LARGE SET AXIOMS OVER CONSTRUCTIVE SET THEORIES1
A NOTE ON THE THEORY OF WELL ORDERS1
From real-life to very strong axioms. Classification problems in Descriptive Set Theory and regularity properties in Generalized Descriptive Set Theory1
2022 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2022 Reykjavík University Reykjavík, Iceland June 27 – July 1, 20221
On the Axiomatisability of the Dual of Compact Ordered Spaces1
MENAS’S CONJECTURE REVISITED1
2024 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Iowa State University Ames, IA, USA May 14–17, 20240
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
SEVENTEENTH ASIAN LOGIC CONFERENCE AN OFFICIAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Nankai University Tianjin, China October 9–13, 20230
NOTICES0
Many problems, different frameworks: classification of problems in computable analysis and algorithmic learning theory0
Univocity of Intuitionistic and Classical Connectives0
BSL volume 30 issue 2 Cover and Back matter0
AN INTRODUCTION TO THE SCOTT COMPLEXITY OF COUNTABLE STRUCTURES AND A SURVEY OF RECENT RESULTS0
BSL volume 27 issue 3 Cover and Back matter0
ASYMMETRIC CUT AND CHOOSE GAMES0
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
ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC0
Necessitism, Contingentism, and Theory Equivalence0
BSL volume 27 issue 3 Cover and Front matter0
BSL volume 27 issue 2 Cover and Back matter0
POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND $\Gamma _{0}$0
BSL volume 29 issue 3 Cover and Back matter0
Pseudofinite Structures and Counting Dimensions0
Computability Theory: Constructive Applications of the Lefthanded Local Lemma and Characterizations of Some Classes of Cohesive Powers0
SEALING OF THE UNIVERSALLY BAIRE SETS0
A SIMPLIFIED LOWER BOUND FOR IMPLICATIONAL LOGIC0
Weak Indestructibility and Reflection0
BSL volume 28 issue 2 Cover and Back matter0
GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION0
A ONE-PAGE PROOF OF A THEOREM OF BELEZNAY0
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
LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS0
IN MEMORIAM: J. MICHAEL DUNN, 1941–20210
CONSTRUCTING WADGE CLASSES0
INTERLEAVING LOGIC AND COUNTING0
Investigations into intuitionistic and other negations0
AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS0
LEVEL THEORY, PART 2: AXIOMATIZING THE BARE IDEA OF A POTENTIAL HIERARCHY0
PROJECTIVE DUALITY AND THE RISE OF MODERN LOGIC0
NOTICES0
DEGREES OF RANDOMIZED COMPUTABILITY0
ITERATED PRIORITY ARGUMENTS IN DESCRIPTIVE SET THEORY0
BSL volume 28 issue 1 Cover and Back matter0
BSL volume 30 issue 4 Cover and Back matter0
NOTICES0
2021 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC0
NOTICES0
Proof Mining with the Bounded Functional Interpretation0
BSL volume 30 issue 3 Cover and Back matter0
BSL volume 29 issue 4 Cover and Back matter0
BSL volume 29 issue 2 Cover and Front matter0
Edwin Mares. The Logic of Entailment and its History. Cambridge University Press, Cambridge, UK, 2024, xv + 264 pp.0
Uniform Properties of Ideals in Rings of Restricted Power Series0
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
Jan Krajìček, Proof Complexity, Encyclopedia of Mathematics and Its Applications, no. 170, Cambridge University Press, Cambridge, UK, 2019, xvi + 516 pp.0
TREE THEORY: INTERPRETABILITY BETWEEN WEAK FIRST-ORDER THEORIES OF TREES0
COMPUTABLY COMPACT METRIC SPACES0
The Buridan-Volpin Derivation System; Properties and Justification0
NOTICES0
THEOREMS OF HYPERARITHMETIC ANALYSIS AND ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS0
THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY0
O-minimal de Rham Cohomology0
2024 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC San Francisco, California Joint Mathematics Meeting January 3-6, 20240
BSL volume 30 issue 1 Cover and Front matter0
Manuel Bodirsky. Complexity of Infinite-Domain Constraint Satisfaction. Lecture Notes in Logic, vol. 52. Cambridge University Press, 20210
BSL volume 30 issue 1 Cover and Back matter0
Paraconsistent Logic Programming in Three and Four-Valued Logics0
ON THE EXISTENCE OF STRONG PROOF COMPLEXITY GENERATORS0
BSL volume 29 issue 2 Cover and Back matter0
ONE-VARIABLE FRAGMENTS OF FIRST-ORDER LOGICS0
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
MODEL THEORY WORKSHOP AND CONFERENCE 2023 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Wrocław, Poland September 15–23, 20230
REVIEWS0
BSL volume 29 issue 3 Cover and Front matter0
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
INVARIANCE CRITERIA AS META-CONSTRAINTS0
Automating the Repair of Faulty Logical Theories0
On Transfinite Levels of the Ershov Hierarchy0
The Combinatorics and Absoluteness of Definable Sets of Real Numbers0
Intrinsic density, asymptotic computability, and stochasticity0
Forcing theory and combinatorics of the real line0
THE MCKINSEY–TARSKI THEOREM FOR LOCALLY COMPACT ORDERED SPACES0
Computability Theory on Polish Metric Spaces0
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
2021 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’21 Adam Mickiewicz University Poznań, Poland July 19–24, 20210
2023 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of California, Irvine Irvine, CA, USA March 25–29, 20230
KURT GÖDEL ON LOGICAL, THEOLOGICAL, AND PHYSICAL ANTINOMIES0
THE LATTICE PROBLEM FOR MODELS OF PA0
BSL volume 27 issue 4 Cover and Back matter0
NOTICES0
Contributions to the Theory of Large Cardinals through the Method of Forcing0
A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES0
THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME0
BSL volume 30 issue 2 Cover and Front matter0
NEW FOUNDATIONS OF REASONING VIA REAL-VALUED FIRST-ORDER LOGICS0
New Directions in Duality Theory for Modal Logic0
LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION0
NOTICES0
Around Exponential-Algebraic Closedness0
IN MEMORIAM: GERALD E. SACKS, 1933–20190
THE SENSE/REFERENCE DISTINCTION IN CONSTRUCTIVE SEMANTICS0
Notices0
2024 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC, LOGIC COLLOQUIUM 2024 University of Gothenburg Gothenburg, Sweden 24 June – 28 June, 20240
THE UNIVERSAL THEORY OF THE HYPERFINITE II $_1$ FACTOR IS NOT COMPUTABLE0
NOTES ON THE STABLE REGULARITY LEMMA0
PROOF SOCIETY AUTUMN SCHOOL AND WORKSHOP 2022 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Utrecht, The Netherlands November 7–12, 20220
A CLUB GUESSING TOOLBOX I0
On Logics and Semantics for Interpretability0
SAUL KRIPKE (1940–2022)0
A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC0
NOTICES0
BSL volume 30 issue 3 Cover and Front matter0
Second-Order Modal Logic0
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 29 issue 1 Cover and Front matter0
SENSE AND REFERENCE FROM A CONSTRUCTIVIST STANDPOINT0
Independence Relations in Abstract Elementary Categories0
A FORMALISATION OF CONSTRUCTIVE EVIDENCE-BASED REASONING: CONSTRUCTING JUSTIFICATIONS0
ASSOCIATION FOR SYMBOLIC LOGIC0
LOGICALITY AND MODEL CLASSES0
New Results in Model Theory and Set Theory0
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
Sam Roberts. Pluralities as Nothing Over and Above. Journal of Philosophy, vol. CXIX (2022), no. 8, pp. 405–424.0
2024 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC The Sheraton Times Square, New York, NY Eastern APA Meeting January 15–18, 20240
Quillen Model Categories-Based Notions of Locality of Logics over Finite Structures0
CATEGORICAL QUANTIFICATION0
BSL volume 29 issue 4 Cover and Front matter0
Transfer Principles in Henselian Valued Fields0
CONTENTS OF VOLUME 280
Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis0
MODEL THEORY CONFERENCE IN SEOUL CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Seoul, South Korea August 28–30, 20230
Ordered Groups, Computability and Cantor-Bendixson Rank0
A NOTE ON CONTINUOUS FUNCTIONS ON METRIC SPACES0
ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATION0
John MacFarlane, Philosophical Logic: A Contemporary Introduction, Routledge Contemporary Introductions to Philosophy, Routledge, New York, and London, 2021, xx + 238 pp.0
2023 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2023 University of Milan Milan, Italy June 5 – June 9, 20230
New methods in forcing iteration and applications0
2022 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC WITH THE AMS Seattle, Washington Joint Mathematics Meeting January 7–8, 20220
UNIVERSAL CODING AND PREDICTION ON ERGODIC RANDOM POINTS0
BSL volume 28 issue 2 Cover and Front matter0
Non-Deterministic Matrices: Theory and Applications to Algebraic Semantics0
LEVEL THEORY, PART 3: A BOOLEAN ALGEBRA OF SETS ARRANGED IN WELL-ORDERED LEVELS0
Boolean-Valued Models and Their Applications0
Model Theory in a Paraconsistent Environment0
A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF0
NOTICES0
Formal Theories of Occurrences and Substitutions0
The Structure of d.r.e. Degrees0
AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS0
CONTENTS OF VOLUME 290
BSL volume 28 issue 3 Cover and Front matter0
NOTICES0
Christopher Pincock. Mathematics and Explanation. Elements in the Philosophy of Mathematics. Cambridge University Press, Cambridge, UK, 2023, 80 pp.0
SATURATED MODELS FOR THE WORKING MODEL THEORIST0
Algebraic and Model Theoretic Properties of O-minimal Exponential Fields0
BSL volume 30 issue 4 Cover and Front matter0
Something Valid This Way Comes: A Study of Neologicism and Proof-Theoretic Validity0
Results on Martin’s Conjecture0
Forcing “$\mathrm {NS}_{\omega _1}$is$\omega _1$-Dense” from Large Cardinals0
Effective Concept Classes of PAC and PACi Incomparable Degrees, Joins and Embedding of Degrees0
ASSOCIATION FOR SYMBOLIC LOGIC0
A WALK WITH GOODSTEIN0
IN MEMORIAM: MICHAEL MORLEY, 1930–20200
ASSOCIATION FOR SYMBOLIC LOGIC0
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
UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC0
Johnathan Kirby. An Invitation to Model Theory. Cambridge University Press, Cambridge, UK, 2019, xiv + 182 pp.0
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
Towards Finding a Lattice that Characterizes the -Fickle Recursively Enumerable Turing Degrees0
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
INCOMPATIBILITY OF GENERIC HUGENESS PRINCIPLES0
BSL volume 28 issue 4 Cover and Front matter0
BSL volume 28 issue 3 Cover and Back matter0
BSL volume 27 issue 4 Cover and Front matter0
NOTICES0
EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES0
BSL volume 28 issue 4 Cover and Back matter0
A MODULAR BISIMULATION CHARACTERISATION FOR FRAGMENTS OF HYBRID LOGIC0
THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)0
FEFERMAN’S COMPLETENESS THEOREM0
0.15261793136597