Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik.
Ein syntaktischer Beweis für die Zulässigkeit der Schnittregel im Kalkül von Schütte für die intuitionistische Typenlogik.
Homomorphe-invariante Formeln in der intuitionistischen Logik.
Unterstruktur-Invariante Formeln in der intuitionistischen Logik.
Modelltheoretische Untersuchungen in der Kripke-Semantik.
Vector valued Loeb measures and the Lewis integral.
Nonstandard Integration Theory in Topological Vector Lattices.
Page 1