Perfil do docente · IME

Hugo Luiz Mariano.

Livre · Departamento de Matematica

Unidade: Instituto de Matemática, Estatística e Ciência da Computação
Departamento: Departamento de Matematica

Currículo atualizado em 26/09/2025

Lógica MatemáticaTeoria das CategoriasÁlgebra

Cita-se como: MARIANO, H. L.;Hugo Luiz Mariano;Hugo Mariano;MARIANO, HUGO LUIZ;MARIANO, HUGO L.;Luiz Mariano, Hugo;MARIANO, HUGO

15 seções

Resumo biográfico

Possui graduação em Bacharelado em Física pela Universidade de São Paulo (03/1987-03/1991), mestrado em Matemática pela Universidade de São Paulo (03/1992-08/1997), doutorado em Matemática pela Universidade de São Paulo (08/1997-02/2003), pós-doutorado na UNICAMP (05/2003-11/2004) e dois pós-doutorados pela Universidade Paris 7 (05/2007-02/2008 e 07/2022-06/2023). Foi professor doutor (RDIDP) do Departamento de Matemática do Instituto de Matemática e Estatística da Universidade de São Paulo (MAT-IME-USP) (11/2004-11/2011). Realizou livre docência em 11/2011 e tornou-se professor associado 1 (RDIDP) do MAT-IME-USP (12/2011-09/2021), depois professor associado 2 (10/2021-8/2025) e atualmente é professor associado 3 do MAT-IME-USP. No período 04/2014-03/2018 foi vice-coordenador do Programa de Pós-Graduação em Matemática (PPG-MAT) do IME-USP e no período 04/2018-03/2022 foi coordenador do PPG-MAT do IME-USP. Desde 2003 é vinculado à Sociedade Brasileira de Lógica (SBL), tendo sido presidente da SBL (mandato 07/2023-06/2025) e atualmente é 1o vice presidente (mandato 07/2025-06/2027).Tem experiência na área de Matemática, com ênfase em teoria das categorias, lógica matemática, teoria algébrica de formas quadráticas e aneis C-infinito, suas principais áreas de pesquisa e de orientações de iniciação científica, mestrado e doutorado e de supervisões de pós-doutorado.

Indicadores

Áreas de atuação

03 registros

Ciencias Exatas E Da Terra
Matemática
Álgebra › Lógica Matemática
Ciencias Exatas E Da Terra
Matemática
Teoria das Categorias
Ciencias Exatas E Da Terra
Matemática
Álgebra

Formação acadêmica

07 registros

2022 – presentePós-DoutoradoConcluído
Pós-Doutorado · Université Paris 7
Bolsa Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
2007 – 2008Pós-DoutoradoConcluído
Pós-Doutorado · Université Paris Diderot
Bolsa Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
2003 – 2004Pós-DoutoradoConcluído
Pós-Doutorado · Universidade Estadual de Campinas
Bolsa Fundação de Amparo à Pesquisa do Estado de São Paulo
1997 – 2003DoutoradoConcluído
Matemática · Universidade de São Paulo
“Contribuições à Teoria dos Grupos Especiais”
Orientação: Francisco MiragliaBolsa Conselho Nacional de Desenvolvimento Científico e Tecnológico
1992 – 1997MestradoConcluído
Matemática · Universidade de São Paulo
“Categorias Modeláveis”
Orientação: Odilon Otavio LucianoBolsa Conselho Nacional de Desenvolvimento Científico e Tecnológico
1987 – 1990GraduaçãoConcluído
Bacharelado em Física · Universidade de São Paulo
Livre-docênciaConcluído
Livre-docência · Instituto de Matemática e Estatística da USP

Idiomas

03 registros

Idioma	Leitura	Fala	Escrita	Compreensão
Inglês	Bem	Razoável	Bem	Bem
Francês	Bem	Razoável	Bem	Bem
Português	Bem	Bem	Bem	Bem

Atuação profissional

06 registros

2023 – presenteVínculo atual
Conselho Nacional de Desenvolvimento Científico e Tecnológico
Revisor de projeto de fomento
2020 – presenteVínculo atual
Agencia Nacional de Investigación e Innovación de Uruguay
Revisor de projeto de fomento
2019 – presenteVínculo atual
Fundação de Amparo à Pesquisa do Estado de São Paulo
Revisor de projeto de fomento
2018 – 2021
Centro de Lógica e Epistemologia-UNICAMP
2011 – presenteVínculo atualDedicação exclusiva
Universidade de São Paulo
professor associadoServidor Publico
2004 – 2011Dedicação exclusiva
Universidade de São Paulo
professor doutorServidor Publico

Produção bibliográfica

118 registros

24 de 24 itens

Por página

2023
Sheaf Categories on semicartesian monoidal categories: logical and cohomological aspects
Ana Luiza da Conceição Tenório; Hugo Luiz Mariano · First Meeting Brazil-Colombia in Logic · Bogota
2023
Horn filter pairs and Craig interpolation in Propositional Logic
Peter Arndt; Hugo Luiz Mariano; Darllan Conceição Pinto · First Meeting Brazil-Colombia in Logic · Bogota
2023
The Essence of Scott's 'Continuous Lattices'
Juan Meleiro Ferrer; Hugo Luiz Mariano · First Meeting Brazil-Colombia in Logic · Bogota
2023
On categories of quantale valued sets
José Goudet Alvim; Caio de Andrade Mendes; Hugo Luiz Mariano · First Meeting Brazil-Colombia in Logic · Bogota
2015
Algebraizable Logics and a functorial encoding of its morphisms
Darllan Conceição Pinto; Hugo Luiz Mariano · 5th UNILOG- 5th Universal Logic · Istambul
2014
Some preservation properties of the Profinite Hull Functor of special groups and applications
Hugo Luiz Mariano; Francisco Miraglia · 17o EBL- 17o Encontro Brasileiro de Lógica · Petrópolis
2014
Categorial forms of the Axiom of Choice
Andreas Brunner; Hugo Luiz Mariano; Samuel Gomes da Silva · 17o EBL- 17o Encontro Brasileiro de Lógica · Petrópolis
2014
A global approach to AECs
Hugo Luiz Mariano; Andrés Villaveces; Pedro Hernan Zambrano · 17o EBL- 17o Encontro Brasileiro de Lógica · Petrópolis
2014
Representation theory of logics: a categorial approach
Hugo Luiz Mariano; Darllan Conceição Pinto · 17o EBL- 17o Encontro Brasileiro de Lógica · Petrópolis
2014
Towards a good notion of category of logics
Hugo Luiz Mariano; Caio de Andrade Mendes · 17o EBL- 17o Encontro Brasileiro de Lógica · Petrópolis
2013
Representation theory of logics: a categorial approach
Hugo Luiz Mariano; Darllan Conceição Pinto · 4th UNILOG- 4th Universal Logic · Rio de Janeiro
2012
The Boolean and Profinite hulls of reduced special groups
Hugo Luiz Mariano; Francisco Miraglia · Séminaire de Structures Algébriques Ordonnées · Paris
2012
Analysing categories of signatures
Hugo Luiz Mariano; Caio de Andrade Mendes · : XV Simposio Latinoamericano de Lógica Matemática (XV-SLALM) · Bogotá
2012
Some preservation properties of the Profinite Hull Functor of special groups and applications
Hugo Luiz Mariano; Francisco Miraglia · XV Simposio Latinoamericano de Lógica Matemática (XV-SLALM) · Bogotá
2011
The Boolean and Profinite Hulls of reduced special groups
Hugo Luiz Mariano; Francisco Miraglia · 16o EBL- 16o Encontro Brasileiro de Lógica · Paraty
2011
Towards a good notion of category of logics
Hugo Luiz Mariano; Caio de Andrade Mendes · TACL 2011 - The fifth International Confererence on Topology, Algebra and Categories in Logic · Marselha-França
2009
Realizing profinite reduced special groups
Vincent Astier; Hugo Luiz Mariano · Séminaire de Structures Algébriques Ordonnées · Paris
2008
On Profinite Structures
Hugo Luiz Mariano · CLE-30, XV-EBL, XIV-SLALM · Paraty
2006
On the category of algebraizable logics
Hugo Luiz Mariano; Peter Arndt; Rodrigo de Alvarenga Freire; Odilon Otavio Luciano · 14 EBL- 14 Encontro Brasileiro de Lógica · Itatiaia -Rio de Janeiro
2005
On the filtered colimits of algebraizable logics
Hugo Luiz Mariano · SeMe-2005 -- Workshop on Semantics and Meaning · Campinas -São Paulo, Brasil
2005
Fibring and sheaves
Hugo Luiz Mariano; Peter Arndt; Rodrigo de Alvarenga Freire; Odilon Otavio Luciano · IICAI-05 - 2nd Indian International Conference on Artificial Intelligence · Pune - Índia
2004
The Profinite Hull of Special Groups
Hugo Luiz Mariano; Francisco Miraglia · XII Simposio Latinoamericano de Lógica Matemática (XII-SLALM) · San José- Costa Rica
2004
Profinite Structures are Retracts of Ultraproducts of Finite Structures
Hugo Luiz Mariano; Francisco Miraglia · Séminaire de Structures Algébriques Ordonnées · Paris
2003
Estruturas Profinitas são Retratos de Ultraprodutos de Estruturas Finitas
Hugo Luiz Mariano · 13º Encontro Brasileiro de Lógica (EBL13) · Campinas-S.P.

Produção técnica

49 registros

2 de 2 itens

Por página

2023
Edital 01/2023/PRPI/UFCA
Hugo Luiz Mariano · Chamada PIICT UFCA/FUNCAP/CNPQ
2022
Prêmio de Reconhecimento Acadêmico para Pesquisadores da Carreira Pq-UNICAMP
Hugo Luiz Mariano

Projetos

05 registros

Projetos de pesquisa e de desenvolvimento tecnológico registrados no Currículo Lattes.

5 de 5 projetos

Por página

2023 – presentePesquisa
Paraconsistent set theory (JP-Fapesp)
Em andamento
This project aims to develop the model theory of the models of Type ZF Paraconsistent Set Theory (PST) based on da Costa Logic Cw. Recently, we present F-structures valued models following the methodology developed for Heyting-valued models; with these models, we are able to prove the axioms of ZF are valid on them. The proof is strongly based on the existence of paraconsistent models ofLeibniz law; also, in this setting, we discuss the difficulty of having algebraic paraconsistent models of the law. As a main goal of this project, we intend to present paraconsistent models for others PSTs based on logics that can be expressed as extensions of classical logic of the literature, such us da Costa Cn and several of Logics of Formal Inconsistency that already have semantics by F-structures. Among the main objectives of this project, we plan to present independence proofs for PSTs and display paraconsistent models of ZFC following the methodology developed for Boolean-valued models.
Financiadores
- Fundação de Amparo à Pesquisa do Estado de São Paulo · OUTRO
Equipe
Hugo Luiz Mariano, Aldo Figallo Orellano (Responsável)
2023 – 2024Pesquisa
Abstract theories of quadratic and hermitian forms, and real algebraic geometry (MATH-AMSUD)
Concluído
This project aims to pursue: (i) the study of the theory of quadratic forms over semireal (commutative,unitary) rings using the resources coming from the abstract algebraic configuration provided mainly bythe (first-order) theories of special groups and real semigroups; (ii) the formulation and development ofa new frontier: an abstract, and first-order, theory of the algebraic theory of hermitian forms; (iii) bythe algebraic and model-theoretic tools developed, produce connections and applications to real algebraic geometry and o-minimality.
Financiadores
- Coordenação de Aperfeiçoamento de Pessoal de Nível Superior · AUXILIO_FINANCEIRO
Equipe
Hugo Luiz Mariano (Responsável), Francisco Miraglia, Max A. Dickmann, Ricardo Bianconi, Alejandro Petrovich, Danielle Gondard
2018 – 2021Pesquisa
Arbitrariness and genericity: or on how to speak of the unspeakable - (JP-FAPESP)
Concluído
Equipe
Hugo Luiz Mariano, Rodrigo de Alvarenga Freire, Giorgio Venturi (Responsável)
2010 – 2016Pesquisa
Projeto Temático Fapesp: LOGCONS (10/51038-0)
Concluído
Equipe
Hugo Luiz Mariano, Walter A. Carnielli (Responsável), Itala M. L. d'Ottaviano, Marcelo E. Coniglio
2005 – 2010Pesquisa
Projeto Temático FAPESP : ConsRel (2004/14107-2)
Concluído
Financiadores
- Fundação de Amparo à Pesquisa do Estado de São Paulo · AUXILIO_FINANCEIRO
Equipe
Hugo Luiz Mariano, Walter A. Carnielli (Responsável), Itala M. L. d'Ottaviano, Marcelo E. Coniglio

Orientações

9 de 9 orientações

Por página

Iniciação Científica
desde 2025
David Leonardo Barreto Romero · Orientação
Uma Introdução à Geometria Diferencial Sintética e Seus Modelos · Bacharelado em Matemática · IME USP
Em andamento
Doutorado
desde 2023
Emanuele Rose Romero de Santana · Orientação
Contribuições à teoria de modelos de feixes sobre quantales · Doutorado em Matemática · IME USP · Bolsa Fundação de Amparo à Pesquisa do Estado de São Paulo
Em andamento
Doutorado
desde 2022
Thiago Alexandre · Orientação
The theory of topological derivators · Doutorado em Matemática · Instituto de Matemática e Estatística da USP
Em andamento
Doutorado
desde 2021
James Miller Simeão Toledo da Silva · Orientação
Category Theory and Topology of Quantum Channels · Doutorado em Matemática · Instituto de Matemática e Estatística da USP · Bolsa Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Em andamento
Doutorado
desde 2021
Mayk Alves de Andrade · Orientação
Aplicações de métodos categoriais a geometria · Doutorado em Matemática · Instituto de Matemática e Estatística da USP · Bolsa Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Em andamento
Doutorado
desde 2021
Kaique Ribeiro Prates Santos · Orientação
Uma teoria abstrata de formas hermitianas · Doutorado em Matemática · Instituto de Matemática e Estatística da USP · Bolsa Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Em andamento
Doutorado
desde 2021
Fernando Garcia Yamauti · Orientação
Homotopy theory in topoi · Doutorado em Matemática · Instituto de Matemática e Estatística da USP · Bolsa Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Em andamento
Doutorado
desde 2021
Juan Ferrer Meleiro · Orientação
Matemática orientada a teorias · Doutorado em Matemática · Instituto de Matemática e Estatística da USP · Bolsa Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Em andamento
Doutorado
desde 2020
José Goudet Alvim · Orientação
Topos não cartesianos e Lógica Linear · Doutorado em Matemática · Instituto de Matemática e Estatística da USP · Bolsa Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Em andamento

Bancas julgadoras

137 registros

137 de 137 bancas

Por página

2025
Hendrick Cordeiro Maia e Silva
Conjectura da Robustez na Complexidade Computacional Descritiva · Doutorado em Matemática · IME USPBanca: Ricardo Bianconi, Hugo Luiz Mariano, Rogerio Fajardo
Exame de qualificação de doutorado
2024
Rafael Grossi e Fonseca
Emaranhamento em teorias quânticas de campos algébricas · Mestrado em Fisica · Instituto de Física da USPBanca: João Carlos Alves Barata, Hugo Luiz Mariano, Silvio Paolo Sorella
Mestrado
2024
Caio de Andrade Mendes
Categories of commutative semicartesian quantales valued sets · Doutorado em Matemática · IME USPBanca: Hugo Luiz Mariano, Ciro Russo, Darllan Conceição Pinto, Marcelo E. Coniglio, Pedro Hernan Zambrano
Doutorado
2024
James Miller S. T. da Silva
Category Theory and Topology of Quantum Channels · Doutorado em Matemática · IME USPBanca: Hugo Luiz Mariano, Bárbara Amaral, Peter Arndt
Exame de qualificação de doutorado
2024
Juan Ferrer Meleiro
Matemática orientada a teorias · Doutorado em Matemática · IME USPBanca: Hugo Luiz Mariano, Valéria de Paiva, Joao Marcos
Exame de qualificação de doutorado
2024
Jose Goudet Alvim
Topos nao cartesianos e lógica linear · Doutorado em Matemática · IME USPBanca: Hugo Luiz Mariano, Francisco Miraglia, Valéria de Paiva
Exame de qualificação de doutorado
2024
Fernando Garcia Yamauti
Homotopy Theory of Topoi · Doutorado em Matemática · IME USPBanca: Hugo Luiz Mariano, Georgios Raptis, Peter Arndt
Exame de qualificação de doutorado
2024
Ana Camila Costa Esteves
Formulacao funtorial da Teoria Quantica de Campos Algebrica em espac os-tempos curvos · Doutorado em Física · Instituto de Física da USPBanca: Domingos Humberto Urbano Marchetti, André Gustavo Scagliusi Landulfo, Hugo Luiz Mariano
Exame de qualificação de doutorado
2024
André Dantas Tanure
Simplicial techniques in differential geometry · Doutorado em Matemática · IME USPBanca: Cristian Ortiz Gonzales, Ivan Struchiner, Hugo Luiz Mariano
Exame de qualificação de doutorado
2024
Kaique Ribeiro Prates Santos
Involutive Multialgebras, Baer Orderings and Matroids · Doutorado em Matemática · IME USPBanca: Hugo Luiz Mariano, Francisco Miraglia, Alejandro Petrovich, Max A. Dickmann
Exame de qualificação de doutorado
2023
Guilherme dos Santos Carneiro
MONADIC AND BI-SORTED FIRST-ORDER LOGICS FOR FORMAL CONCEPT ANALYSIS · Logica · Centro de Lógica e Epistemologia-UNICAMPBanca: Fabio Maia Bertato, Estevão Esmi Laureano, Hugo Luiz Mariano
Mestrado
2023
Fellipe Hernandes de Almeida
Introdução à Lógica Intuicionista (SUPLENTE) · Mestrado em Matemática · IME USPBanca: Rogerio Fajardo, Hércules de Araújo Feitosa, Darllan Conceição Pinto, Hugo Luiz Mariano
Mestrado
2023
David Reyes Gaona
Internal and external aspects of continuous logic and categorical logic for sheaves over quantales · Maestria em Matemáticas · Universidad Nacional de Colombia - BogotáBanca: Hugo Luiz Mariano, Pedro Hernan Zambrano, Ciro Russo
Mestrado
2023
Kaue de Mello Nogueira Piza
Categorical Probability Theory · Mestrado em Matemática · IME USPBanca: Hugo Luiz Mariano, Ana Luiza da Conceição Tenório, Darllan Conceição Pinto
Mestrado
2023
Ana Luiza da Conceição Tenório
Sheaves on semicartesian monoidal categories and applications in the quantalic case: A significant change in the Grothendieck pretopologies · Doutorado em Matemática · IME USPBanca: Hugo Luiz Mariano, Kostyantin Yusenko, ARNDT, PETER, Valéria de Paiva, Ciro Russo
Doutorado
2023
Kaique Matias de Andrade Roberto
Multialgebraic structures and applications in abstract theories of quadratic forms and graded rings · Doutorado em Matemática · IME USPBanca: Hugo Luiz Mariano, Francisco Miraglia, Max A. Dickmann, Alejandro Petrovich, Oliver Lorscheid
Doutorado
2023
Alexandre Garcia de Oliveira
Programming with Monoidal Profunctors and Semiarrows · Doutorado em Ciência da Computação · IME USPBanca: Mauro Jaskelioff, Nicolas Wu, Alberto Raúl Pardo Costa, Tarmo Uustalu, Hugo Luiz Mariano
Doutorado
2023
Juan Sebástian Slagter
Avances en Teoria de Modelos: Lógicas de Primer Orden y Teoria Paraconsistente de Conjuntos · Doutorado em Matemática · Universidad Nacional del SurBanca: Hugo Luiz Mariano, Ciro Russo, Samuel Gomes da Silva
Doutorado
2023
Thiago Alexandre
The theory of Topological Derivators · Doutorado em Matemática · IME USPBanca: Hugo Luiz Mariano, Peter Arndt, Ivan Struchiner
Exame de qualificação de doutorado
2022
Thiago Alexandre
On the Homotopy Types · Matemática · Instituto de Matemática e Estatística da USPBanca: Hugo Luiz Mariano, Fernando Zalamea, Peter Arndt
Mestrado
2022
Daniel Eiti Nishida Kawai
Álgebras Normadas e Álgebras com Valor Absoluto (SUPLENTE) · Mestrado em Matemática · IME USPBanca: Henrique Guzzo Junior, Ma Isabel Hernández, Bruno Leonardo Macedo Ferreira, Hugo Luiz Mariano
Mestrado
2022
Daniel de Almeida Souza
Motivic cohomology, Milnor K-theory, and Galois cohomology · Mestrado em Matemática · IME USPBanca: Hugo Luiz Mariano, Oliver Lorscheid, Hugo Rafael de Oliveira Ribeiro
Mestrado
2022
Yuri Ximenes Martins
Pursuing Abstraction: Problems and Ideas on Mathematics and Physics · Doutorado em Matemática · IME-UFMGBanca: Rodney Josué Biezuner, Helvécio Geovani Fargnoli Filho, Hugo Luiz Mariano, Monique Müller Lopes Rocha, Nelson de Oliveira Yokomizo
Doutorado
2022
Guilherme Vicentin de Toledo
Multialgebras and Non-Deterministic Semantics applied to Paraconsistent Logics (SUPLENTE) · Logica · Centro de Lógica e Epistemologia-UNICAMPBanca: Marcelo E. Coniglio, Walter A. Carnielli, Darllan Conceição Pinto, Hitoshi Omori, Anna Zamansky, Hugo Luiz Mariano
Doutorado
2022
Geovani Pereira Machado
On Rayner Rngs of	Formal Power Series · Doutorado em Matemática · IME USPBanca: Rogerio Fajardo, Hugo Luiz Mariano, Dessislava Hristova Kochloukova, Aline de Souza Lima, Hércules de Araújo Feitosa
Doutorado

Revisor de periódico

21 registros

2024 – presenteVínculo atual
Italian Journal Pure and Applied Mathematics
Revisor de periódico
2023 – presenteVínculo atual
Mathematics
Revisor de periódico
2022 – presenteVínculo atual
Symmetry-Basel
Revisor de periódico
2022 – presenteVínculo atual
Axioms
Revisor de periódico
2021 – presenteVínculo atual
INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION
Revisor de periódico
2020 – presenteVínculo atual
Logic and Logical Philosophy
Revisor de periódico
2020 – presenteVínculo atual
Logic and Logical Philosophy
Revisor de periódico
2020 – presenteVínculo atual
Brazilian Eletronic Journal of Mathematics
Revisor de periódico
2020 – presenteVínculo atual
Trends in Applied and Computacional Mathematics
Revisor de periódico
2019 – presenteVínculo atual
Boletin de Matematicas (Bogota, Colombia)
Revisor de periódico
2018 – presenteVínculo atual
Categories and General Algebraic Structures with Applications
Revisor de periódico
2016 – presenteVínculo atual
SOUTH AMERICAN JOURNAL OF LOGIC
Revisor de periódico
2016 – presenteVínculo atual
MATEMÁTICA UNIVERSITÁRIA
Revisor de periódico
2012 – presenteVínculo atual
Journal of Logic and Computation (Print)
Revisor de periódico
2011 – presenteVínculo atual
Mathematical Reviews
Revisor de periódico
2011 – presenteVínculo atual
Zentralblatt MATH - ZBMATH
Revisor de periódico
2010 – presenteVínculo atual
Principia (UFSC)
Revisor de periódico
2009 – presenteVínculo atual
Reports on Mathematical Logic
Revisor de periódico
2009 – presenteVínculo atual
Studies in Logic Series
Revisor de periódico
2007 – presenteVínculo atual
Logic Journal of the IGPL
Revisor de periódico
2007 – presenteVínculo atual
Logica Universalis (Print)
Revisor de periódico

Prêmios e títulos

07 registros

7 de 7 prêmios

Por página

2024
Grant Toposes in Mondovi: invited speaker
Istituto Grothendieck
2021
1o Encontro Brasileiro em Teoria das Categorias: invited speaker
UFES
2019
Grant 17o-SLALM: invited speaker em Teoria dos Modelos
Universidad de Concépcion-Chile
2019
Grant UNAL-Lógica
Universidad Nacional de Colombia-Bogotá
2017
Professor homenageado
Bacharelado em Matemática do IME-USP
2013
Grant UNAL-Lógica
Universidad Nacional de Colombia-Bogotá
2007
Grant: Workshop MODNET, Humboldt-Universität Berlin (Germany)
MODNET Research Training Network in Model Theory (União Européia)

Participação em eventos

53 registros

53 de 53 participações

Por página

2025
Linear (Multi) Algebra I: Linear Systems, Matrices and Vector Spaces over Superfields
5th Hypercompositional Algebra-new Developments and Applications · Apresentação oral · Participante · Nova Gorica
2025
A First-Order Characterization and Topological Properties of Gel?fand C∞-Rings
XXI Brazilian Logic Conference · Apresentação oral · Participante · Serra Negra
2025
Gelfand-Kirillov conjecture as a first-order formula
XXI Brazilian Logic Conference · Apresentação oral · Participante · Serra Negra
2025
Minicurso avançado: Sheaves and C-infinity rings
35o Coloquio Brasileiro de Matemática · Apresentação oral · Participante · Rio de Janeiro
2025
A categorial approach to representation theory of logics (I): Morita equivalence
35o Coloquio Brasileiro de Matemática- Sessão Temática : Teoria das Categorias e Aplicações · Apresentação oral · Participante · Rio de Janeiro
2024
Towards a monoidal generalization of topos and their internal logic
VII CLAM Congreso Latinoamericando y del Caribe de Matemática · Conferencista · Convidado · João Pessoa
2024
From quantales to a Grothendieck monoidal topology: Towards a closed monoidal generalization of topos
Toposes in Mondovì · Conferencista · Convidado · Mondovì
2024
Craig interpolation from Horn Semantics
VII CLAM Congreso Latinoamericando y del Caribe de Matemática · Conferencista · Convidado · João Pessoa
2024
Em direção a uma generalização monoidal dos topos e de sua lógica interna
V Colóquio UnB?USP de Lógica e Filosofia da Lógica · Conferencista · Convidado · Sao Paulo
2024
Towards a monoidal generalization of topos and their internal logic
2o Encontro USP-UFBA em Logica e Fundamentos · Conferencista · Convidado · Salvador
2022
Algebraic and model-theoretical contributions to the theory of algebraically closed multifields
Encontro Conjunto Brasil Portugal em Matemática- S. Lógica Mat · Conferencista · Convidado · Salvador
2021
Filter pairs and natural extensions of logics
VI Congresso Latino Americano de Matematicos-(Sesion 22) · Apresentação oral · Participante · (online)
2021
Logical and categorial aspects of abstract quadratic forms theories
VI Congresso Latino Americano de Matematicos-(Sesion 33) · Apresentação Oral · Participante · (online)
2021
An algebraic framework to a theory of sets based on the surreal numbers
1o Encontro Brasileiro de Teoria das Categorias · Conferencista · Convidado · (online)
2019
Von Neumann Regular C ∞−Rings and Applications to Boolean algebras
XIX Brazilian Logic Conference · Apresentação Oral · Participante · Joao Pessoa
2019
A Galois group functor for the category of Special Groups
1st Joint Meeting Brazil-France in Mathematics · Apresentação oral · Participante · Rio de janeiro
2019
Galois groups and a valuation theory for Special Groups
workshop Formal Logic and Foundations of Mathematics · Apresentação oral · Participante · Rio de Janeiro
2019
Logical and categorial aspects of abstract quadratic forms theories
Coloquio de Matemáticas + Seminario de Lógica UNAL · Conferencista · Convidado · Bogota
2019
Some Algebraic and Logical Aspects of C-infty Rings
Seminario Lógica y Geometría · Conferencista · Convidado · Bogota
2019
The Witt ring and the Von Neumann hull of a real semigroup
XVIII Simposio Latino Americano de Logica Matematica · Conferencista · Convidado · Concepcion
2018
Logical and categorical aspects of abstract quadratic forms theories
Algebra: celebrating Paulo Ribenboim's ninetieth birthday · Apresentação oral · Participante · São Paulo
2017
Genericidade e arbitrariedade em teoria dos conjuntos
XVIII Brazilian Logic Conference · Apresentação oral · Participante · Pirinópolis
2017
kappa-filter pairs and non finitary logics
XVIII Brazilian Logic Conference · Apresentação oral · Participante · Pirinópolis
2016
Abstract aspects of quadratic forms
First Joint Meeting Brazil Italy of Mathematics · Apresentação oral · Participante · Rio de Janeiro
2016
Toposes and some of its applications in Geometry and Physics
Escola Patricio Letelier de Física ? Matemática · Apresentação oral · Participante · Ubu

Na imprensa

beta

Versão beta: esta seção é experimental e pode ser alterada ou removida a qualquer momento, e os dados podem estar incompletos ou incorretos.

As notícias são ligadas ao docente automaticamente, pelas etiquetas do Jornal ou pelo nome no texto (o nome abreviado só conta quando vem depois de um título como “professora”). Homônimos ficam de fora; ainda pode haver falsos positivos e omissões.

Hugo Luiz Mariano.

Paraconsistent set theory (JP-Fapesp)

Abstract theories of quadratic and hermitian forms, and real algebraic geometry (MATH-AMSUD)

Arbitrariness and genericity: or on how to speak of the unspeakable - (JP-FAPESP)

Projeto Temático Fapesp: LOGCONS (10/51038-0)

Projeto Temático FAPESP : ConsRel (2004/14107-2)