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 |
| JOÃO PAULO COSTALONGA | Orientador |
| RENAN MANELI MEZABARBA | Examinador Interno |
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.
