1. Elimination of algorithmic quantifiers for ordered differential algebra

   • Yunfu Shen

   Pages: 139 - 144

2. Note on extensions of Heyting's arithmetic by adding the “creative subject”

   • Victor N. Krivtsov

   Pages: 145 - 152

3. Some remarks on category of the real line

   • Kyriakos Keremedis

   Pages: 153 - 162

4. Subrecursive functions on partial sequences

   • Karl-Heinz Niggl

   Pages: 163 - 193

5. Reverse mathematics of prime factorization of ordinals

   • Jeffry L. Hirst

   Pages: 195 - 201