1. Categoricity and generalized model completeness

   • G. Ahlbrandt
   • John T. Baldwin

   OriginalPaper Pages: 1 - 4

2. Ein Wohlordnungsbeweis für das OrdinalzahlensystemT(J)

   • K. Schütte

   OriginalPaper Pages: 5 - 20

3. Definable sets and expansions of models of Peano arithmetic

   • Roman Murawski

   OriginalPaper Pages: 21 - 33

4. Castor quadruplorum

   • Arnold Oberschelp
   • Karsten Schmidt-Göttsch
   • Günter Todt

   OriginalPaper Pages: 35 - 44

5. Some local properties of ω-stable groups

   • Katsumi Tanaka

   OriginalPaper Pages: 45 - 47

6. Productive sets and constructively nonpartial-recursive functions

   • Akira Kanda

   OriginalPaper Pages: 49 - 50

7. Induktive Definitionen und Dilatoren

   • Wilfried Buchholz

   OriginalPaper Pages: 51 - 60

8. Operating on the universe

   • Narciso Garcia

   OriginalPaper Pages: 61 - 68

9. The number of proof lines and the size of proofs in first order logic

   • Jan Krajíček
   • Pavel Pudlák

   OriginalPaper Pages: 69 - 84

10. Eine ErweiterungT(V′) des Ordinalzahlensystems 58-0158-0158-01(Λ₀) von G. Jäger

    • Kurt Schütte

    OriginalPaper Pages: 85 - 99