Andrej Bauer: Kanonične izračunljive podalgebre klasičnih algeber

Povzetek: V izračunljivi matematiki se pogosto postavlja vprašanje, kako dano klasično matematično strukturo pretvoriti v njeno izračunljivo inačico. Na seminarju bom predstavil splošna izreka, ki nam zagotavljata kanonični izbor izračunljive podalgebre dane polne metrične algebre. Tu pod pojmom algebra razumemo kakeršnokoli množico opremljeno z operacijami. Izreka zajemata množico primerov, kot so realna števila, p-adična števila, končno generirane strukture (grupe, kolobarji, moduli), separabilni Banachovi prostori ipd.

Rezultati so skupno delo z Jensom Blanckom iz Swansea University.

Vabljeni!