2010: Joint seminar Sobolev Institute and KGRC

July 7-9, 2010, the workshop Computability & Definability took place at the KGRC, with the Sobolev Institute of Mathematics. (Fundend by the FWF and RFBR joint seminars program, project AJS328-N18.)


Wednesday, July 7
09:00 - 09:45S. S. GoncharovAutostability relative to strong constructivizations
10:00 - 10:45S. D. FriedmanSet theory and computation
11:00 - 11:45V. L. SelivanovOn topological reducibilities
14:00 - 14:45H. AdlerDefinability in Model Theory
15:00 - 15:45E. FokinaEquivalence relations on computable structures
Free discussion
18:30Dinner at Huthbierbeisl, 1st district
Thursday, July 8
09:00 - 09:45A. S. MorozovOn $\Sigma$--definability over the reals
10:00 - 10:45N. T. KogabaevOn computable freely generated projective planes
11:00 - 11:45O. V. KudinovRing Theory: some index sets and elementary theories
14:00 - 14:45V. FischerCombinatorics and projective wellorders of the reals
15:00 - 15:45A. I. StukachevGeneralized Computability via the \Sigma-Definability Approach
Free discussion
Friday, July 9
09:00 - 09:45D. SchrittesserProjective Baire
10:00 - 10:45V. G. PurazenkoComputability on Admissible Structures
12:00Lunch at Schweizerhaus, Prater

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: 2010-12-16, 04:37.