1. Saturated models of incomplete theories

   • Robert Fittler

   OriginalPaper Pages: 3 - 14

2. Some categories of models

   • Robert Fittler

   Erratum Pages: 14 - 14

3. Prädikatenlogik mit partiell definierten Funktionen II

   • Werner Markwald

   OriginalPaper Pages: 15 - 22

4. Über zwei Bezeichnungssysteme für Ordinalzahlen

   • Helmut Pfeiffer

   OriginalPaper Pages: 23 - 36

5. Boolean ultrapowers

   • Klaus Potthoff

   OriginalPaper Pages: 37 - 48

6. Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen

   • Justus Diller

   OriginalPaper Pages: 49 - 66

7. Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen

   • Egon Börger

   OriginalPaper Pages: 67 - 84

8. On centain decompositions of Gödel numberings

   • B. Buchberger

   OriginalPaper Pages: 85 - 96