INDEFINIBILIDADE da Representabilidade
de Matroides em Linguagens Monádicas
de Segunda Ordem
Nome: MARCOS MERCANDELI RODRIGUES
Tipo: Dissertação de mestrado acadêmico
Data de publicação: 11/04/2022
Orientador:
| Nome | Papel |
|---|---|
| JOÃO PAULO COSTALONGA | Orientador |
Banca:
| Nome | Papel |
|---|---|
| EUDES NAZIAZENO GALVÃO | Examinador Externo |
| RENAN MANELI MEZABARBA | Examinador Interno |
| JOÃO PAULO COSTALONGA | Orientador |
Resumo: Neste trabalho serão apresentados resultados importantes descobertos por D.
Mayhew, M. Newman e G. Whittle nas áreas de Teoria de Matroides e Lógica
Matemática, mais especificamente em Teoria de Modelos Finitos e Indefinibilidade. Mostraremos que certos tipos de linguagens monádicas de segunda ordem não são capazes de expressar as representabilidades linear e algébrica de matroides, sendo esta última uma extensão da primeira e uma contribuição do trabalho desenvolvido. Apresentaremos também uma classe de matroides estudada por T. Zaslavsky chamadas matroides de ganho e uma construção de matroides chamada de amálgama própria.
