Butz, Carsten

• BRICS Report Series No. 3 (1997): RS-03 A Definability Theorem for First Order Logic - Articles
  A Definability Theorem for First Order Logic
  Abstract  PDF
• BRICS Report Series No. 20 (1997): RS-20 Classifying Toposes for First Order Theories - Articles
  Classifying Toposes for First Order Theories
  Abstract  PDF
• BRICS Report Series No. 22 (1997): RS-22 Syntax and Semantics of the logic L_omega omega^lambda - Articles
  Syntax and Semantics of the logic L_omega omega^lambda
  Abstract  PDF
• BRICS Report Series No. 30 (1998): RS-30 Finitely Presented Heyting Algebras - Articles
  Finitely Presented Heyting Algebras
  Abstract  PDF
• BRICS Report Series No. 21 (1997): RS-21 Topological Completeness for Higher-Order Logic - Articles
  Topological Completeness for Higher-Order Logic
  Abstract  PDF