Seminários de teoria de modelos saturados e generalização da teoria de Galois.
O objetivo é entender quais generalizações da teoria usual de modelos vão em direção ao que se tem em Teoria de Galois.
Para isto fazemos um resumo da teoria elementar de modelos incluindo: linguagens de primeira ordem, estruturas, homomorfismos, imersões, isomorfismos e equivalência elementar.
A seguir estudamos alguns resultados básicos: compacidade, teoremas de Lowenheim-Skolem, definibilidade e automorfismos, back and forth etc.
Depois estudamos a noção de tipo e os conceitos de estruturas homogêneas e saturadas.
Com essas noções, nós voltamos para aspectos da Teoria de Galois que trata de corpos e suas extensões. A seguir examinamos como em teoria de modelos podemos refletir o teorema fundamental da teoria de Galois.
2022 -