External Links

    Journal: Bulletin of Symbolic Logic

    Volume 23, Issue 4

    381 -- 404Zlatan Damnjanovic. Mutual interpretability of Robinson Arithmetic and Adjunctive Set Theory with Extensionality
    405 -- 441Pavel Pudlák. Incompleteness in the finite Domain
    442 -- 492Timo Beringer, Thomas Schindler 0002. A Graph-Theoretic Analysis of the Semantic Paradoxes
    493 -- 494Luc Segoufin. M. Grohe, Descriptive Complexity, Canonisation, and Definable Graph Structure Theory, Cambridge University Press, Cambridge, 2017, x + 544 pp
    546 -- 0Owen Griffiths, Alexander C. Paseau. Isomorphism invariance and Overgeneration - Corrigendum

    Volume 23, Issue 3

    279 -- 295Joan Rand Moschovakis. Intuitionistic Analysis at the End of Time
    296 -- 323Ross T. Brady. Metavaluations
    324 -- 333Dusan Repovs, Lyubomyr Zdomskyy. Products of Hurewicz Spaces in the Laver Model
    334 -- 336Anush Tserunyan. C. T. Conley and B. D. Miller, A bound on measurable chromatic numbers of locally finite Borel graphs . Mathematical Research Letters, vol. 23, no. 6 (2016), pp. 1633-1644
    337 -- 344Charles Parsons, Wilfried Sieg. In Memoriam: Solomon Feferman (1928-2016)

    Volume 23, Issue 2

    145 -- 159Omar León Sánchez, Anand Pillay. Some Definable Galois Theory and Examples
    160 -- 180Mushfeq Khan, Joseph S. Miller. Forcing with Bushy Trees
    181 -- 200Davide Rinaldi, Peter Schuster 0001, Daniel Wessel. Eliminating Disjunctions by Disjunction Elimination
    201 -- 203Martino 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 -- 204Kamal 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

    Volume 23, Issue 1

    1 -- 109W. Hugh Woodin. In Search of ultimate-l the 19th Midrasha Mathematicae Lectures
    110 -- 112Sean D. Cox. Omer Ben-Neria, The structure of the Mitchell order-I. Israel Journal of Mathematics vol. 214 (2016), no. 2, pp. 945-982. - Omer Ben-Neria, The structure of the Mitchell order-II. Annals of Pure and Applied Logic, vol. 166 (2015), no. 12, pp. 1407-1432. - Sy-David Friedman and Menachem Magidor, The number of normal measures. Journal of Symbolic Logic, vol. 74 (2009), no. 3, pp. 1069-1080
    113 -- 115Damir D. Dzhafarov. Robert I. Soare, Turing Computability, Theory and Applications of Computability, Springer-Verlag, Berlin, Heidelberg, 2016, xxxvi + 263 pp
    115 -- 117Antoine Chambert-Loir. G.O. Jones and A.J. Wilkie, editors, O-Minimality and Diophantine Geometry. London Mathematical Society Lecture Note Series, vol. 421, Cambridge University Press, 2015. xii + 221 pp
    117 -- 121H. Jerome Keisler. Maryanthe Malliaris and Saharon Shelah, Cofinality spectrum problems in model theory, set theory and general topology . Journal of the American Mathematical Society, vol. 29 (2016), pp. 237-297. - Maryanthe Malliaris and Saharon Shelah, Existence of optimal ultrafilters and the fundamental complexity of simple theories. Advances in Mathematics, vol. 290 (2016), pp. 614-681. - Maryanthe Malliaris and Saharon Shelah, Keisler's order has infinitely many classes. Israel Journal of Mathematics, to appear, https://math.uchicago.edu/∼mem/
    122 -- 123Wim Veldman. In Memoriam: Walter (Wouter) van Stigt (1927-2015)
    runs on