Mathematical Logic

Research topics

1. Use of nonstandard techniques (à la A. Robinson) in functional analysis to investigate properties of nonstandard hulls (equivalently: ultraproducts) of C*- and of von Neumann algebras.
2. Development of proof--systems for linear and branching time logics and study of their properties.
3. Popularization of foundational issues in mathematics.

Staff