The era of modern Mathematical Logic began in the 1930s with the work of Kurt Gödel. His results on the completeness of first-order logic, the incompleteness of formal systems extending basic arithmetic and on constructibility served to provide the foundation for its four principal subfields: model theory, proof theory, recursion theory and set theory.

Research at the KGRC focuses most strongly on set theory, where we work on large cardinals, forcing, descriptive set theory and set-theoretic topology. Large cardinal axioms and forcing together provide powerful tools for studying the consistency of set-theoretic properties which are not resolved by the traditional axioms of set theory. A central theme in descriptive set theory is the study of classifiability versus unclassifiability of natural classes of mathematical structures, a distinction analogous to Gödel's distinction between completeness and incompleteness of theories. Set-theoretic topology has a long tradition at the University of Vienna tracing back to Menger and is today greatly enriched by new forcing methods.

In model theory we work primarily in pure model theory, deepening the classification of first-order theories. Another of central interest is recursive model theory, which studies the models of first-order or infinitary theories which can be presented in a computable way.

In addition to recursive model theory, our research in recursion theory emphasizes both its set-theoretic aspects, such as infinite-time Turing machine computation and the complexity of computations on sets, as well as the study of computational complexity through the application of the methods of proof theory.

Our scientific activities are documented on this website in the following:

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2015-01-26, 01:33.