Ementa:
Método das constantes. Cadeias elementares. Ultra produtos. Indiscerníveis. Skolemização. Teoremas de preservação, categoricidade e estabilidade.
Bibliografia:
Ebbinghaus, H.D.; Flum, J.; e Thomas, W., Mathematical Logic. Springer Verlag, segunda edição (1996).
Kleene, S.C., Introduction to Metamathematics. John Wiley & Sons, Inc.1967.
Marker, D. Model Theory: An Introduction. Springer, 2002.
Coniglio, M.E. Um Curso de Teoria de Modelos. Notas de Aula. Disponível em http://www.cle.unicamp.br/prof/coniglio/teoriademodelos.pdf
Ano de Catálogo: 2019
Créditos: 8
Número de alunos matriculados: 4
Idioma de oferecimento: Português
Tipo Oferecimento: Regular
Local Oferecimento:
Horários/Salas:
Docentes:
Reservas:
Não possui reservas.| Hora | Segunda | Terça | Quarta | Quinta | Sexta | Sábado |
|---|---|---|---|---|---|---|
| 07:00 | ||||||
| 08:00 | ||||||
| 09:00 | ||||||
| 10:00 | ||||||
| 11:00 | ||||||
| 12:00 | ||||||
| 13:00 | ||||||
| 14:00 | A - | |||||
| 15:00 | A - | |||||
| 16:00 | A - | |||||
| 17:00 | A - | |||||
| 18:00 | ||||||
| 19:00 | ||||||
| 20:00 | ||||||
| 21:00 | ||||||
| 22:00 | ||||||
| 23:00 |