The key research area in logic, known as the Kurt Gödel Research Center for Mathematical Logic (KGRC), follows the tradition of Kurt Gödel, who proved his famous Completeness and Incompleteness Theorems in Vienna between 1929–1931, perhaps the most significant work of mathematical logic of modern times. His results were foundational for all the central areas of contemporary logic: set theory, model theory, computability theory, and proof theory.

We teach a variety of courses in logic. Current research in our key research area mainly focuses on set theory and model theory.

Kurt Gödel, black and white, head with glasses wearing a suit

Events

Logic Colloquium

12.06.2024 11:30
 

Computable vs. Descriptive Combinatorics of Local Problems

F. Weilacher (Carnegie Mellon U, Pittsburgh, US)

13.06.2024 11:30
 

Dense ideals (2/3)

M. Eskew (U Wien)

13.06.2024 15:00
 

How can model theory help understand Hilbert's 16th problem?

P. Speissegger (McMaster U, Hamilton, CA)

20.06.2024 11:30
 

Dense ideals (3/3)

M. Eskew (U Wien)

No news available.

10.10.2024 15:00
 

TBA

A. Martin-Pizarro (U Freiburg, DE)

 

News

06.05.2024
 

Jonathan Schilhan receives an FWF-ESPRIT grant.

03.05.2024 09:00
 

Set Theory Workshop at OMP and Kolingasse

26.03.2024
 

Monroe Blake Eskew receives a FWF-Principal Investigator Project International.