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

03.04.2025 11:30
 

Amalgamation, Axiom of Choice and Euclidean geometry II

A. Lihuen Fatalini (U Münster, DE)

04.04.2025 11:30
 

Integration in finite terms and exponentially algebraic functions

J. Kirby (U of East Anglia, Norwich, UK)

03.04.2025 15:00
 

Paradoxical sets and the Axiom of Choice

A. Lihuen Fatalini (U Münster, DE)

09.04.2025 11:30
 

TBA

A. Gehret (CTU Prague/KGRC) (?)

10.04.2025 11:30
 

TBA

B. Bursics (Eötvös Loránd U, Budapest, HU)

10.04.2025 15:00
 

TBA

E. Kaplan (Max Planck Institute for Mathematics, Bonn, DE)

News

10.10.2024
 

ESI-Conference, March 17-21, 2025

07.10.2024
 

Sebastian Eterović receives a FWF-ESPRIT grant.

30.09.2024
 

Dr. Ignaz Seipel-Platz 2, A-1010 Vienna, 7-9 Oct.