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.)
Program:
| Wednesday, July 7 | ||
|---|---|---|
| 09:00 - 09:45 | S. S. Goncharov | Autostability relative to strong constructivizations |
| 10:00 - 10:45 | S. D. Friedman | Set theory and computation |
| 11:00 - 11:45 | V. L. Selivanov | On topological reducibilities |
| Lunch | ||
| 14:00 - 14:45 | H. Adler | Definability in Model Theory |
| 15:00 - 15:45 | E. Fokina | Equivalence relations on computable structures |
| Free discussion | ||
| 18:30 | Dinner at Huthbierbeisl, 1st district | |
| Thursday, July 8 | ||
| 09:00 - 09:45 | A. S. Morozov | On $\Sigma$--definability over the reals |
| 10:00 - 10:45 | N. T. Kogabaev | On computable freely generated projective planes |
| 11:00 - 11:45 | O. V. Kudinov | Ring Theory: some index sets and elementary theories |
| Lunch | ||
| 14:00 - 14:45 | V. Fischer | Combinatorics and projective wellorders of the reals |
| 15:00 - 15:45 | A. I. Stukachev | Generalized Computability via the \Sigma-Definability Approach |
| Free discussion | ||
| Friday, July 9 | ||
| 09:00 - 09:45 | D. Schrittesser | Projective Baire |
| 10:00 - 10:45 | V. G. Purazenko | Computability on Admissible Structures |
| 12:00 | Lunch at Schweizerhaus, Prater | |
+43-1-4277-50501.
Last updated: 2010-12-16, 04:37.