1. Algorithmische Probleme bei Einrelatorgruppen und ihre Komplexität

   • J. Avenhaus
   • K. Madlener

   OriginalPaper Pages: 3 - 12

2. On the elementary theory of inductive order

   • E. A. Sonenberg

   OriginalPaper Pages: 13 - 22

3. A note on ℵ₀-categorical model-companions

   • Volker Weispfenning

   OriginalPaper Pages: 23 - 29

4. Choice sequences and reduction processes

   • R. Haberthür

   OriginalPaper Pages: 31 - 49

5. Compact and ϖ-compact formulas in 51-151-151-1

   • Bonnie Gold

   OriginalPaper Pages: 51 - 64

6. Eine beweistheoretische Anwendung partieller stetiger Funktionale

   • H. Vogel

   OriginalPaper Pages: 65 - 78

7. On relational selections for complete theories

   • Klaus Kaiser

   OriginalPaper Pages: 79 - 87

8. Charakterisierung der Aufzählungsreduzierbarkeit

   • Friedrich von Hebeisen

   OriginalPaper Pages: 89 - 95

9. Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen

   • Martin Wirsing

   OriginalPaper Pages: 97 - 109

10. Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen

    • Egon Börger

    OriginalPaper Pages: 111 - 114

11. The operator gap theorem in α-recursion theory

    • Robert A. Di Paola

    OriginalPaper Pages: 115 - 129

12. Équivalence naturelle et formules logiques en théorie des catégories

    • Georges Blanc

    OriginalPaper Pages: 131 - 137

13. A new type assignment for λ-terms

    • M. Coppo
    • M. Dezani-Ciancaglini

    OriginalPaper Pages: 139 - 156

14. Consistency proof without transfinite induction for a formal system for turing machines

    • Salvatore Caporaso

    OriginalPaper Pages: 157 - 164

15. Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen

    • H. Vogel

    OriginalPaper Pages: 165 - 173

16. Interpretationen der Heyting-Arithmetik endlicher Typen

    • Martin Stein

    OriginalPaper Pages: 175 - 189