Kaique Matias de Andrade Roberto

	http://lattes.cnpq.br/7033491672545413 (17/11/2025) Rótulo/Grupo: * Sem rótulo Bolsa CNPq: Período de análise: Endereço: Grande área: [sem-grandeArea] Área: [sem-area] Citações: Google Acadêmico

Produção bibliográfica

• Artigos completos publicados em periódicos (10)
• Livros publicados/organizados ou edições (1)
• Capítulos de livros publicados (0)
• Textos em jornais de notícias/revistas (0)
• Trabalhos completos publicados em anais de congressos (0)
• Resumos expandidos publicados em anais de congressos (0)
• Resumos publicados em anais de congressos (0)
• Artigos aceitos para publicação (0)
• Apresentações de trabalho (12)
• Demais tipos de produção bibliográfica (6)

Produção técnica

• Programas de computador com registro (0)
• Programas de computador sem registro (0)
• Produtos tecnológicos (0)
• Processos ou técnicas (0)
• Trabalhos técnicos (0)
• Demais tipos de produção técnica (1)
• Entrevistas, mesas redondas, programas e comentários na mídia (0)

Produção artística

• Total de produção artística (0)

Orientações em andamento

• Supervisão de pós-doutorado (0)
• Tese de doutorado (0)
• Dissertação de mestrado (0)
• Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
• Trabalho de conclusão de curso de graduação (0)
• Iniciação científica (0)
• Orientações de outra natureza (0)

Supervisões e orientações concluídas

• Supervisão de pós-doutorado (0)
• Tese de doutorado (0)
• Dissertação de mestrado (0)
• Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
• Trabalho de conclusão de curso de graduação (0)
• Iniciação científica (0)
• Orientações de outra natureza (0)

Projetos de pesquisa

• Total de projetos de pesquisa (4)

Prêmios e títulos

• Total de prêmios e títulos (0)

Participação em eventos

• Total de participação em eventos (0)

Organização de eventos

• Total de organização de eventos (0)

Lista de colaborações

• Colaborações endôgenas (0)

Produção bibliográfica

• Artigos completos publicados em periódicos (10)
  
  1. ROBERTO, KAIQUE MATIAS DE ANDRADE; MARIANO, HUGO LUIZ. Marshall's Quotient and the Arason-Pfister Hauptsatz for Reduced Special Groups. Mathematics. v. 13, p. 3060, issn: 2227-7390, 2025.[doi]
  2. CONIGLIO, MARCELO ESTEBAN ; GOLZIO, ANA CLAUDIA ; ROBERTO, KAIQUE MATIAS DE ANDRADE. On Morgado and Sette?s Implicative Hyperlattices as Models of da Costa Logic Cω. Logics. v. 3, p. 15, issn: 2813-0405, 2025.[doi]
  3. ROBERTO, KAIQUE M. A.; SANTOS, KAIQUE R. P. ; MARIANO, HUGO LUIZ. On Non-Commutative Multi-Rings with Involution. Mathematics. v. 12, p. 2931, issn: 2227-7390, 2024.[doi]
  4. ROBERTO, K. M. A.; MARIANO, H. L.. Inductive graded rings, hyperfields and quadratic forms. Categories And General Algebraic Structures With Applications. v. 23, p. 1, issn: 2345-5861, 2024.[doi]
  5. ROBERTO, K. M. A.; TENORIO, A. L. C.. The Category of Hypergroups: seeking for a generalized version of Abelian Categories. Latin American Journal of Mathematics. v. 2, p. 18-42, issn: 2965-0798, 2023.[doi]
  6. ROBERTO, K. M. A.; MARIANO, H. L.. On superrings of polynomials and algebraically closed multifields. Journal of Applied Logics. v. 9, p. 419-444, issn: 2631-9829, 2022.
  7. ROBERTO, K. M. A.; MARIANO, H. L.. K-theories and Free Inductive Graded Rings in Abstract Quadratic Forms Theories. Categories And General Algebraic Structures With Applications. v. 16, p. 2, issn: 2345-5861, 2022.[doi]
  8. ROBERTO, K. M. A.; MARIANO, H. L.. A teoria algébrica de formas quadráticas aplicada a uma disputa entre dois orixás. Brazilian Electronic Journal of Mathematics. v. 2, p. 4, issn: 2675-1313, 2021.[doi]
  9. ROBERTO, K.M.A. ; MARIANO, H. L. ; RIBEIRO, H. R. O.. Quadratic structures associated to (multi)rings.. Categories and General Algebraic Structures with Applications. v. 16, p. 105-141, issn: 2345-5861, 2021.[doi]
  10. RIBEIRO, HUGO RAFAEL DE OLIVEIRA ; ROBERTO, KAIQUE MATIAS DE ANDRADE ; MARIANO, HUGO LUIZ. Functorial relationships between multirings and the various abstract theories of quadratic forms. SÃO PAULO JOURNAL OF MATHEMATICAL SCIENCES. v. 2020, p. 1-38, issn: 1982-6907, 2020.[doi]
  
  
• Livros publicados/organizados ou edições (1)
  
  1. MARIANO, H. L. ; RIBEIRO, H. R. ; ROBERTO, K. M. A.. Uma Jornada pelas Teorias Algébricas de Formas Quadráticas. 1 ed. São Paulo: Editora da Física, 2022. .
  
  
• Capítulos de livros publicados (0)
  
  
  
• Textos em jornais de notícias/revistas (0)
  
  
  
• Trabalhos completos publicados em anais de congressos (0)
  
  
  
• Resumos expandidos publicados em anais de congressos (0)
  
  
  
• Resumos publicados em anais de congressos (0)
  
  
  
• Artigos aceitos para publicação (0)
  
  
  
• Apresentações de trabalho (12)
  
  1. MARIANO, H. L. ; RIBEIRO, H. R. ; ROBERTO, KAIQUE M. A. ; SANTOS, K. R. P.. Linear (Multi) Algebra I: Linear Systems, Matrices and Vector Spaces over Superfields. 2025. Apresentação de Trabalho/Congresso
  2. CONIGLIO, M. E. ; GOLZIO, A. C. ; ROBERTO, KAIQUE M. A.. On Morgado and Sette?s implicative hyperlattices as models of da Costa logic Cω. 2025. Apresentação de Trabalho/Congresso
  3. ROBERTO, K. M. A.; GOLZIO, A. C. ; CONIGLIO, M. E.. Hyper Swap Structures. 2025. Apresentação de Trabalho/Simpósio
  4. MARIANO, H. L. ; RIBEIRO, H. R. ; ROBERTO, K. M. A. ; SANTOS, K. R. P.. Linear (Multi) Algebra I: Linear Systems, Matrices and Vector Spaces over Superfields. 2024. Apresentação de Trabalho/Simpósio
  5. ROBERTO, KAIQUE M. A. Hyperalgebras and Abstract Theories of Quadratic Forms from a Functorial Point of View. 2024. Apresentação de Trabalho/Simpósio
  6. ROBERTO, KAIQUE M. A.; TENORIO, A. L. C.. The Category of Hypergroups: seeking for a generalized version of Abelian Categories. 2023. Apresentação de Trabalho/Congresso
  7. MARIANO, H. L. ; RIBEIRO, H. R. ; ROBERTO, KAIQUE M. A.. Quadratic Extensions of Special Hyperfields and the Arason-Pfister Hauptsatz. 2022. Apresentação de Trabalho/Congresso
  8. MARIANO, H. L. ; ROBERTO, KAIQUE M. A.. Super-anéis de polinômios e multi-corpos algébricamente fechados: um prelúdio. 2020. Apresentação de Trabalho/Simpósio
  9. ROBERTO, K. M. A.; MARIANO, H. L.. Alguns apontamentos sobre Multi-álgebra Universal. 2019. Apresentação de Trabalho/Congresso
  10. MARIANO, H. L. ; ROBERTO, KAIQUE M. A.. Alguns apontamentos sobre multi-álgebra universal. 2019. Apresentação de Trabalho/Congresso
  11. ROBERTO, K. M. A.; RIBEIRO, H. R.. A functorial picture between some axiomatizations of quadratic forms. 2017. Apresentação de Trabalho/Congresso
  12. MARIANO, H. L. ; ROBERTO, KAIQUE M. A.. A functorial picture between some axiomatizations of quadratic forms. 2017. Apresentação de Trabalho/Congresso
  
  
• Demais tipos de produção bibliográfica (6)
  
  1. ROBERTO, K. M. A.; MARIANO, H. L.. K-theories and Free Inductive Graded Rings in Abstract Quadratic Forms Theories. arxiv.org. 2024. Arxiv Preprint
  2. ROBERTO, K. M. A.; MARIANO, H. L.. The Galois group of a Special Group. arxiv.org. 2024. Arxiv Preprint
  3. ROBERTO, K. M. A.; MARIANO, H. L. ; RIBEIRO, H. R.. The general Arason-Pfister Hauptsatz. arxiv.org. 2023. Arxiv Preprint
  4. ROBERTO, K. M. A.; RIBEIRO, H. R. ; MARIANO, H. L. ; SANTOS, K. R. P.. Linear Systems, Matrices and Vector Spaces over Superfields. arxiv.org. 2023. Arxiv Preprint
  5. ROBERTO, K. M. A.; MARIANO, H. L.. Inductive graded rings, hyperfields and quadratic forms. arxiv.org. 2023. Arxiv Preprint
  6. ROBERTO, K. M. A.; RIBEIRO, H. R. ; MARIANO, H. L.. On algebraic extensions and algebraic closures of superfields. arxiv.org. 2022. Arxiv Preprint
  
  

Produção técnica

• Programas de computador com registro (0)
  
  
  
• Programas de computador sem registro (0)
  
  
  
• Produtos tecnológicos (0)
  
  
  
• Processos ou técnicas (0)
  
  
  
• Trabalhos técnicos (0)
  
  
  
• Demais tipos de produção técnica (1)
  
  1. ROBERTO, K. M. A. Teoria de Galois, grupos profinitos e aplicações em formas quadráticas. 2015. Relatório de pesquisa
  
  
• Entrevistas, mesas redondas, programas e comentários na mídia (0)
  
  
  

Produção artística

• Total de produção artística (0)
  
  
  

Orientações em andamento

• Supervisão de pós-doutorado (0)
  
  
  
• Tese de doutorado (0)
  
  
  
• Dissertação de mestrado (0)
  
  
  
• Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
  
  
  
• Trabalho de conclusão de curso de graduação (0)
  
  
  
• Iniciação científica (0)
  
  
  
• Orientações de outra natureza (0)
  
  
  

Supervisões e orientações concluídas

• Supervisão de pós-doutorado (0)
  
  
  
• Tese de doutorado (0)
  
  
  
• Dissertação de mestrado (0)
  
  
  
• Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
  
  
  
• Trabalho de conclusão de curso de graduação (0)
  
  
  
• Iniciação científica (0)
  
  
  
• Orientações de outra natureza (0)
  
  
  

Projetos de pesquisa

• Total de projetos de pesquisa (4)
  
  1. 2025-Atual. Exploring the interface Logic - Multi Algebras - Hyperlattices
     Descrição: This postdoctoral research program lies in the area of Logic and Multi-algebras with two main focus: 1) develop and/or generalize as much as possible the machinery of Universal Algebra in the context of Multi-Algebras and hyperlattices; 2) provide a structural approach to (multi) algebraization of a wide class of logics that cannot be treated by the standard methods of algebraization, in particular we would like to analyse the logics of formal inconsistency. Proofs of concept of the expected success of this research are explicitly given through all the text.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Kaique Matias de Andrade Roberto - Coordenador / Marcelo Esteban Coniglio - Integrante.
     Membro: Kaique Matias de Andrade Roberto.
     Descrição: This postdoctoral research program lies in the area of Logic and Multi-algebras with two main focus: 1) develop and/or generalize as much as possible the machinery of Universal Algebra in the context of Multi-Algebras and hyperlattices; 2) provide a structural approach to (multi) algebraization of a wide class of logics that cannot be treated by the standard methods of algebraization, in particular we would like to analyse the logics of formal inconsistency. Proofs of concept of the expected success of this research are explicitly given through all the text.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Kaique Matias de Andrade Roberto - Coordenador / Marcelo Esteban Coniglio - Integrante.
     Membro: Kaique Matias de Andrade Roberto.
  2. 2023-Atual. Projeto Temático Fapesp RATIOLOG: Racionalidade, lógica e probabilidade
     Descrição: Projeto Temático de pesquisa, que consiste em três grandes tarefas principais. Essas três tarefas apoiarão as principais questões a serem trabalhadas, relacionadas às noções de consistência, contradição e evidência, que, juntamente com suas interpretações probabilísticas, pretendem levar a uma posição mais sólida sobre a filosofia geral da paraconsistência, seu entendimento, seu impacto e sua importância na filosofia da ciência e na filosofia da matemática.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (7) . Integrantes: Kaique Matias de Andrade Roberto - Coordenador / Marcelo Esteban Coniglio - Integrante / Ana Cláudia Golzio - Integrante / Walter Carnielli - Integrante / Julio Michael Stern - Integrante / Abilio Azambuja Rodrigues Filho - Integrante / Carlile Campos Lavor - Integrante / Francesc Esteva - Integrante / Fábio Maia Bertato - Integrante / Henrique Antunes Almeida - Integrante / Juan Carlos Agudelo Agudelo - Integrante / Juliana Bueno - Integrante / Lluis Godo - Integrante / Mariana Matulovic da Silva Rodrigueiro - Integrante / Martín Figallo - Integrante / Newton Marques Peron - Integrante / Rodolfo Cristian Ertola Biraben - Integrante / Tommaso Flaminio - Integrante.
     Membro: Kaique Matias de Andrade Roberto.
     Descrição: Projeto Temático de pesquisa, que consiste em três grandes tarefas principais. Essas três tarefas apoiarão as principais questões a serem trabalhadas, relacionadas às noções de consistência, contradição e evidência, que, juntamente com suas interpretações probabilísticas, pretendem levar a uma posição mais sólida sobre a filosofia geral da paraconsistência, seu entendimento, seu impacto e sua importância na filosofia da ciência e na filosofia da matemática.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (7) . Integrantes: Kaique Matias de Andrade Roberto - Coordenador / Marcelo Esteban Coniglio - Integrante / Ana Cláudia Golzio - Integrante / Walter Carnielli - Integrante / Julio Michael Stern - Integrante / Abilio Azambuja Rodrigues Filho - Integrante / Carlile Campos Lavor - Integrante / Francesc Esteva - Integrante / Fábio Maia Bertato - Integrante / Henrique Antunes Almeida - Integrante / Juan Carlos Agudelo Agudelo - Integrante / Juliana Bueno - Integrante / Lluis Godo - Integrante / Mariana Matulovic da Silva Rodrigueiro - Integrante / Martín Figallo - Integrante / Newton Marques Peron - Integrante / Rodolfo Cristian Ertola Biraben - Integrante / Tommaso Flaminio - Integrante.
     Membro: Kaique Matias de Andrade Roberto.
  3. 2015-2023. Teorias abstratas de formas quadráticas e aplicações
     Descrição: Serão estudados elementos da Teoria Algébrica das Formas Quadráticas (TAFQ) sobre corpos, anéis e diversas versões abstratas.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Kaique Matias de Andrade Roberto - Coordenador / Hugo Luiz Mariano - Integrante.
     Membro: Kaique Matias de Andrade Roberto.
     Descrição: Serão estudados elementos da Teoria Algébrica das Formas Quadráticas (TAFQ) sobre corpos, anéis e diversas versões abstratas.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Kaique Matias de Andrade Roberto - Coordenador / Hugo Luiz Mariano - Integrante.
     Membro: Kaique Matias de Andrade Roberto.
  4. 2014-2015. Teoria de Galois, Grupos Profinitos e aplicações em formas quadráticas
     Descrição: No contexto da Teoria de Galois infinita, certas questões sobre um corpo base são bem respondidas considerando uma extensão galoisiana infinita deste, por exemplo, o grupo de Galois absoluto do corpo $F$, $Gal(F^s|F)$, onde $F^s$ designa um fecho separável de $F$. Todavia, nesta abordagem ampliada, paga-se o preço de ter que introduzir noções topológicas (a correspondência bijetiva é entre subextensões e subgrupos fechados). Assim, desenvolveremos o arcabouço topológico e categorial necessários para isso. No desenvolvimento da teoria, provaremos que os grupos de automorfismos de extensões galoisianas arbitrárias são profinitos, i.e. são limites projetivos de grupos finitos e discretos, herdando assim uma topologia booleana compatível com as operações de grupo. No processo de detecção das propriedades dos grupos de Galois absolutos, desenvolveremos estudos sobre cohomologia galoisiana e sobre cohomologia de grupos profinitos em geral. Um caso de interesse particular para a Teoria Algébrica das Formas Quadráticas (TAFQ) é o "anel graduado de cohomologia de um corpo", $H(F) :=H(Gal(F^s|F); \pm 1)$. Desenvolveremos assim aplica\c cões no estudo da TAFQ, relacionando o anel graduado de Witt do corpo $F$ (obtido a partir do anel de Witt de $F$ que classifica suas formas quadráticas regulares e não isotrópicas) com o anel graduado de cohomologia de $F$ e o anel graduado obtido da k-teoria reduzida de Milnor. Em sequência, estudaremos os três anéis graduados no contexto da conjectura Milnor (demonstrada no final dos anos 1990), que identifica os três anéis, e a utilização desta para resolver outras questões sobre o anel graduado de Witt.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Kaique Matias de Andrade Roberto - Coordenador / Hugo Luiz Mariano - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.
     Membro: Kaique Matias de Andrade Roberto.
     Descrição: No contexto da Teoria de Galois infinita, certas questões sobre um corpo base são bem respondidas considerando uma extensão galoisiana infinita deste, por exemplo, o grupo de Galois absoluto do corpo $F$, $Gal(F^s|F)$, onde $F^s$ designa um fecho separável de $F$. Todavia, nesta abordagem ampliada, paga-se o preço de ter que introduzir noções topológicas (a correspondência bijetiva é entre subextensões e subgrupos fechados). Assim, desenvolveremos o arcabouço topológico e categorial necessários para isso. No desenvolvimento da teoria, provaremos que os grupos de automorfismos de extensões galoisianas arbitrárias são profinitos, i.e. são limites projetivos de grupos finitos e discretos, herdando assim uma topologia booleana compatível com as operações de grupo. No processo de detecção das propriedades dos grupos de Galois absolutos, desenvolveremos estudos sobre cohomologia galoisiana e sobre cohomologia de grupos profinitos em geral. Um caso de interesse particular para a Teoria Algébrica das Formas Quadráticas (TAFQ) é o "anel graduado de cohomologia de um corpo", $H(F) :=H(Gal(F^s|F); \pm 1)$. Desenvolveremos assim aplica\c cões no estudo da TAFQ, relacionando o anel graduado de Witt do corpo $F$ (obtido a partir do anel de Witt de $F$ que classifica suas formas quadráticas regulares e não isotrópicas) com o anel graduado de cohomologia de $F$ e o anel graduado obtido da k-teoria reduzida de Milnor. Em sequência, estudaremos os três anéis graduados no contexto da conjectura Milnor (demonstrada no final dos anos 1990), que identifica os três anéis, e a utilização desta para resolver outras questões sobre o anel graduado de Witt.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Kaique Matias de Andrade Roberto - Coordenador / Hugo Luiz Mariano - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.
     Membro: Kaique Matias de Andrade Roberto.
  
  

Prêmios e títulos