Matemaattista logiikkaa metrisissä avaruuksissa

Tutkimushankkeen lyhyt kuvaus

Helsingin yliopiston matematiikan laitoksella käynnistettävässä hankkeessa tutkitaan analyyttisten funktioiden renkaiden ensimmäisen kertaluvun teoriaa ja määriteltävyyttä sekä metristen avaruuksien Borel-ekvivalenssirelaatioita.

Hankkeen jäsenet

Vastuullinen johtaja
Dos. Taneli Huuskonen
Muut tutkijat
FT Aapo Halko
PhD Juliette Kennedy
Dos. Kerkko Luosto
Prof. Jouko Väänänen
Jatko-opiskelijat
FM Maria Saria
FM Tiina Vesanen
YO Eljas Törneblom