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 Papelordem decrescente
JOÃO PAULO COSTALONGA Orientador

Banca:

Nome Papelordem decrescente
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.

Acesso ao documento

Transparência Pública
Acesso à informação

© 2013 Universidade Federal do Espírito Santo. Todos os direitos reservados.
Av. Fernando Ferrari, 514 - Goiabeiras, Vitória - ES | CEP 29075-910