1. Condensable models of set theory

   • Ali Enayat

   OriginalPaper Open access 06 August 2021 Pages: 299 - 315

2. Combinatory logic with polymorphic types

   • William R Stirton

   OriginalPaper 27 August 2021 Pages: 317 - 343

3. Definable groups in dense pairs of geometric structures

   • Alexander Berenstein
   • Evgueni Vassiliev

   OriginalPaper 08 October 2021 Pages: 345 - 372

4. Computability and the game of cops and robbers on graphs

   • Rachel D. Stahl

   OriginalPaper 24 September 2021 Pages: 373 - 397

   

5. Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts

   • Kentaro Sato

   OriginalPaper 16 October 2021 Pages: 399 - 435

   

6. Hanf numbers for extendibility and related phenomena

   • John T. Baldwin
   • Saharon Shelah

   OriginalPaper 13 October 2021 Pages: 437 - 464

7. Model theory of monadic predicate logic with the infinity quantifier

   • Facundo Carreiro
   • Alessandro Facchini
   • Fabio Zanasi

   OriginalPaper Open access 27 October 2021 Pages: 465 - 502

   

8. Efficient elimination of Skolem functions in \(\text {LK}^\text {h}\)

   • Ján Komara

   OriginalPaper 22 November 2021 Pages: 503 - 534

   

9. Multiplicative finite embeddability vs divisibility of ultrafilters

   • Boris Šobot

   OriginalPaper 11 October 2021 Pages: 535 - 553

   

10. A note on cut-elimination for classical propositional logic

    • Gabriele Pulcini

    OriginalPaper Open access 26 November 2021 Pages: 555 - 565

    

11. Coanalytic ultrafilter bases

    • Jonathan Schilhan

    OriginalPaper 03 November 2021 Pages: 567 - 581

12. A criterion for uniform finiteness in the imaginary sorts

    • Will Johnson

    OriginalPaper 23 November 2021 Pages: 583 - 589