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
