465 | -- | 502 | Zlatan Damnjanovic. Tree Theory: interpretability between Weak First-order Theories of Trees |
503 | -- | 587 | Johan van Benthem, Thomas Icard. Interleaving Logic and Counting |
588 | -- | 625 | Christopher Henney-Turner, Peter Holy, Philipp Schlicht, Philip D. Welch. Asymmetric Cut and Choose Games |
626 | -- | 655 | Kirsten Eisenträger, Russell Miller 0001, Caleb Springer, Linda Westrick. A Topological Approach to Undefinability in Algebraic Extensions of |
656 | -- | 657 | Derek 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 | -- | 660 | Pavel Pudlák. Reviews |
660 | -- | 662 | Chris J. Conidis. Reverse Mathematics: Problems, Reductions, and Proofs. Theory and Applications of Computability. Springer Nature, Cham, 2022, xix + 488 pp |
663 | -- | 0 | James Holland. Weak Indestructibility and Reflection |
664 | -- | 0 | Waseet Kazmi. Ordered Groups, Computability and Cantor-Bendixson Rank |
664 | -- | 0 | Teerawat Thewmorakot. Computability Theory on Polish Metric Spaces |
664 | -- | 665 | Daniel 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 |