Finitary and Infinitary Logic, Complexity and Ordinal Analysis

The aim of this workshop will be to forge new connections between the logic groups at the Kurt Goedel Research Center of the University of Vienna and the Laboratory of Mathematical Logic of the St. Petersburg Department of the Steklov Mathematical Institute. The Vienna group`s research has focused on the "logic of the infinite", whereas the St. Petersburg group has focused on the "logic of the finite". Our aim in this workshop is to bring ideas about the infinite to bear on finite problems, and vice-versa. Specific areas of investigation include arithmetic, computation and ordinal analysis.