2012: Seminar talks

Current year (sorted backwards)
200020012002200320042005200620072008200920102011201220132014
2012-01-12Howard Becker
(Universität Münster, Germany)
Isomorphism of Computable Structures and Vaught's Conjecture
2012-01-19André Nies
(University of Auckland, New Zealand)
Borel structures and Borel theories
2012-03-01Michael Pinsker
(Paris 7, France, TU Wien, Austria, and Hebrew University of Jerusalem, Israel)
Reducts of the random partial order
2012-03-08Yurii Khomskii
(KGRC)
Regularity Idealized
2012-03-15Giorgio Laguzzi
(KGRC)
Separation of regularity properties
2012-03-22Moritz Müller
(KGRC)
Refutation complexity of relativized spectra
2012-03-29Sy-David Friedman
(KGRC)
The complexity of isomorphism
2012-04-19Martin Bays
(McMaster University, Ontario, Canada)
Abelian integrals and categoricity
2012-04-26Diego Alejandro Mejía Guzmán
(Universidad Nacional de Colombia)
Matrix iterations and Cichon's diagram
2012-05-03Hubie Chen
(Universitat Pompeu Fabra, Barcelona, Spain)
Meditations on Quantified Constraint Satisfaction
2012-05-10Alexander Osipov
(Institute of Mathematics and Mechanics, Ural Branch of the Russian Academy of Sciences, Russia)
Set-open topology on the space of continuous functions
2012-05-16André Nies
(University of Auckland, New Zealand)
Complexity of equivalence relations
2012-05-24Jindrich Zapletal
(U of Florida, USA and Czech Academy of Sciences)
Canonical Ramsey Theory on Polish Spaces
2012-05-31Misha Gavrilovich
(KGRC)
Shelah's revised power function as a homotopy invariant
2012-06-14Miguel Angel Mota
(KGRC)
A spectral approach to reflection principles
2012-06-28Andrey Morozov
(Novosibirsk State University, Russia)
On Sigma-definability of structures over the reals
2012-07-04Frank Tall
(University of Toronto, Canada)
Topological problems for set theorists, II
2012-07-05Antonio Montalbán
(University of Chicago, USA)
A computability-theoretic equivalent of Vaught's Conjecture
2012-07-10Russell Miller
(Queens College, City College of New York, USA)
Finitary reducibility on equivalence relations
2012-07-11Julia Knight
(University of Notre Dame, USA)
An example illustrating a theorem of Gregory
2012-10-04Vadim Kulikov
(KGRC)
Analyzing the Complexity of Wild Knot Equivalence
2012-10-11Dan Turetsky
(KGRC)
Racing Pawns, Internal Hyperarithmetic Comprehension, and the Law of the Excluded Middle
2012-10-18Asger Törnquist
(University of Copenhagen, Denmark)
The Poulsen simplex as a Fraisse limit
2012-10-18Laura Fontanella
(KGRC)
Large Properties at Small Cardinals
2012-11-08Shuguo Zhang
(Sichuan University, People's Republic of China)
Relations between the I-ultrafilters
2012-11-15Matthias Schröder
(KGRC)
Computable Analysis and Topology
2012-11-22Martin Goldstern
(TU Wien, Austria)
Cardinal characteristics in Cichon's diagram
2012-11-29Peter Telec
(KGRC)
The history of logic at the University of Vienna
2012-12-06Dan Turetsky
(KGRC)
Computable Categoricity
2012-12-13Sam Sanders
(Ghent University, Belgium and MCMP München, Germany)
Reuniting the antipodes: bringing together Nonstandard Analysis and Constructive Analysis
2012-12-20Leandro F. Aurichi
(ICMC-USP, University of São Paulo, Brazil)
Some selective versions of separability-like properties

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2012-12-30, 23:14.