Indefinibilidade da representabilidade de matroides em linguagens monádicas de segunda ordem

Página do item simplificado
dc.contributor.advisor1Costalonga, João Paulo
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/9433962639763978
dc.contributor.authorRodrigues, Marcos Mercandeli
dc.contributor.referee1Galvão, Eudes Naziazeno
dc.contributor.referee2Mezabarba, Renan Maneli
dc.contributor.referee2Latteshttp://lattes.cnpq.br/6964574819360293
dc.date.accessioned2024-05-30T00:53:17Z
dc.date.available2024-05-30T00:53:17Z
dc.date.issued2022-04-11
dc.description.abstractIn this work we shall present important results on matroid theory and mathematical logic, more specifically in finite model theory and undefinability discovered by D. Mayhew, M. Newman, and G. Whittle. We shall prove that some monadic second-order languages cannot define linear and algebraic matroid representability, the latter being an extension of the former and a contribution of the development of this thesis. We shall also present a class of matroids studied by T. Zaslavsky called gain matroids and a matroid construction called proper amalgam.
dc.description.resumoNeste 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.
dc.formatText
dc.identifier.urihttps://dspace5.ufes.br/handle/10/15920
dc.languagepor
dc.publisherUniversidade Federal do Espírito Santo
dc.publisher.countryBR
dc.publisher.courseMestrado em Matemática
dc.publisher.departmentCentro de Ciências Exatas
dc.publisher.initialsUFES
dc.publisher.programPrograma de Pós-Graduação em Matemática
dc.rightsopen access
dc.subjectModelos Finitos
dc.subjectLinguagem monádica de segunda ordem
dc.subjectIndefinibilidade
dc.subject.br-rjbnsubject.br-rjbn
dc.subject.cnpqMatemática
dc.titleIndefinibilidade da representabilidade de matroides em linguagens monádicas de segunda ordem
dc.typemasterThesis

Arquivos

Pacote original

Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
MarcosMercandeliRodrigues-2022-trabalho.pdf
Tamanho:
729.88 KB
Formato:
Adobe Portable Document Format
Baixar

Coleções

Mestrado em Matemática