T21_6

11 Março 2019, 10:00 • Mário Jorge Edmundo

Lema de Tarski, exemplos; Lowenheim-Skolem para baixo; Critério algébrico para sub-estrutura elementar; Exemplos: sub-estruturas elementares em conjuntos infinitos.