1. Interpolation in Logiken monotoner systeme

   • H. -D. Ebbinghaus
   • M. Ziegler

   OriginalPaper Pages: 1 - 17

   

2. Undecidability vs transfinite induction for the consistency of hyperarithmetical sets

   • Salvatore Caporaso
   • Giovanni Pani

   OriginalPaper Pages: 19 - 26

3. Eine Variante Des OrdinalzahlbezeichnungssystemsΣ

   • H. Vogel

   OriginalPaper Pages: 27 - 41

4. Prefix classes of krom formulae with identity

   • Stal O. Aanderaa
   • Egon Börger
   • Yuri Gurevich

   OriginalPaper Pages: 43 - 49

5. Some diophantine forms of gödel's theorem

   • Verena H. Dyson
   • James P. Jones
   • John C. Shepherdson

   OriginalPaper Pages: 51 - 60

6. Interpolation, compactness and JEP in soft model theory

   • Daniele Mundici

   OriginalPaper Pages: 61 - 67

   

7. Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions

   • W. Pohlers

   OriginalPaper Pages: 69 - 87