- Christian Espíndola. Infinitary first-order categorical logic. Annals of Pure and Applied Logic, 170(2):137-162, 2019.
- Ayana Hirata, Hajime Ishihara, Tatsuji Kawai, Takako Nemoto. Equivalents of the finitary non-deterministic inductive definitions. Annals of Pure and Applied Logic, 170(10):1256-1272, 2019.
- Anuj Dawar, Simone Severini, Octavio Zapata. Descriptive complexity of graph spectra. Annals of Pure and Applied Logic, 170(9):993-1007, 2019.
- Michael Shulman. Comparing material and structural set theories. Annals of Pure and Applied Logic, 170(4):465-504, 2019.
- Åsa Hirvonen, Tapani Hyttinen. On eigenvectors, approximations and the Feynman propagator. Annals of Pure and Applied Logic, 170(1):109-135, 2019.
- Sebastian Enqvist, Fatemeh Seifan, Yde Venema. μ-calculi: A coalgebraic approach. Annals of Pure and Applied Logic, 170(5):578-641, 2019.
- Ekaterina B. Fokina, Valentina S. Harizanov, Daniel Turetsky. Computability-theoretic categoricity and Scott families. Annals of Pure and Applied Logic, 170(6):699-717, 2019.
- S. N. Popova, M. E. Zhukovskii. Existential monadic second order logic of undirected graphs: The Le Bars conjecture is false. Annals of Pure and Applied Logic, 170(4):505-514, 2019.
- Milos S. Kurilic. Vaught's conjecture for monomorphic theories. Annals of Pure and Applied Logic, 170(8):910-920, 2019.
- Raine Rönnholm. k-ary exclusion logic. Annals of Pure and Applied Logic, 170(9):1070-1099, 2019.