Articles

Albuquerque, Hugo and Caleiro, Carlos. An abstract algebraic logic study of da Costa’s logic ${\mathscr {C}}_1$ and some of its paraconsistent extensions 477

Button, Tim. Level theory, part 3: A Boolean algebra of sets arranged in well-ordered levels 1

Carroy, Raphaël, Medini, Andrea, and Müller, Sandra. Constructing Wadge classes 207

Debowski, Łukasz and Steifer, Tomasz. Universal coding and prediction on ergodic random points 387

Fellin, Giulio, Schuster, Peter, and Wessel, Daniel. The Jacobson radical of a propositional theory 163

Freire, Rodrigo A. and Holy, Peter. An axiomatic approach to forcing in a general setting 427

Frittaion, Emanuele. A note on fragments of uniform reflection in second order arithmetic 451

Galeotti, Lorenzo and Löwe, Benedikt. Order types of models of fragments of Peano Arithmetic 182

Harrison-Trainor, Matthew. An introduction to the Scott complexity of countable structures and a survey of recent results 71

Hölzl, Rupert and Porter, Christopher P. Degrees of randomized computability 27

Kripke, Saul A. The collapse of the Hilbert program: A variation on the Gödelian theme 413

Sagi, Gil. Invariance criteria as meta-constraints 104

Shulman, Michael. Affine logic for constructive mathematics 327

Communication

Barnes, James S., Goh, Jun Le, and Shore, Richard A. Theorems of hyperarithmetic analysis and almost theorems of hyperarithmetic analysis 133

In Memoriam

In Memoriam: Gerald E. Sacks, 1933–2019 150

Thesis Abstracts

Barnicle, Madeline G. Uniform Properties of Ideals in Rings of Restricted Power Series, University of California, Los Angeles, USA, 2019. Supervised by Matthias Aschenbrenner 258

Figueiredo, Rodrigo. O-minimal de Rham Cohomology, Universidade de São Paulo, São Paulo, SP, Brazil. 2017. Supervised by Ricardo Bianconi 529

Gazzari, René. Formal Theories of Occurrences and Substitutions, University of Tübingen, Germany, 2020. Supervised by Peter Schroeder-Heister and Reinhard Kahle 261

Golzio, Ana Claudia de Jesus. Non-Deterministic Matrices: Theory and Applications to Algebraic Semantics, University of Campinas, Brazil, 2017. Supervised by Marcelo Esteban Coniglio 260

González, Osvaldo Guzmán. P-points, MAD families and Cardinal Invariants, Centro de Ciencias Matemáticas, UNAM. Morelia, Michoacan, Mexico, 2017 258

Kamsma, Mark. Independence Relations in Abstract Elementary Categories, University of East Anglia, UK, 2022. Supervised by Jonathan Kirby 531

Maia, Hendrick. QuillenModel Categories-Based Notions of Locality of Logics over Finite Structures, University of Campinas, Brazil 2019. Supervised by Marcelo Esteban Coniglio 529

Mikec, Luka. On Logics and Semantics for Interpretability, University of Barcelona, Spain, and University of Zagreb, Croatia (cotutelle), 2021. Supervised by Joost J. Joosten and Mladen Vukovic´ 265

Niki, Satoru. Investigations into intuitionistic and other negations, Japan Advanced Institute of Science and Technology, Nomi, Japan, 2021. Supervised by Hajime Ishihara 532

Norwood, Zach. The Combinatorics and Absoluteness of Definable Sets of Real Numbers, University of California, Los Angeles, USA, 2018. Supervised by Itay Neeman 263

Oliveira, Kleidson E^ˆ glicio Carvalho da Silva. Paraconsistent Logic Programming in Three and Four-Valued Logics, University of Campinas, Brazil, 2017. Supervised by Marcelo Esteban Coniglio 260

Pinto, Pedro. Proof Mining with the Bounded Functional Interpretation, Faculdade de Ciências, Universidade de Lisboa, Lisboa, Portugal, 2019. Supervised by Fernando Ferreira 265

Preto, Sandro Márcio da Silva. Semantics modulo satisfiability with applications: function representation, probabilities and game theory, Institute of Mathematics and Statistics, University of São Paulo, São Paulo, Brazil, 2021. Supervised by Marcelo Finger 264

Stafford, Will. Something Valid This Way Comes: A Study of Neologicism and Proof-Theoretic Validity, University of California, Irvine, USA, 2021. Supervised by Kai Wehmeier and Sean Walsh 530

Storms, Sven. The Buridan-Volpin Derivation System; Properties and Justification, Department of Philosophy, Tilburg University, Tilburg, The Netherlands. May 4, 2022. Supervised by Harrie de Swart and Filip Buekens 533

Valenti, Manlio. A journey through computability, topology and analysis, Università degli studi di Udine, Udine, Italy, 2021. Supervised by Alberto Marcone 266

Webb, David J. On New Notions of Algorithmic Dimension, Immunity, and Medvedev Degree, University of Hawai‘i at M¯anoa, Honolulu, HI, USA. 2022. Supervised by Bjørn Kjos-Hanssen 532

Wu, Xinhe. Boolean-Valued Models and Their Applications, Massachusetts Institute of Technology, Cambridge, MA, USA. 2022. Supervised by Vann McGee 533

Meeting Report

2021 European summer meeting of the Association for Symbolic Logic Logic Colloquium ’21 268

2022 Winter Meeting of the Association for Symbolic Logic with the AMS 466

2022 Winter Meeting of the Association for Symbolic Logic with the APA 467

2022 North American Annual Meeting of the Association for Symbolic Logic 536

2022 European Summer Meeting of the Association for Symbolic Logic 566

Notices

Notices 156, 319, 470, 607