Articles

Adam-Day, Bea, Howe, John, and Mennuni, Rosario. On double-membership graphs of models of anti-foundation 128

Bagaria, Joan. Large cardinals as principles of structural reflection 19

Boney, Will, Csima, Barbara. F., Day, Nancy A., and Harrison-Trainor, Matthew. Which classes of structures are both pseudo-elementary and definable by an infinitary sentence? 1

Brauer, Ethan. A classical modal theory of lawless sequences 406

Damnjanovic, Zlatan. Tree theory: Interpretability between weak first-order theories of trees 465

Downey, Rodney G. and Melnikov, Alexander G. Computably compact metric spaces 170

Eisenträger, Kirsten, Miller, Russell, Springer, Caleb and Westrick, Linda. A topological approach to undefinability in algebraic extensions of 626

Eskew, Monroe. Incompatibility of generic hugeness principles 157

Fujiwara, Makoto, Ishihara, Hajime, Nemoto, Takako, Suzuki, Nobu-Yuki, and Yokoyama, Keita. Extended frames and separations of logical principles 311

Halevi, Yatir and Kaplan, Itay. Saturated models for the working model theorist 163

Henney-Turner, Christopher, Holy, Peter, Schlicht, Philipp and Welch, Philip. Asymmetric cut and choose games 588

Hrbacek, Karel and Katz, Mikhail G. Constructing nonstandard hulls and Loeb measures in internal set theories 97

Kavvos, G. A. and Gratzer, Daniel. Under lock and key: a proof system for amultimodal logic 264

Matet, Pierre. Menas’s conjecture revisited 354

McCarty, Charles, Shapiro, Stewart, and Klev, Ansten. The axiom of choice is false intuitionistically (in most contexts) 71

van Benthem, Johan and Icard, Thomas. Interleaving logic and counting 503

Reviews

Dzhafarov, D. and Mummert, C. Reverse Mathematics: Problems, Reductions, and Proofs. Reviewed by Chris J. Conidis 660

Krajìčcek, J. Proof Complexity. Reviewed by Moritz Müller 296

Steele, K. and Stefánsson, Orri H., Beyond Uncertainty: Reasoning with Unknown Possibilities. Reviewed by Mag dalen Elmitt 294

MacFarlane, John. Philosophical Logic: A Contemporary Introduction. Reviewed by Bruno Bentzen 456

Steel, John and Woodin, Hugh. HOD as a Core Model. Reviewed by Derek Levinson 656

Three papers on recent work on meta-validity. Reviewed by Chris Scambler 453

Bruce M. Kapron, ed. Logic, Automata and Computational Complexity: The Works of Stephen A. Cook. Reviewed by Pavel Pudlák 658

Thesis Abstracts

Cardona-Montoya, Antonio, Miguel, Forcing theory and combinatorics of the real line, Vienna University of Technology, Vienna, Austria, 2022. Supervised by Jakob Kellner and Diego A. Mejía 299

Senadheera, Dodamgodage Gihanee M., Effective Concept Classes of PAC and PACi Incomparable Degrees, Joins and Embedding of Degrees, School of Mathematical and Statistical Sciences, Southern Illinois University, Carbondale, IL, USA, 2022. Supervised by Wesley Calvert 298

Holland, James, Weak Indestructibility and Reflection, Rutgers University, New Brunswick, NJ, USA, 2023. Supervised by Grigor Sargsyan 663

Kazmi, Waseet, Ordered Groups, Computability and Cantor-Bendixson Rank, University of Connecticut, Storrs, CT, USA, 2023. Supervised by David Reed Solomon 664

Mohammadpour, Rahman, New methods in forcing iteration and applications, Institut de Mathématiques de Jussieu-Paris Rive Gauche, Université de Paris, Paris, France, 2020. Supervised by Boban Veličckovićc 300

Mourad, Daniel. Computability Theory: Constructive Applications of the Lefthanded Local Lemma and Characterizations of Some Classes of Cohesive Powers. Department of Mathematics, University of Connecticut, Storrs, CT, USA. 2023. Supervised by Davide Reed Solomon 664

Paolo Gallinaro, Francesco, Around Exponential-Algebraic Closedness, University of Leeds, UK, 2022. Supervised by Vincenzo Mantova 300

Thewmorakot, Teerawat, Computability Theory on Polish Metric Spaces, University of Connecticut, Storrs, CT, USA, 2023. Supervised by David Reed Solomon 664

Meeting Reports

2023 Winter Meeting of the Association for Symbolic Logic, Boston, Massachusetts, Joint Mathematics Meeting, January 6–7, 2023 666

2023 North American Annual Meeting of the Association for Symbolic Logic, University of California, Irvine, Irvine, CA, USA, March 25–29, 2023 672

2023 Spring Meeting of the Association for Symbolic Logic, The Westin St. Francis, San Francisco, CA, Pacific APA Meeting, April 5–6, 2023s 696

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 703

28th Workshop on Logic, Language, Information and Computation (WoLLIC 2021) co-sponsored by the Association for Symbolic Logic, Virtual Event, October 5–8, 2021 725

Notices

Notices 150, 303, 458, 726

Officers and Committees of the Association for Symbolic Logic 145