Palestras e Seminários
13/09/2016
22:00
Sala 3-102
Palestrante: José Carlos F. Kling
Resumo: The objective of this seminar is to demonstrate the usefullness of elementary submodels by using it to prove the Erdös-Rado theorem, whose original proof was purely combinatoric. For that, the basic definitions of model theory and Ramsey’s theory will be covered, as well as the most important theorems, like Downward-Löwenheim-Skolem and the existence of countably closed elementary submodels.
