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.) We discuss a generalized version of Amoeba forcing extending the common Amoeba for measure and Amoeba for category. In particular, we focus on a version of 2010: Joint seminar Sobolev Institute and KGRC

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