Condensable models of set theory Ali Enayat OriginalPaper Open access 06 August 2021 Pages: 299 - 315
Combinatory logic with polymorphic types William R Stirton OriginalPaper 27 August 2021 Pages: 317 - 343
Definable groups in dense pairs of geometric structures Alexander BerensteinEvgueni Vassiliev OriginalPaper 08 October 2021 Pages: 345 - 372
Computability and the game of cops and robbers on graphs Rachel D. Stahl OriginalPaper 24 September 2021 Pages: 373 - 397
Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts Kentaro Sato OriginalPaper 16 October 2021 Pages: 399 - 435
Hanf numbers for extendibility and related phenomena John T. BaldwinSaharon Shelah OriginalPaper 13 October 2021 Pages: 437 - 464
Model theory of monadic predicate logic with the infinity quantifier Facundo CarreiroAlessandro FacchiniFabio Zanasi OriginalPaper Open access 27 October 2021 Pages: 465 - 502
Efficient elimination of Skolem functions in \(\text {LK}^\text {h}\) Ján Komara OriginalPaper 22 November 2021 Pages: 503 - 534
Multiplicative finite embeddability vs divisibility of ultrafilters Boris Šobot OriginalPaper 11 October 2021 Pages: 535 - 553
A note on cut-elimination for classical propositional logic Gabriele Pulcini OriginalPaper Open access 26 November 2021 Pages: 555 - 565
A criterion for uniform finiteness in the imaginary sorts Will Johnson OriginalPaper 23 November 2021 Pages: 583 - 589