Hostname: page-component-5cf477f64f-r2nwp Total loading time: 0 Render date: 2025-04-01T22:16:58.132Z Has data issue: false hasContentIssue false

CONTENTS OF VOLUME 30

Published online by Cambridge University Press:  18 March 2025

Rights & Permissions [Opens in a new window]

Abstract

Type
Notes
Copyright
© The Author(s), 2025. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

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