Título: Some research topics in mathematics and logic
Palestrante: Vinicius Cifú Lopes
Data, horário e local: 27/03, terça-feira, às 13h, na sala S-208-0 (bloco A)
Resumo:
This talk will be delivered in Portuguese. We present a couple of
topics in mathematical logic for graduate study. We start with a
discussion of matching theory, focusing on the enrolling problem at
UFABC, and review its connections with logic. Then we list some
curious aspects of the compactness theorem, o-minimality and
continuous logic.