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 2020-11-01 to 2024-11-01.)
ArticleCitations
COMPUTABLY COMPACT METRIC SPACES11
THE SENSE/REFERENCE DISTINCTION IN CONSTRUCTIVE SEMANTICS8
LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS5
STRONG COLORINGS OVER PARTITIONS5
AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS4
KURT GÖDEL ON LOGICAL, THEOLOGICAL, AND PHYSICAL ANTINOMIES4
DISJUNCTIONS WITH STOPPING CONDITIONS4
CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS4
Boolean-Valued Models and Their Applications3
THE UNIVERSAL THEORY OF THE HYPERFINITE II $_1$ FACTOR IS NOT COMPUTABLE3
INTERLEAVING LOGIC AND COUNTING3
CONSTRUCTING WADGE CLASSES3
PROJECTIVE DUALITY AND THE RISE OF MODERN LOGIC3
On the Axiomatisability of the Dual of Compact Ordered Spaces3
SENSE AND REFERENCE FROM A CONSTRUCTIVIST STANDPOINT3
SATURATED MODELS FOR THE WORKING MODEL THEORIST3
FINDING THE LIMIT OF INCOMPLETENESS I3
THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY2
LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION2
AN INTRODUCTION TO THE SCOTT COMPLEXITY OF COUNTABLE STRUCTURES AND A SURVEY OF RECENT RESULTS2
LEVEL THEORY, PART 3: A BOOLEAN ALGEBRA OF SETS ARRANGED IN WELL-ORDERED LEVELS2
Results on Martin’s Conjecture2
MENAS’S CONJECTURE REVISITED2
CATEGORICAL QUANTIFICATION2
A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC2
LOGICALITY AND MODEL CLASSES2
SEALING OF THE UNIVERSALLY BAIRE SETS1
GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION1
THE MCKINSEY–TARSKI THEOREM FOR LOCALLY COMPACT ORDERED SPACES1
TREE THEORY: INTERPRETABILITY BETWEEN WEAK FIRST-ORDER THEORIES OF TREES1
Formal Theories of Occurrences and Substitutions1
THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)1
THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME1
Automating the Repair of Faulty Logical Theories1
LEVEL THEORY, PART 2: AXIOMATIZING THE BARE IDEA OF A POTENTIAL HIERARCHY1
Transfer Principles in Henselian Valued Fields1
Invariant Types in Model Theory1
Contributions to the Theory of Large Cardinals through the Method of Forcing1
REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION1
COMPUTABILITY IN PARTIAL COMBINATORY ALGEBRAS1
UNIVERSAL CODING AND PREDICTION ON ERGODIC RANDOM POINTS1
NOTES ON THE STABLE REGULARITY LEMMA1
INVARIANCE CRITERIA AS META-CONSTRAINTS1
A WALK WITH GOODSTEIN1
ASYMMETRIC CUT AND CHOOSE GAMES0
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
Some Progress on the Unique Ergodicity Problem0
A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES0
Proof Mining with the Bounded Functional Interpretation0
2024 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC The Sheraton Times Square, New York, NY Eastern APA Meeting January 15–18, 20240
BSL volume 28 issue 1 Cover and Front matter0
THE BSL 25TH ANNIVERSARY PRIZE0
Paraconsistent Logic Programming in Three and Four-Valued Logics0
NOTICES0
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
BSL volume 29 issue 1 Cover and Back matter0
PROOF SOCIETY SUMMER SCHOOLS AND WORKSHOP ON PROOF THEORY AND ITS APPLICATIONS COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Swansea, UK September 8–13, 20190
BSL volume 28 issue 3 Cover and Back matter0
BSL volume 28 issue 2 Cover and Front matter0
NOTICES0
2022 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Cornell University Ithaca, NY, USA April 7–10, 20220
NOTICES0
BSL volume 28 issue 4 Cover and Back matter0
2021 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC0
NOTICES0
2020 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Colorado Convention Center Denver, CO, USA January 17–18, 20200
NOTICES0
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
ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATION0
CONTENTS OF VOLUME 280
Expansions and Neostability in Model Theory0
BSL volume 28 issue 4 Cover and Front matter0
CONTENTS OF VOLUME 290
ASSOCIATION FOR SYMBOLIC LOGIC0
A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF0
BSL volume 27 issue 1 Cover and Front matter0
From Generative Linguistics to Categorial Grammars: Overt Subjects in Control Infinitives0
NOTICES0
BSL volume 27 issue 4 Cover and Front matter0
NOTICES0
2024 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC San Francisco, California Joint Mathematics Meeting January 3-6, 20240
Towards Finding a Lattice that Characterizes the -Fickle Recursively Enumerable Turing Degrees0
NOTICES0
BSL volume 29 issue 3 Cover and Front matter0
A Categorical Characterization of Accessible Domain0
BSL volume 27 issue 2 Cover and Front matter0
The Combinatorics and Absoluteness of Definable Sets of Real Numbers0
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
New methods in forcing iteration and applications0
BSL volume 30 issue 2 Cover and Back matter0
P-points, MAD families and Cardinal Invariants0
NOTICES0
Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis0
DEGREES OF RANDOMIZED COMPUTABILITY0
VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY0
Ordered Groups, Computability and Cantor-Bendixson Rank0
ASSOCIATION FOR SYMBOLIC LOGIC0
BSL volume 29 issue 2 Cover and Front matter0
2021 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC0
Dimensions of Ordinals: Set Theory, Homology Theory, and the First Omega Alephs0
BSL volume 29 issue 3 Cover and Back matter0
Notices0
BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH0
BSL volume 29 issue 2 Cover and Back matter0
2023 MEETING OF THE AUSTRALASIAN ASSOCIATION FOR LOGIC University of Queensland Brisbane, Australia 9-10 November, 20230
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
On Logics and Semantics for Interpretability0
POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND0
CONSTRUCTING NONSTANDARD HULLS AND LOEB MEASURES IN INTERNAL SET THEORIES0
New Directions in Duality Theory for Modal Logic0
IN MEMORIAM: ANNE SJERP TROELSTRA 1939–20190
HILBERT–BERNAYS SUMMER SCHOOL ON LOGIC AND COMPUTATION 2019 COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Tübingen, Germany July 21–27, 20190
BSL volume 29 issue 4 Cover and Back 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
BSL volume 28 issue 2 Cover and Back matter0
The Buridan-Volpin Derivation System; Properties and Justification0
T. Button and S. Walsh. Philosophy and Model Theory. Oxford University Press, Oxford, 2018, xvi + 517 pp.0
Jan Krajìček, Proof Complexity, Encyclopedia of Mathematics and Its Applications, no. 170, Cambridge University Press, Cambridge, UK, 2019, xvi + 516 pp.0
An Implicative Expansion of Belnap’s Four-Valued Matrix: A Modal Four-Valued Logic Without Strong Modal Lukasiewicz-Type Paradoxes0
WORKSHOP ON COMPUTABILITY THEORY (WCT 2019) COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Leeds, UK July 22–23, 20190
O-minimal de Rham Cohomology0
REVIEWS0
THEOREMS OF HYPERARITHMETIC ANALYSIS AND ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS0
2022 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC WITH THE APA Palmer House, Chicago, IL Central APA Meeting February 24, 20220
AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS0
BSL volume 29 issue 4 Cover and Front matter0
Compact Metrizable Structures via Projective Fraïssé Theory With an Application to the Study of Fences0
Computability Theory: Constructive Applications of the Lefthanded Local Lemma and Characterizations of Some Classes of Cohesive Powers0
Necessitism, Contingentism, and Theory Equivalence0
VERY LARGE SET AXIOMS OVER CONSTRUCTIVE SET THEORIES0
ITERATED PRIORITY ARGUMENTS IN DESCRIPTIVE SET THEORY0
FroCoS/TABLEAUX 2019 COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC London, UK September 2–6, 20190
BSL volume 26 issue 3-4 Cover and Front matter0
ON THE EXISTENCE OF STRONG PROOF COMPLEXITY GENERATORS0
Pseudofinite Structures and Counting Dimensions0
BSL volume 26 issue 3-4 Cover and Back matter0
PROOF SOCIETY AUTUMN SCHOOL AND WORKSHOP 2022 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Utrecht, The Netherlands November 7–12, 20220
Algebraic and Model Theoretic Properties of O-minimal Exponential Fields0
Sam Roberts. Pluralities as Nothing Over and Above. Journal of Philosophy, vol. CXIX (2022), no. 8, pp. 405–424.0
John MacFarlane, Philosophical Logic: A Contemporary Introduction, Routledge Contemporary Introductions to Philosophy, Routledge, New York, and London, 2021, xx + 238 pp.0
Around Exponential-Algebraic Closedness0
POUR-EL’S LANDSCAPE0
Filling cages. Reverse mathematics and combinatorial principles0
Semantics modulo satisfiability with applications: function representation, probabilities and game theory0
Non-Deterministic Matrices: Theory and Applications to Algebraic Semantics0
Many problems, different frameworks: classification of problems in computable analysis and algorithmic learning theory0
2023 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Boston, Massachusetts Joint Mathematics Meeting January 6–7, 20230
Weak Indestructibility and Reflection0
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
Investigations into intuitionistic and other negations0
BSL volume 30 issue 2 Cover and Front matter0
IN MEMORIAM: GERALD E. SACKS, 1933–20190
From real-life to very strong axioms. Classification problems in Descriptive Set Theory and regularity properties in Generalized Descriptive Set Theory0
ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC0
2023 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2023 University of Milan Milan, Italy June 5 – June 9, 20230
INCOMPATIBILITY OF GENERIC HUGENESS PRINCIPLES0
BSL volume 27 issue 3 Cover and Back matter0
William Chan, An introduction to combinatorics of determinacy, Trends in Set Theory (S. Coskey and G. Sargsyan, editors), Contemporary Mathematics, vol. 752, Providence, RI, Ameri0
EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES0
IN MEMORIAM: MICHAEL MORLEY, 1930–20200
Quillen Model Categories-Based Notions of Locality of Logics over Finite Structures0
The Structure of d.r.e. Degrees0
CIRCULARITY IN SYNTAX AND SEMANTICS (CiSS 2019) COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Gothenburg, Sweden November 20–22, 20190
BSL volume 30 issue 1 Cover and Back matter0
Uniform Properties of Ideals in Rings of Restricted Power Series0
BSL volume 30 issue 1 Cover and Front matter0
WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE?0
Intrinsic density, asymptotic computability, and stochasticity0
Second-Order Modal Logic0
On Transfinite Levels of the Ershov Hierarchy0
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
On New Notions of Algorithmic Dimension, Immunity, and Medvedev Degree0
2021 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’21 Adam Mickiewicz University Poznań, Poland July 19–24, 20210
Independence Relations in Abstract Elementary Categories0
NOTICES0
BSL volume 29 issue 1 Cover and Front matter0
Measurable combinatorics and orbit equivalence relations0
NOTICES0
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
BSL volume 27 issue 4 Cover and Back matter0
ASSOCIATION FOR SYMBOLIC LOGIC0
AN AXIOMATIC APPROACH TO FORCING IN A GENERAL SETTING0
Something Valid This Way Comes: A Study of Neologicism and Proof-Theoretic Validity0
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 27 issue 3 Cover and Front matter0
Computability Theory on Polish Metric Spaces0
Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations0
BSL volume 27 issue 1 Cover and Back matter0
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
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2020) COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Deerfield Beach, Florida, USA January 4–7, 20200
2020 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC0
SEVENTEENTH ASIAN LOGIC CONFERENCE AN OFFICIAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Nankai University Tianjin, China October 9–13, 20230
Model Theory in a Paraconsistent Environment0
Continuous Abstract Data Types for Verified Computation0
IN MEMORIAM: J. MICHAEL DUNN, 1941–20210
NOTICES0
YOUNG SET THEORY XII 2019 COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Vienna, Austria June 26–29, 20190
BSL volume 27 issue 2 Cover and Back matter0
Effective Concept Classes of PAC and PACi Incomparable Degrees, Joins and Embedding of Degrees0
ACKERMANN’S FUNCTION IN ITERATIVE FORM: A PROOF ASSISTANT EXPERIMENT0
Forcing theory and combinatorics of the real line0
2021 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC0
A journey through computability, topology and analysis0
BSL volume 28 issue 3 Cover and Front matter0
ONE-VARIABLE FRAGMENTS OF FIRST-ORDER LOGICS0
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
2023 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of California, Irvine Irvine, CA, USA March 25–29, 20230
Christopher Pincock. Mathematics and Explanation. Elements in the Philosophy of Mathematics. Cambridge University Press, Cambridge, UK, 2023, 80 pp.0
UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC0
ASSOCIATION FOR SYMBOLIC LOGIC0
NOTICES0
2022 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC WITH THE AMS Seattle, Washington Joint Mathematics Meeting January 7–8, 20220
BSL volume 28 issue 1 Cover and Back matter0
0.042217969894409