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: |
2009-11-12, 3.30pm |
| Speaker: |
Ekaterina Fokina (KGRC) |
| Title: |
Computable categoricity vs. relative computable categoricity
(abstract) |
| |
Other news
October 2009: Pavel Semukhin visits the KGRC.
October 2009: Victor Selivanov visits the KGRC.
October 2009: The KGRC welcomes Mohammad
Golshani as a new member.
October 2009: The KGRC welcomes Thomas
Johnstone as a new member.
October 2009: The KGRC welcomes Miguel
Angel Mota as a new member.
September 2009: The KGRC welcomes Hans
Adler as a new member.
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)
More mail addresses
Lectures
Das Studium der mathematischen Logik
(Studienplan, in German).
English information about studying Logic at the KGRC.
People at the Research Center
(See also the list of former members.)
Research
- O.Univ.Prof. Dr. Sy D. Friedman (sdf@logic.univie.ac.at), phone: +43 1 4277 50501
- Prof. em. DDr. Curt Christian, Honorarprofessor der TU Wien (Curt.Christian@univie.ac.at),
phone: +43 1 4277 50509
- Dr. Hans Adler, mail: hans.adler@univie.ac.at, phone
+43 1 4277 50510
- Arthur Fischer, MS, mail: afischer at logic dot univie dot ac dot at
- Dr. Vera Fischer
(vfischer at logic dot univie dot
ac dot at), phone: +43 1 4277 50523
- Dr. Ekaterina Fokina (mail:
efokina AT logic.univie.ac.at), phone: +43 1 4277 50522
- Mag. Mohammad Golshani (golshani dot m at
gmail dot com), phone
+43 1 4277 50507
- Mag. Ajdin Halilović (ajdin.halilovic@univie.ac.at),
phone: +43 1 4277 50519
- Mag. Peter Holy (peter.holy@univie.ac.at), phone: +43 1 4277 50519
- Prerna Juhlin, M. S. (mail:
prerna at logic dot univie dot ac dot at), phone:
+43 1 4277 50507
- Thomas Johnstone, PhD (tjohnstone at citytech
dot cuny dot edu), phone:
+43 1 4277 50524
- Dr. Jakob Kellner
(kellner@fsmat.at), phone: +43 1 4277 50509
- Mag. Giorgio Laguzzi (giorgio.laguzzi@univie.ac.at),
phone: +43 1 4277 50507
- Dr. Hiroaki Minami (email: minami@kurt.scitec.kobe-u.ac.jp),
phone: +43 1 4277 50525
- Dr. Miguel Angel Mota (email: motagaytan at gmail dot com), phone
+43 1 4277 50517
- Dr. Luca Motto Ros (email: please check homepage), phone: +43 1 4277 50508
- Mag. David Schrittesser (david@logic.univie.ac.at),
phone: +43 1 4277 50507
- Dr. Peter Telec (Peter.Telec@univie.ac.at), phone: +43 1 4277 50512
- Dr. Katherine Thompson (thompson@logic.univie.ac.at),
phone: +43 1 4277 50511
- Asger Törnquist, PhD
(asger@math.toronto.edu),
phone: +43 1 4277 50520
- Wolfgang Wohofsky (
)
- Lyubomyr
Zdomskyy, Ph.D. (lzdomsky at
logic dot univie dot ac dot at),
phone: +43 1 4277 50521
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.
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
)