Seminar za matematičku logiku i osnove matematike i Seminar za topologiju

lokacija: 
PMF Matematički odsjek (virtualno)
vrijeme: 
17.11.2021 - 11:45 - 13:45

Na zajedničkom sastanku Seminara za matematičku logiku i osnove matematike te Seminara za topologiju, u ponedjeljak 22. studenog 2021. u 11 sati, u predavaonici 104, PMF-MO, Lucija Validžić će održati predavanje

 

Jedinstvenost struktura izračunljivosti

 

Sažetak: Struktura izračunljivosti na metričkom prostoru je skup nizova s određenim svojstvima koji nam omogućava da klasične koncepte teorije izračunljivosti prenesemo u proizvoljan metrički prostor. Na predavanju će poseban naglasak biti na strukturama izračunljivosti koje su maksimalne s obzirom na inkluziju te na strukturama izračunljivosti koje sadrže gust niz, to jest separabilnim strukturama izračunljivosti. Svaka separabilna struktura izračunljivosti je maksimalna, no obrat općenito ne vrijedi. Prezentirat će se dokaz da u euklidskom prostoru vrijedi i obrat te će se maksimalne strukture izračunljivosti na podskupovima euklidskog prostora precizno opisati. Osim toga, bavit ćemo se pitanjem jedinstvenosti ili jedinstvenosti do na izometriju separabilne strukture izračunljivosti, pri čemu ćemo se ograničiti na efektivno kompaktne metričke prostore.

 
Ovo predavanje je ujedno javna obrana teme doktorske disertacije.
 

Podaci za online praćenje preko Zoom platforme:

 

Topic: SLOM
Link: https://zoom.us/j/97325200710?pwd=b2g1ZCtSTjk1dmRQZVVYWTUwOFdMZz09
Meeting ID: 973 2520 0710
  

 

Share this