| 145 | -- | 159 | Omar León Sánchez, Anand Pillay. Some Definable Galois Theory and Examples |
| 160 | -- | 180 | Mushfeq Khan, Joseph S. Miller. Forcing with Bushy Trees |
| 181 | -- | 200 | Davide Rinaldi, Peter Schuster 0001, Daniel Wessel. Eliminating Disjunctions by Disjunction Elimination |
| 201 | -- | 203 | Martino Lupini. I. Ben Yaacov, J. Melleray, and T. Tsankov, Metrizable universal minimal flows of Polish groups have a comeagre orbit.Geometric and Functional Analysis, vol. 27 (2017), no. 1, pp. 67-77. - J. Melleray, L. Nguyen Van Thé, and T. Tsankov, Polish groups with metrizable universal minimal flows. International Mathematics Research Notices, vol. 2016, no. 5, pp. 1285-1307 |
| 203 | -- | 204 | Kamal Lodaya. Stéphane Demri, Valentin Goranko, and Martin Lange, Temporal Logics in Computer Science: Finite-state Systems, Cambridge Tracts in Theoretical Computer Science, vol. 58, Cambridge University Press, Cambridge, 2016, viii + 744 pp |