KGRC: Kurt Gödel Research Center
for Mathematical Logic
at the University of Vienna

(former Institute for Logic — vormals Institut für Formale Logik)



News

Subscribe to email notifications about events at the KGRC. Click here for past seminar talks and past events at the KGRC.

Most recent seminar talk
Date: 2010-01-28, 3:30pm
Speaker: Luca Motto Ros (KGRC)
Title: On the complexity of the relations of isomorphism and bi-embeddability (abstract)
 

Other news

January 2010: The KGRC welcomes Marcin Sabok as a new member.

Contact:

Address:
 Kurt Gödel Research Center for Mathematical Logic
 Währinger Straße 25
 A-1090 Wien
 Austria
A map (we are in the top floor).
E-Mail: info@logic.univie.ac.at
phone (secretary): +43 1 4277 50501 Mon–Wed 9–12 13–16, Thu 9–12 13–18, Fri 9–12
fax: +43 1 4277 9505 (Friedman, Koisser)
fax: +43 1 4277 50599 (everybody else)


Lectures

Das Studium der mathematischen Logik (Studienplan, in German). English information about studying Logic at the KGRC.

Sommer 2010

Winter 2009/2010

previous semesters


People at the Research Center

(See also the list of former members.)

Research

Computing

Secretary


Research Interests

Research in our group is concentrated on axiomatic set theory, in particular Inner models for large cardinals, Forcing and large cardinals, Class forcing, Cardinal characteristics, Forcing Axioms and absoluteness principles, Descriptive set theory, and Fine structure theory. In addition, we study infinite-time Turing machines, embedding complexity and homogeneous model theory.

The 2005 evaluation of Austrian mathematics led to an excellent rating of the KGRC.

Recent Publications

Book: S.D. Friedman, Fine Structure and Class Forcing, de Gruyter, 2000

Papers by S. D. Friedman, H. Adler, V. Fischer, E. Fokina, J. Kellner, H. Minami, L. Motto Ros, K. Thompson, L. Zdomskyy.


Links

Impressum gem. § 25 MedienG

Verantwortlich für den Inhalt:

Kurt Gödel Research Center for Mathematical Logic
Währinger Straße 25
1090 Wien
Austria

Webmaster: Richard Springer, rspringer@logic.univie.ac.at, Telephon +43 1 4277 50519

© 2004 Boris Piwinger, © 2004 Andreas Metzler, © 2008 Andreas Adamcik, © 2009 Richard Springer