|zpravodaj ČSKI - listopad 2018 |
datum: 14.11.2018 v 16:00
název: Duality, definability and continuous functions
přednášející: Luca Reggio (UI)
místo konání: UI, 2.patro, místnost č.318
souhrn: Weierstrass approximation theorem states that any continuous real-valued function defined on a closed real interval can be approximated by polynomials. In 1937 Marshall Stone proved a vast generalisation of this result: nowadays known as the Stone-Weierstrass theorem, this is a fundamental result of functional analysis with far-reaching consequences. We show how, through duality theory, the Stone-Weierstrass theorem can be seen as an instance of the Beth definability property of a certain logic.