1. On two complete sets in the analytical and the arithmetical hierarchies

   • Shlomo Vinner

   OriginalPaper Pages: 81 - 84

2. Liberated versions ofT, S4, andS5

   • Charles G. Morgan

   OriginalPaper Pages: 85 - 90

3. Various remarks on quasi-universal model classes

   • Klaus Kaiser

   OriginalPaper Pages: 91 - 95

4. Model-interpretability into trees and applications

   • Ivan Korec

   OriginalPaper Pages: 97 - 104

5. Diem-Grade Logischer Entscheidungsprobleme

   • Egon Börger
   • Klaus Heidler

   OriginalPaper Pages: 105 - 111

6. Definierbare Funktionen imλ-Kalkül mit Typen

   • Helmut Schwichtenberg

   OriginalPaper Pages: 113 - 114

7. Die mit Nestedstackautomaten Berechenbaren Funktionen sind Elementar

   • Heinrich Beck

   OriginalPaper Pages: 115 - 128

8. Quasi-axiomatic classes

   • Klaus Kaiser

   OriginalPaper Pages: 129 - 134

9. Zur Konstruktiven Differenzierbarkeit von Monotonen Berechenbaren Funktionen

   • Hanke Bremer
   • Conrad H. H. Reynvaan

   OriginalPaper Pages: 135 - 143

10. On interpolation when function symbols are present

    • Walter Felscher

    OriginalPaper Pages: 145 - 157

11. Interpolation formulae for predicates and terms which carry their own history

    • Jürgen Schulte-Mönting

    OriginalPaper Pages: 159 - 169

12. Einführung der NormalfunktionenΘ _a ohne Auswahlaxiom und ohne Regularitätsbedingungohne Auswahlaxiom und ohne Regularitätsbedingung

    • Kurt Schütte

    OriginalPaper Pages: 171 - 178

13. Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und\(\bar \Theta \left( \omega \right)\)

    • Wilfried Buchholz
    • Kurt Schütte

    OriginalPaper Pages: 179 - 189