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

05.06.2025 11:30
 

Axiomatizing balanced forcing

J. Zapletal (U of Florida, Gainesville, US)

12.06.2025 11:30
 

Definable mad families of different cardinalities

J. Millhouse (U Wien)

05.06.2025 15:00
 

Cohomology of amalgamation diagrams

J. Zapletal (U of Florida, Gainesville, US)

26.06.2025 11:30
 

TBA

C. Gallart Rodriguez (U Wien)

No news available.

12.06.2025 15:00
 

The model theory of the curve graph

V. Disarlo (IST, Klosterneuburg)

News

03.06.2025
 

We are looking for you!

13.05.2025
 

Lorenzo receives an FWF-ESPRIT grant.

13.05.2025
 

Jana receives an FWF-Principal Investigator Project.