Journal: Bulletin of Symbolic Logic

Volume 29, Issue 4

465 -- 502Zlatan Damnjanovic. Tree Theory: interpretability between Weak First-order Theories of Trees
503 -- 587Johan van Benthem, Thomas Icard. Interleaving Logic and Counting
588 -- 625Christopher Henney-Turner, Peter Holy, Philipp Schlicht, Philip D. Welch. Asymmetric Cut and Choose Games
626 -- 655Kirsten Eisenträger, Russell Miller 0001, Caleb Springer, Linda Westrick. A Topological Approach to Undefinability in Algebraic Extensions of
656 -- 657Derek Levinson. 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 Notes in Logic, vol. 3, Cambridge University Press, Cambridge, pp. 257-345
657 -- 660Pavel Pudlák. Reviews
660 -- 662Chris J. Conidis. Reverse Mathematics: Problems, Reductions, and Proofs. Theory and Applications of Computability. Springer Nature, Cham, 2022, xix + 488 pp
663 -- 0James Holland. Weak Indestructibility and Reflection
664 -- 0Waseet Kazmi. Ordered Groups, Computability and Cantor-Bendixson Rank
664 -- 0Teerawat Thewmorakot. Computability Theory on Polish Metric Spaces
664 -- 665Daniel Mourad. Computability Theory: Constructive Applications of the Lefthanded Local Lemma and Characterizations of Some Classes of Cohesive Powers
666 -- 671. 2023 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Boston, Massachusetts Joint Mathematics Meeting January 6-7, 2023
672 -- 695. 2023 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of California, Irvine Irvine, CA, USA March 25-29, 2023
696 -- 702. 2023 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC The Westin St. Francis, San Francisco, CA Pacific APA Meeting April 5-6, 2023
703 -- 724. 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-31, 2022
725 -- 0. 28th WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2021) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Virtual Event October 5-8, 2021
726 -- 732. Notices

Volume 29, Issue 3

311 -- 353Makoto Fujiwara, Hajime Ishihara, Takako Nemoto, Nobu-Yuki Suzuki, Keita Yokoyama. Extended Frames and Separations of Logical Principles
354 -- 405Pierre Matet. Menas's Conjecture Revisited
406 -- 452Ethan Brauer. A Classical Modal Theory of Lawless sequences
453 -- 456Chris Scambler. There is no tenable notion of global metainferential validity. Analysis, vol. 81 (2021), no. 3, pp. 411-420
456 -- 457Bruno Bentzen. John MacFarlane, Philosophical Logic: A Contemporary Introduction, Routledge Contemporary Introductions to Philosophy, Routledge, New York, and London, 2021, xx + 238 pp
458 -- 464. Notices

Volume 29, Issue 2

157 -- 162Monroe Eskew. Incompatibility of Generic Hugeness Principles
163 -- 169Yatir Halevi, Itay Kaplan. Saturated Models for the Working Model theorist
170 -- 263Rodney G. Downey, Alexander G. Melnikov. Computably Compact Metric Spaces
264 -- 293G. A. Kavvos, Daniel Gratzer. Under Lock and Key: a Proof System for a Multimodal Logic
294 -- 296Magdalen Elmitt. 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
296 -- 297Moritz Müller. Jan Krajìček, Proof Complexity, Encyclopedia of Mathematics and Its Applications, no. 170, Cambridge University Press, Cambridge, UK, 2019, xvi + 516 pp
298 -- 299Dodamgodage Gihanee M. Senadheera. Effective Concept Classes of PAC and PACi Incomparable Degrees, Joins and Embedding of Degrees
299 -- 300Miguel Antonio Cardona-Montoya. Forcing theory and combinatorics of the real line
300 -- 302Rahman Mohammadpour. New methods in forcing iteration and applications
300 -- 0Francesco Paolo Gallinaro. Around Exponential-Algebraic Closedness
303 -- 309. Notices

Volume 29, Issue 1

1 -- 18Will Boney, Barbara F. Csima, Nancy A. Day, Matthew Harrison-Trainor. Which Classes of Structures Are Both Pseudo-Elementary and Definable by an Infinitary Sentence?
19 -- 70Joan Bagaria. Large Cardinals As Principles of Structural Reflection
71 -- 96Charles McCarty, Stewart Shapiro, Ansten Mørch Klev. The Axiom of Choice Is False Intuitionistically (in Most Contexts)
97 -- 127Karel Hrbacek, Mikhail G. Katz. Constructing Nonstandard Hulls and Loeb Measures in Internal Set Theories
128 -- 144Bea Adam-Day, John Howe, Rosario Mennuni. On Double-Membership Graphs of Models of Anti-Foundation
145 -- 149. Association for Symbolic Logic
150 -- 156. Notices