1. Non-definability of the Ackermann function with type 1 partial primitive recursion

   • Karl-Heinz Niggl

   Pages: 1 - 13

2. The number of lines in Frege proofs with substitution

   • Alasdair Urquhart

   Pages: 15 - 19

3. An intuitionistic fixed point theory

   • Wilfried Buchholz

   Pages: 21 - 27

4. Sierpiński-Zygmund functions that are Darboux, almost continuous, or have a perfect road

   • Marek Balcerzak
   • Krzysztof Ciesielski
   • Tomasz Natkaniec

   Pages: 29 - 35

5. Fragments of \(HA\) based on \(\Sigma_1\)-induction

   • Kai F. Wehmeier

   Pages: 37 - 49

6. The function \(\lfloor a/m\rfloor\) in sharply bounded arithmetic

   • Mitsuru Tada
   • Makoto Tatsuta

   Pages: 51 - 57

7. On the Jordan-Hölder decomposition of proof nets

   • Quintijn Puite
   • Harold Schellinx

   Pages: 59 - 65