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.
Events
Logic Colloquium
18.12.2025 11:30
When algebra determines topology on groups and semigroups (part 3)
15.01.2026 11:30
TBA
18.12.2025 15:00
Exploring structural aspects of punctual degrees
29.01.2026 11:30
TBA
19.03.2026 11:30
Eventual Capture and Large Cardinals 1: ZFC Results
08.01.2026 15:00
