Journal: Bulletin of Symbolic Logic

Volume 30, Issue 4

455 -- 535Hanul Jeon, Richard Matthews. Very Large Set Axioms over Constructive Set Theories
536 -- 537Juan P. Aguilera 0001, Martina Iannella. A One-Page Proof of a Theorem of Beleznay
538 -- 542Emil Jerábek. A note on the Theory of Well Orders
543 -- 544Clovis Hamel. New Results in Model Theory and Set Theory
544 -- 545Zhansaya Tleuliyeva. Algorithmic Properties of Rogers Semilattices
544 -- 0Andreas Lietz. -Dense" from Large Cardinals
546 -- 0. CCR 2024: THE 17TH INTERNATIONAL CONFERENCE ON COMPUTABILITY, COMPLEXITY AND RANDOMNESS CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Nagoya, Japan March 11-15, 2024
547 -- 579. 2024 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Iowa State University Ames, IA, USA May 14-17, 2024
580 -- 614. 2024 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC, LOGIC COLLOQUIUM 2024 University of Gothenburg Gothenburg, Sweden 24 June - 28 June, 2024
615 -- 620. Notices

Volume 30, Issue 3

303 -- 361Tanmay Inamdar 0001, Assaf Rinot. A Club Guessing Toolbox I
362 -- 397Taishi Kurahashi, Albert Visser. Pour-el's Landscape
398 -- 420Sam Sanders. A note on continuous Functions on Metric Spaces
421 -- 422Amador Martin-Pizarro. An Invitation to Model Theory. Cambridge University Press, Cambridge, UK, 2019, xiv + 182 pp
422 -- 424Tore Fjetland Øgaard. The Logic of Entailment and its History. Cambridge University Press, Cambridge, UK, 2024, xv + 264 pp
424 -- 427Lorenzo Azzano. Fragmenting Reality: An Essay on Passage, Causality and Time. Bloomsbury Academic, London, 2022, x + 208 pp
427 -- 431Will Stafford. Erkenntnis, vol. 86 (2021), no. 2, pp. 429-455
431 -- 432Andrei A. Krokhin. Complexity of Infinite-Domain Constraint Satisfaction. Lecture Notes in Logic, vol. 52. Cambridge University Press, 2021
433 -- 442Sergei Artemov, John P. Burgess, Melvin Fitting, Anandi Hattiangadi. SAUL KRIPKE (1940-2022)
443 -- 0. THE SECOND INTERNATIONAL CONFERENCE ON HOMOTOPY TYPE THEORY (HoTT 2023) SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Pittsburgh, USA May 22-25, 2023
444 -- 0. MODEL THEORY CONFERENCE IN SEOUL CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Seoul, South Korea August 28-30, 2023
445 -- 0. MODEL THEORY WORKSHOP AND CONFERENCE 2023 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Wrocław, Poland September 15-23, 2023
446 -- 0. 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, 2023
447 -- 0. 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, 2023
448 -- 0. AUSTRALASIAN LOGIC COLLOQUIUM CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Brisbane, Australia 6-8 November 2023
449 -- 454. Notices

Volume 30, Issue 2

181 -- 198Isaac Goldbring, Bradd Hart. The Universal Theory of the Hyperfinite II $_1$ factor is not Computable
199 -- 226Adam R. Day, Noam Greenberg, Matthew Harrison-Trainor, Dan Turetsky. Iterated Priority Arguments in Descriptive Set Theory
227 -- 252Constantin C. Brîncus. Categorical Quantification
253 -- 278Petr Cintula, George Metcalfe, Naomi Tokuda. One-variable Fragments of First-order Logics
279 -- 282Takehiko Gappo. Advances in Mathematical Logic (T. Arai, M. Kikuchi, S. Kuroda, M. Okada, T. Yorioka, editors), Springer, Proceedings Mathematics & Statistics, Singapore, 369, 2021, pp. 27-45
282 -- 284Daniele Molinini. Mathematics and Explanation. Elements in the Philosophy of Mathematics. Cambridge University Press, Cambridge, UK, 2023, 80 pp
285 -- 286Martina Iannella. From real-life to very strong axioms. Classification problems in Descriptive Set Theory and regularity properties in Generalized Descriptive Set Theory
287 -- 288Vittorio Cipriani. Many problems, different frameworks: classification of problems in computable analysis and algorithmic learning theory
288 -- 289Nicholas Pischke. Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis
290 -- 291. PROOF SOCIETY AUTUMN SCHOOL AND WORKSHOP 2022 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Utrecht, The Netherlands November 7-12, 2022
292 -- 0. 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, 2022
293 -- 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, 2022
294 -- 301. Notices

Volume 30, Issue 1

1 -- 19David Fernández Duque, Andreas Weiermann. A Walk with Goodstein
1 -- 0. BSL volume 30 issue 1 Cover and Back matter
1 -- 0. BSL volume 30 issue 1 Cover and Front matter
20 -- 40Jan Krajícek. On the existence of Strong Proof Complexity Generators
41 -- 91Arnon Avron. Poincaré-Weyl's Predicativity: going beyond
92 -- 93Gabriel Uzquiano. Sam Roberts. Pluralities as Nothing Over and Above. Journal of Philosophy, vol. CXIX (2022), no. 8, pp. 405-424
94 -- 139. 2023 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2023 University of Milan Milan, Italy June 5 - June 9, 2023
140 -- 151. SEVENTEENTH ASIAN LOGIC CONFERENCE AN OFFICIAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Nankai University Tianjin, China October 9-13, 2023
152 -- 165. 2023 MEETING OF THE AUSTRALASIAN ASSOCIATION FOR LOGIC University of Queensland Brisbane, Australia 9-10 November, 2023
166 -- 171. 2024 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC San Francisco, California Joint Mathematics Meeting January 3-6, 2024
172 -- 175. 2024 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC The Sheraton Times Square, New York, NY Eastern APA Meeting January 15-18, 2024
176 -- 180. Association for Symbolic Logic