Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization Ryo Takemura OriginalPaper 24 February 2021 Pages: 783 - 813
Generalised stability of ultraproducts of finite residue rings Ricardo Isaac Bello Aguirre OriginalPaper 06 February 2021 Pages: 815 - 829
Short note: Least fixed points versus least closed points Gerhard Jäger OriginalPaper Open access 08 February 2021 Pages: 831 - 835
Monotonic modal logics with a conjunction Paula MenchónSergio Celani OriginalPaper 01 April 2021 Pages: 857 - 877
The theories of Baldwin–Shi hypergraphs and their atomic models Danul K. Gunatilleka OriginalPaper 05 April 2021 Pages: 879 - 908
The automorphism group and definability of the jump operator in the \(\omega \)-enumeration degrees Hristo GanchevAndrey C. Sariev OriginalPaper 01 April 2021 Pages: 909 - 925
On the spectra of cardinalities of branches of Kurepa trees Márk Poór OriginalPaper 28 June 2021 Pages: 927 - 966
Factorizing the \(\mathbf {Top}\)–\(\mathbf {Loc}\) adjunction through positive topologies Francesco CirauloTatsuji KawaiSamuele Maschio OriginalPaper Open access 21 April 2021 Pages: 967 - 979
Pointwise complexity of the derivative of a computable function Ethan McCarthy OriginalPaper 16 April 2021 Pages: 981 - 994
Proof-theoretic uniform boundedness and bounded collection principles and countable Heine–Borel compactness Ulrich Kohlenbach OriginalPaper Open access 26 April 2021 Pages: 995 - 1003
The abstract type of the real numbers Fernando Ferreira OriginalPaper 23 April 2021 Pages: 1005 - 1017
Definable connectedness of randomizations of groups Alexander BerensteinJorge Daniel Muñoz OriginalPaper 05 May 2021 Pages: 1019 - 1041