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
