Articles
Avron, Arnon. Poincaré–Weyl’s predicativity: Going beyond 41
Brîncuş, Constantin C. Categorical quantification 227
Cintula, Petr, Metcalfe, George and Tokuda, Naomi. One-variable fragments of first-order logics 253
Day, Adam, Greenberg, Noam, Harrison-Trainor, Matthew and Turetsky, Dan. Iterated priority arguments in descriptive set theory 199
Fernández-Duque, David and Weiermann, Andreas. A walk with Goodstein 1
Goldbring, Isaac and Hart, Bradd. The universal theory of the hyperfinite II1 factor is not computable 181
Inamdar, Tanmay and Rinot, Assaf. A club guessing toolbox I 303
Jeon, Hanul and Matthews, Richard. Very large set axioms over constructive set theories 455
Jeřábek, Emil. A note on the theory of well orders 538
Krajíček, Jan. On the existence of strong proof complexity generators 20
Kurahashi, Taishi and Visser, Albert. Pour-El’s landscape 362
P. Aguilera, Juan and Iannella, Martina. A one-page proof of a theorem of Beleznay 536
Sanders, Sam. A note on continuous functions on metric spaces 398
Reviews
Bodirsky, M. Complexity of Infinite-Domain Constraint Satisfaction. Reviewed by Andrei Krokhin 431
Compactness of ω 1 and strong axioms of determinacy. Reviewed by Takehiko Gappo 279
Iaquinto, S. and Torrengo, G. Fragmenting Reality: An Essay on Passage, Causality and Time. Reviewed by Lorenzo Azzano 424
Kirby, J. An invitation to model theory. Reviewed by A. Martin-Pizarro 421
Mares, E. The Logic of Entailment and its History. Reviewed by Tore Fjetland Øgaard 422
Piecha, T. and Schroeder-Heister, P. Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics. Reviewed by Will Stafford 427
Pincock, Christopher. Mathematics and Explanation. Elements in the Philosophy of Mathematics. Cambridge University Press, Cambridge, UK, 2023, 80 pp. Reviewed by Daniele Molinini 282
Roberts, Sam. Pluralities as Nothing Over and Above. Reviewed by Gabriel Uzquiano 92
Thesis Abstracts
Cipriani, Vittorio. Many problems, different frameworks: classification of problems in computable analysis and algorithmic learning theory. Università degli studi di Udine, Udine, Italy, 2023. Supervised by Alberto Marcone and co-supervised by Luca San Mauro 287
Hamel, Clovis. New Results in Model Theory and Set Theory. University of Toronto, Toronto, ON. 2023. Supervised by Franklin D. Tall. 543
Iannella, Martina. From real-life to very strong axioms. Classification problems in Descriptive Set Theory and regularity properties in Generalized Descriptive Set Theory. Università degli studi di Udine, Udine, Italy. 2023. Supervised by Alberto Marcone and co-supervised by Vincenzo Dimonte 285
Lietz, Andreas. Forcing “NSω 1 is ω 1-Dense” from Large Cardinals. Universität Münster, Münster, Germany. 2023. Supervised by Ralf Schindler 544
Pischke, Nicholas. Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis. Technische Universität Darmstadt, Darmstadt, Germany. 2024. Supervised by Prof. Dr. Ulrich Kohlenbach 288
Tleuliyeva, Zhansaya. Algorithmic Properties of Rogers Semilattices Nazarbayev University. Supervised by Manat Mustafa and Nikolay Bazhenov 544
Meeting Reports
2023 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium 2023 94
Seventeenth Asian Logic Conference an Official Meeting of the Association for Symbolic Logic 140
2023 Meeting of the Australasian Association for Logic 152
2024 Winter Meeting of the Association for Symbolic Logic 166
2024 Spring Meeting of the Association for Symbolic Logic 172
Association for Symbolic Logic 176
Proof Society Autumn School and Workshop 2022, Co-Sponsored by the Association for Symbolic Logic, Utrecht, The Netherlands, November 7–12, 2022 290
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 292
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 293
The Second International Conference on Homotopy type Theory (HoTT 2023), Pittsburgh, USA, May 22–25, 2023 443
Model Theory Conference in Seoul, Seoul, South Korea, August 28–30, 2023 444
Model theory workshop and Conference 2023, Wrocław, Poland, September 15–23, 2023 445
Conference: Model theory and Groups, A conference on the occasion of Katrin Tent’s 60th Birthday, Münster, Germany, September 25–29, 2023 446
The fourteenth PHD’s-in-Logic International, Conference (PHD’s in Logic 2023), Granada, Spain, October 4–6, 2023 447
Australasian Logic Colloquium, Brisbane, Australia, 6–8 November 2023 448
CCR 2024: The 17th International Conference on Computability, Complexity and Randomness, Nagoya, Japan, March 11–15, 2024 546
2024 North American Annual Meeting of the Association for Symbolic Logic, Iowa State University, Ames, IA, USA, May 14–17, 2024 547
2024 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium 2024, University of Gothenburg, Gothenburg, Sweden, 24 June – 28 June, 2024 580
In Memoriam
Saul Kripke (1940–2022), by Sergei Artemov, John P. Burgess, Melvin Fitting and Anandi Hattiangadi 433
Notices
Notices 294, 449, 615
Association for Symbolic Logic 176