1. The fixed point and the Craig interpolation properties for sublogics of \(\textbf{IL}\)

   • Sohei Iwata
   • Taishi Kurahashi
   • Yuya Okawa

   OriginalPaper Open access 10 June 2023 Pages: 1 - 37

   

2. Turing degrees and randomness for continuous measures

   • Mingyang Li
   • Jan Reimann

   OriginalPaper 15 June 2023 Pages: 39 - 59

   

3. Revisiting the conservativity of fixpoints over intuitionistic arithmetic

   • Mattias Granberg Olsson
   • Graham E. Leigh

   OriginalPaper Open access 28 July 2023 Pages: 61 - 87

   

4. Herbrand complexity and the epsilon calculus with equality

   • Kenji Miyamoto
   • Georg Moser

   OriginalPaper 29 July 2023 Pages: 89 - 118

   

5. A Mathias criterion for the Magidor iteration of Prikry forcings

   • Omer Ben-Neria

   OriginalPaper 04 August 2023 Pages: 119 - 134

   

6. Convergence of measures after adding a real

   • Damian Sobota
   • Lyubomyr Zdomskyy

   OriginalPaper Open access 11 August 2023 Pages: 135 - 162

   

7. Semi-honest subrecursive degrees and the collection rule in arithmetic

   • Andrés Cordón-Franco
   • F. Félix Lara-Martín

   OriginalPaper 12 August 2023 Pages: 163 - 180

8. Computable approximations of a chainable continuum with a computable endpoint

   • Zvonko Iljazović
   • Matea Jelić

   OriginalPaper 13 September 2023 Pages: 181 - 201

9. Superrosiness and dense pairs of geometric structures

   • Gareth J. Boxall

   OriginalPaper Open access 19 September 2023 Pages: 203 - 209

10. Cut elimination by unthreading

    • Gabriele Pulcini

    OriginalPaper Open access 22 September 2023 Pages: 211 - 223

    

11. Effective weak and vague convergence of measures on the real line

    • Diego A. Rojas

    OriginalPaper Open access 27 September 2023 Pages: 225 - 238

12. Compositional truth with propositional tautologies and quantifier-free correctness

    • Bartosz Wcisło

    OriginalPaper Open access 06 October 2023 Pages: 239 - 257