Departamento de Matemática

Hugo Luiz Mariano

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). Desde 10/2021 é professor associado 2 (RDIDP) do MAT-IME-USP. No período 04/2018-03/2022 foi coordenador do Programa de pós-graduação em Matemática do IME-USP. Atualmente é presidente da SBL (Sociedade Brasileira de Lógica): mandato 07/2023-06/2025.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. (Texto informado pelo autor)

http://lattes.cnpq.br/3762450205090582 (28/06/2025)

Rótulo/Grupo:

Bolsa CNPq:

Período de análise:

Endereço: Instituto de Matemática e Estatística da USP. Rua do Matão, 1010 Butantã 05508-090 - Sao Paulo, SP - Brasil

Grande área: Ciências Exatas e da Terra

Área: Matemática

Citações: Google Acadêmico

Produção bibliográfica

Artigos completos publicados em periódicos (46)
1. MIRAGLIA, F. ; MARIANO, H. L.. On Elementary Equivalence of Real Semigroups of Preordered Rings. LOGIC JOURNAL OF THE IGPL. v. 33, p. 1-35, 2025. Qualis: A2
2. ALVIM, J. G. ; MENDES, C. A. ; MARIANO, H. L.. Quantale Valued Sets: Categorical Constructions and Properties. Studia Logica. v. 113, p. 325-378, 2025. Qualis: Não identificado (STUDIA LOGICA)
3. ARNDT, P. ; MARIANO, H. L. ; PINTO, D. C.. Congruence Filter Pairs, Equational Filter Pairs and Adjoints. JOURNAL OF LOGIC AND COMPUTATION. v. 35, p. exae002, 2025.Qualis: A3
4. TENORIO, A. L. C. ; MENDES, C. A. ; MARIANO, H. L.. On sheaves on semicartesian quantales and their true values. JOURNAL OF LOGIC AND COMPUTATION. v. 35, p. exad081, 2025.Qualis: A3
5. BERNI, J. C. ; MARIANO, H. L.. Classification of boolean algebras through von Neumann regular C∞-ring. Categories And General Algebraic Structures With Applications. v. 21, p. 211-239, 2024. Qualis: Não identificado (CATEGORIES AND GENERAL ALGEBRAIC STRUCTURES WITH APPLICATIONS)
6. ROBERTO, KAIQUE M. A. ; SANTOS, KAIQUE R. P. ; MARIANO, HUGO LUIZ. On Non-Commutative Multi-Rings with Involution. Mathematics. v. 12, p. 2931, 2024. Qualis: C
7. BERNI, JEAN C. ; MARIANO, HUGO L.. Separation theorems in the commutative algebra of C∞-rings and applications. COMMUNICATIONS IN ALGEBRA (ONLINE). v. 51, p. 2014-2044, 2023. Qualis: B1
8. ARNDT, PETER ; MARIANO, HUGO LUIZ ; PINTO, DARLLAN CONCEIÇÃO. Filter pairs and natural extensions of logics. ARCHIVE FOR MATHEMATICAL LOGIC. v. 62, p. 113-145, 2023. Qualis: Não identificado (ARCHIVE FOR MATHEMATICAL LOGIC)
9. RIOS, G. B. ; MARIANO, H. L.. Model Theory Inspired by Grothendieckian Algebraic Geometry: a Survey of Sheaf Representations for Categorical Model Theory. Latin American Journal of Mathematics. v. 2, p. 12-50, 2023.Qualis: A1 (AMERICAN JOURNAL OF MATHEMATICS)
10. RIBEIRO, H. R. O. ; MARIANO, H. L.. Von Neumann Regular Hyperrings and Applications to Real Reduced Multirings. Algebra and Logic. v. 62, p. 215-256, 2023. Qualis: B1
11. BERNI, J. C. ; MARIANO, H. L.. A GEOMETRIA DIFERENCIAL SINTÉTICA E OS MUNDOS ONDE PODEMOS INTERPRETÁ-LA: UM CONVITE AO ESTUDO DOS ANÉIS C∞. Revista Matemática Universitária. v. 1, p. 5-30, 2022. Qualis: Não identificado (REVISTA MATEMÁTICA UNIVERSITÁRIA)
12. RANGEL, D. R. ; MARIANO, H. L.. An algebraic (set) theory of surreal numbers, I. Journal of Applied Logics. v. 9, p. 347-403, 2022.Qualis: A2 (JOURNAL OF APPLIED LOGIC)
13. RIBEIRO, H. R. O. ; MARIANO, H. L.. Horn-Geometric Axioms for Faithfully Quadratic Rings. Journal of Applied Logics. v. 9, p. 405-418, 2022.Qualis: A2 (JOURNAL OF APPLIED LOGIC)
14. ROBERTO, K. M. A. ; MARIANO, H. L.. On superrings of polynomials and algebraically closed multifields. Journal of Applied Logics. v. 9, p. 419-444, 2022.Qualis: A2 (JOURNAL OF APPLIED LOGIC)
15. BERNI, J. C. ; FIGUEIREDO, R. ; MARIANO, H. L.. On the order theory of C∞-reduced C∞-rings and applications. Journal of Applied Logics. v. 9, p. 93-134, 2022.Qualis: A2 (JOURNAL OF APPLIED LOGIC)
16. RIOS, G. B. ; SOUZA, D. A. ; PINTO, D. C. ; MARIANO, H. L.. Connecting abstract logics and adjunctions in the theory of (π-)institutions: some theoretical remarks and applications. Journal of Applied Logics. v. 9, p. 445-494, 2022.Qualis: A2 (JOURNAL OF APPLIED LOGIC)
17. ALVIM, J. G. ; CAHALI, A. F. S. ; MARIANO, H. L.. Induced morphisms between Heyting-valued models. Journal of Applied Logics. v. 9, p. 5-40, 2022.Qualis: A2 (JOURNAL OF APPLIED LOGIC)
18. ROBERTO, K. M. A. ; RIBEIRO, H. R. O. ; MARIANO, H. L.. Quadratic structures associated to (multi)rings. Categories And General Algebraic Structures With Applications. v. 16, p. 105-141, 2022. Qualis: Não identificado (CATEGORIES AND GENERAL ALGEBRAIC STRUCTURES WITH APPLICATIONS)
19. 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. 17, p. 1-46, 2022. Qualis: Não identificado (CATEGORIES AND GENERAL ALGEBRAIC STRUCTURES WITH APPLICATIONS)
20. 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. Sao Paulo Journal Of Mathematical Sciences. v. 16, p. 5-42, 2022. Qualis: B3 (SÃO PAULO JOURNAL OF MATHEMATICAL SCIENCES)
21. BERNI, J. C. ; MARIANO, H. L.. A Universal Algebraic Survey of C∞−Rings. Latin American Journal of Mathematics. v. 1, p. 8-39, 2022.Qualis: A1 (AMERICAN JOURNAL OF MATHEMATICS)
22. SANTOS, K. R. P. ; MARIANO, H. L.. Um convite à teoria algébrica de formas quadráticas e de formas hermitianas. Latin American Journal of Mathematics. v. 1, p. 77-102, 2022.Qualis: A1 (AMERICAN JOURNAL OF MATHEMATICS)
23. ROBERTO, K. M. A. ; MARIANO, H. L.. A teoria algébrica das formas quadráticas aplicada a uma disputa entre dois orixás. Brazilian Eletronic Journal of Mathematics. v. 2, p. 48-80, 2021. Qualis: Não identificado (BRAZILIAN ELETRONIC JOURNAL OF MATHEMATICS)
24. TENORIO, A. L. C. ; MARIANO, H. L.. On sheaf cohomology and natural expansions. SÃO PAULO JOURNAL OF MATHEMATICAL SCIENCES. v. 2, p. 571-614, 2021. Qualis: B3
25. MARIANO, HUGO LUIZ; MELEIRO, JUAN FERRER. Um Convite ao Estudo da Teoria das Categorias. INTERMATHS. v. 2, p. 14-22, 2021. Qualis: Não identificado (INTERMATHS)
26. BERNI, J. C. ; MARIANO, H. L.. C ∞−Rings: an Interplay Between Geometry and Logic. Boletin De Matematicas. v. 27, p. 85-112, 2020.Qualis: Não identificado (BOLETIN DE MATEMATICAS)
27. FERREIRA, LUAN ALBERTO ; MARIANO, HUGO LUIZ. Prime gaps and the Firoozbakht Conjecture. SÃO PAULO JOURNAL OF MATHEMATICAL SCIENCES. v. 13, p. 652-662, 2019. Qualis: B3
28. MENDES, C. A. ; MARIANO, H. L.. Analyzing categories of signatures. SOUTH AMERICAN JOURNAL OF LOGIC. v. 4, p. 407-421, 2018.Qualis: B2
29. BERNI, J. C. ; MARIANO, H. L.. Classifying toposes for some theories of C∞−rings. SOUTH AMERICAN JOURNAL OF LOGIC. v. 4, p. 313-350, 2018.Qualis: B2
30. FIGUEIREDO, R. ; MARIANO, H. L.. Remarks on expansions of the real field: tameness, Hardy fields and smooth rings. SOUTH AMERICAN JOURNAL OF LOGIC. v. 4, p. 373-383, 2018.Qualis: B2
31. ARNDT, P. ; MARIANO, H. L. ; PINTO, D. C.. Finitary Filter Pairs and Propositional Logic. SOUTH AMERICAN JOURNAL OF LOGIC. v. 4, p. 257-280, 2018.Qualis: B2
32. BRUNNER, A. ; MARIANO, H. L. ; PINTO, D. C. ; SILVA, S. G.. More on Categorial Forms of the Axiom of Choice. SOUTH AMERICAN JOURNAL OF LOGIC. v. 4, p. 351-372, 2018.Qualis: B2
33. BRUNNER, A. ; MARIANO, H. L. ; SILVA, S. G.. Categorial Forms of the Axiom of Choice. LOGIC JOURNAL OF THE IGPL. v. 25, p. 408-430, 2017.Qualis: A2
34. PINTO, D. C. ; MARIANO, H. L.. Algebraizable logics and a functorial encoding of its morphisms. LOGIC JOURNAL OF THE IGPL. v. 25, p. 524-561, 2017. Qualis: A2
35. PINTO, D. C. ; MARIANO, H. L.. Remarks on Propositional Logics and the categorial relationship between Institutions and Π-Institutions. SOUTH AMERICAN JOURNAL OF LOGIC. v. 3, p. 111-121, 2017.Qualis: B2
36. ARNDT, P. ; MARIANO, H. L.. The von Neumann-Regular Hull of (Preordered) Rings and Quadratic Forms. SOUTH AMERICAN JOURNAL OF LOGIC. v. 2, p. 201-244, 2016.Qualis: B2
37. MARIANO, H. L.; MIRAGLIA, F.. Model-theoretic applications of the profinite hull functor of special groups. SOUTH AMERICAN JOURNAL OF LOGIC. v. 1, p. 111-133, 2015.Qualis: B2
38. Carnielli, W. A. ; MARIANO, H. L. ; MATULOVIC, M.. Reconciling first-order logic to algebra. CLE e-Prints (Online). v. 15, p. 1-26, 2015.Qualis: B2
39. MARIANO, H. L.; MIRAGLIA, F.. The Boolean and profinite hulls of reduced special groups. LOGIC JOURNAL OF THE IGPL. v. 21, p. 160-182, 2013. Qualis: A2
40. ASTIER, V. ; MARIANO, H. L.. Realizing profinite reduced special groups. Pacific Journal of Mathematics. v. 250, p. 257-285, 2011.Qualis: A3
41. MARIANO, H. L.; MIRAGLIA, F.. The Profinite Hull of Special Groups and local-global principles. Studia Logica. v. 97, p. 127-160, 2011.Qualis: Não identificado (STUDIA LOGICA)
42. ARNDT, P. ; FREIRE, R. A. ; LUCIANO, O. O. ; MARIANO, H. L.. A Global Glance on Categories in Logic. Logica Universalis (Print). v. 1, p. 3-39, 2007. Qualis: B1
43. MARIANO, H. L.; MIRAGLIA, F.. Profinite structures are retracts of ultraproducts of finite structures. Reports on Mathematical Logic. v. 42, p. 171-184, 2007.Qualis: Não identificado (REPORTS ON MATHEMATICAL LOGIC)
44. ARNDT, P. ; FREIRE, R. A. ; LUCIANO, O. O. ; MARIANO, H. L.. On the category of algebraizable logics. CLE e-Prints (Online). v. 6, p. 1-24, 2006.Qualis: B2
45. MARIANO, H. L.; MIRAGLIA, F.. Logic, Partial Orders and Topology. Manuscrito (UNICAMP). v. 28, p. 449-546, 2005.Qualis: A1
46. ARNDT, P. ; FREIRE, R. A. ; LUCIANO, O. O. ; MARIANO, H. L.. Fibring and sheaves. CLE e-Prints (Online). v. 5, p. 1-20, 2005.Qualis: B2
Livros publicados/organizados ou edições (1)
1. MARIANO, H. L.; RIBEIRO, H. R. O. ; ROBERTO, K. M. A.. Uma Jornada pelas Teorias Algébricas de Formas Quadráticas. 1 ed. São Paulo: Editora Livraria da Física, 2021. v. 1, p. 551.
Capítulos de livros publicados (4)
1. MARIANO, H. L. Alguns comentários sobre a questão da identidade entre lógicas. Em: Edgar Ameida; Alexandre Costa-Leite; Rodrigo Freire.. (Org.). Lógica no Avião. 1ed.Brasilia. 2019.v. 1, p. 60-72.
2. Carnielli, W. A. ; MARIANO, H. L. ; MATULOVIC, M.. Reconciling First-Order Logic to Algebra. Contradictions, from Consistency to Inconsistency. 1ed. Em: . 2018.v. 47, p. 273-305.
3. MARIANO, H. L. Expansions of Galois theory in Algebra: Inﬁnity Galois theory and applications.. In the steps of Galois Proceedings of the Evariste Galois bicentenary meeting. 1ed.Paris. Em: . : Hermann. 2014.p. 217-245.
4. MARIANO, H. L.; MIRAGLIA, F.. On Profinite Structures. Em: Walter Carnielli; Marcelo E. Coniglio; Itala M. Loffredo D`Ottaviano. (Org.). The Many Sides of Logic- Studies in Logic Series 21. 1ed.Londres. : College Publications. 2009.v. 1, p. 201-224.
Textos em jornais de notícias/revistas (0)
Trabalhos completos publicados em anais de congressos (4)
1. MARIANO, H. L.; MIRAGLIA, F.. The Boolean and Profinite hulls of reduced special groups. Em: Séminaire de Structures Algébriques Ordonnées, v. 87, p. 1-16, 2012.Qualis: Não identificado (Séminaire de Structures Algébriques Ordonnées)
2. ASTIER, V. ; MARIANO, H. L.. Realizing profinite reduced special groups. Em: Séminaire de Structures Algébriques Ordonnées, v. 83, p. 1-22, 2009.Qualis: Não identificado (Séminaire de Structures Algébriques Ordonnées)
3. MARIANO, H. L.; ARNDT, P. ; FREIRE, R. A. ; LUCIANO, O. O.. Fibring and sheaves. Em: IICAI-05 - 2nd Indian International Conference on Artificial Intelligence, 2005.Qualis: Não identificado (IICAI-05 - 2nd Indian International Conference on Artificial Intelligence)
4. MARIANO, H. L.; MIRAGLIA, F.. Profinite Structures are Retracts of Ultraproducts of Finite Structures. Em: Séminaire de Structures Algébriques Ordonnées, v. 76, p. 1-14, 2004.Qualis: Não identificado (Séminaire de Structures Algébriques Ordonnées)
Resumos expandidos publicados em anais de congressos (6)
1. TENORIO, A. L. C. ; MARIANO, H. L.. Sheaf Categories on semicartesian monoidal categories: logical and cohomological aspects. Em: First Meeting Brazil-Colombia in Logic, 2023, Bogota. Proceedings ELBC, 2021. Qualis: Não identificado (FIRST MEETING BRAZIL-COLOMBIA IN LOGIC, 2023, BOGOTA. PROCEEDINGS ELBC)
2. ARNDT, P. ; MARIANO, H. L. ; PINTO, D. C.. Horn filter pairs and Craig interpolation in Propositional Logic. Em: First Meeting Brazil-Colombia in Logic, 2023, Bogota. Proceedings ELBC, 2021. Qualis: Não identificado (FIRST MEETING BRAZIL-COLOMBIA IN LOGIC, 2023, BOGOTA. PROCEEDINGS ELBC)
3. FERRER, J. M. ; MARIANO, H. L.. The Essence of Scott's 'Continuous Lattices'. Em: First Meeting Brazil-Colombia in Logic, 2023, Bogota. Proceedings ELBC, 2021. Qualis: Não identificado (FIRST MEETING BRAZIL-COLOMBIA IN LOGIC, 2023, BOGOTA. PROCEEDINGS ELBC)
4. ALVIM, J. G. ; MENDES, C. A. ; MARIANO, H. L.. On categories of quantale valued sets. Em: First Meeting Brazil-Colombia in Logic, 2023, Bogota. Proceedings ELBC, 2021. Qualis: Não identificado (FIRST MEETING BRAZIL-COLOMBIA IN LOGIC, 2023, BOGOTA. PROCEEDINGS ELBC)
5. MARIANO, H. L.; MENDES, C. A.. Towards a good notion of category of logics. Em: TACL 2011 - The fifth International Confererence on Topology, Algebra and Categories in Logic, 2011, Marselha-França. 5th-TACL 2011, p. 207-210, 2011. Qualis: Não identificado (TACL 2011 - THE FIFTH INTERNATIONAL CONFERERENCE ON TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC, 2011, MARSELHA-FRANÇA. 5TH-TACL 2011)
6. MARIANO, H. L.; ARNDT, P. ; FREIRE, R. A. ; LUCIANO, O. O.. On the category of algebraizable logics. Em: 14 EBL- 14 Encontro Brasileiro de Lógica, 2006, Itatiaia -Rio de Janeiro. Anais do Evento, 2006. Qualis: Não identificado (14 EBL- 14 ENCONTRO BRASILEIRO DE LÓGICA, 2006, ITATIAIA -RIO DE JANEIRO. ANAIS DO EVENTO)
Resumos publicados em anais de congressos (14)
1. PINTO, D. C. ; MARIANO, H. L.. Algebraizable Logics and a functorial encoding of its morphisms. Em: 5th UNILOG- 5th Universal Logic, 2015, Istambul. Handbook of the 5th World Congress and School on Universal Logic, p. 371-372, 2015.
2. MARIANO, H. L.; MIRAGLIA, F.. Some preservation properties of the Profinite Hull Functor of special groups and applications. Em: 17o EBL- 17o Encontro Brasileiro de Lógica, 2014, Petrópolis. anais do EBL, 2014.
3. BRUNNER, A. ; MARIANO, H. L. ; SILVA, S. G.. Categorial forms of the Axiom of Choice. Em: 17o EBL- 17o Encontro Brasileiro de Lógica, 2014, Petrópolis. anais do EBL, 2014.
4. MARIANO, H. L.; VILLAVECES, A. ; ZAMBRANO, P. H.. A global approach to AECs. Em: 17o EBL- 17o Encontro Brasileiro de Lógica, 2014, Petrópolis. anais do EBL, 2014.
5. MARIANO, H. L.; PINTO, D. C.. Representation theory of logics: a categorial approach. Em: 17o EBL- 17o Encontro Brasileiro de Lógica, 2014, Petrópolis. anais do EBL, 2014.
6. MARIANO, H. L.; MENDES, C. A.. Towards a good notion of category of logics. Em: 17o EBL- 17o Encontro Brasileiro de Lógica, 2014, Petrópolis. anais do EBL, 2014.
7. MARIANO, H. L.; PINTO, D. C.. Representation theory of logics: a categorial approach. Em: 4th UNILOG- 4th Universal Logic, 2013, Rio de Janeiro. Handbook of the 4th World Congress and School on Universal Logic, p. 365-366, 2013.
8. MARIANO, H. L.; MENDES, C. A.. Analysing categories of signatures. Em: : XV Simposio Latinoamericano de Lógica Matemática (XV-SLALM), 2012, Bogotá. anais do SLALM, 2012.
9. MARIANO, H. L.; MIRAGLIA, F.. Some preservation properties of the Profinite Hull Functor of special groups and applications. Em: XV Simposio Latinoamericano de Lógica Matemática (XV-SLALM), 2012, Bogotá. anais do SLALM, 2012.
10. MARIANO, H. L.; MIRAGLIA, F.. The Boolean and Profinite Hulls of reduced special groups. Em: 16o EBL- 16o Encontro Brasileiro de Lógica, 2011, Paraty. 16o EBL -16o Encontro Brasileiro de Lógica, 2011.
11. MARIANO, H. L. On Profinite Structures. Em: CLE-30, XV-EBL, XIV-SLALM, 2008, Paraty. Anais do evento, 2008.
12. MARIANO, H. L. On the filtered colimits of algebraizable logics. Em: SeMe-2005 -- Workshop on Semantics and Meaning, 2005, Campinas -São Paulo, Brasil. Anais do evento, 2005.
13. MARIANO, H. L.; MIRAGLIA, F.. The Profinite Hull of Special Groups. Em: XII Simposio Latinoamericano de Lógica Matemática (XII-SLALM), 2004, San José- Costa Rica. Anais do XII-SLALM, 2004.
14. MARIANO, H. L. Estruturas Profinitas são Retratos de Ultraprodutos de Estruturas Finitas. Em: 13º Encontro Brasileiro de Lógica (EBL13), 2003, Campinas-S.P.. Caderno de Resumos do 13º-EBL, p. 73-73, 2003.
Artigos aceitos para publicação (4)
1. ARNDT, P. ; MARIANO, H. L. ; PINTO, D. C.. Possible-translation semantics from a categorical point of view. Outstanding Contributions to Logic. 2024. Qualis: Não identificado (OUTSTANDING CONTRIBUTIONS TO LOGIC)
2. MARIANO, H. L.; SCHWARZ, J. F.. Gelfand-Kirillov conjecture as a first-order formula. Algebra and Logic. 2024. Qualis: B1
3. FREIRE, A. R. ; MARIANO, H. L.. Informative gluing and collapsing of pre-orders. Boletin De Matematicas. 2024. Qualis: Não identificado (BOLETIN DE MATEMATICAS)
4. ROBERTO, K. M. A. ; MARIANO, H. L.. Inductive graded rings, hyperfields and quadratic forms. Categories And General Algebraic Structures With Applications. 2024. Qualis: Não identificado (CATEGORIES AND GENERAL ALGEBRAIC STRUCTURES WITH APPLICATIONS)
Apresentações de trabalho (29)
1. MARIANO, H. L.; ROBERTO, K. M. A.. K-theories and free inductive graded rings in abstract quadratic forms theories. 2023. Apresentação de Trabalho/Seminário
2. MARIANO, H. L.; ROBERTO, K. M. A. ; RIBEIRO, H. R. O.. Algebraic and model-theoretical contributions to the theory of algebraically closed multifields. 2022. Apresentação de Trabalho/Congresso
3. MARIANO, H. L.; ROBERTO, K. M. A. ; RIBEIRO, H. R. O.. Multirings and applications to algebraic theory of quadratic forms, I. 2022. Apresentação de Trabalho/Seminário
4. MARIANO, H. L.; ROBERTO, K. M. A. ; RIBEIRO, H. R. O.. Multirings and applications to algebraic theory of quadratic forms, II. 2022. Apresentação de Trabalho/Seminário
5. MARIANO, H. L.; RIBEIRO, H. R. O.. Multirings and applications to algebraic theory of quadratic forms, III. 2022. Apresentação de Trabalho/Seminário
6. MARIANO, H. L.; ROBERTO, K. M. A. ; RIBEIRO, H. R. O.. Multirings and applications to algebraic theory of quadratic forms, IV. 2022. Apresentação de Trabalho/Seminário
7. MARIANO, H. L. An algebraic framework to a theory of sets based on the surreal numbers. 2021. Apresentação de Trabalho/Congresso
8. MARIANO, H. L.; ROBERTO, K. M. A.. Logical and categorial aspects of abstract quadratic forms theories. 2021. Apresentação de Trabalho/Congresso
9. MARIANO, H. L.; PINTO, D. C. ; ARNDT, P.. Filter pairs and natural extensions of logics. 2021. Apresentação de Trabalho/Congresso
10. MARIANO, H. L. An algebraic framework to a theory of sets based on the surreal numbers. 2020. Apresentação de Trabalho/Conferência ou palestra
11. MARIANO, H. L. A Galois group functor for the category of Special Groups. 2019. Apresentação de Trabalho/Congresso
12. RIBEIRO, H. R. ; MARIANO, H. L.. The Witt ring and the Von Neumann hull of a real semigroup. 2019. Apresentação de Trabalho/Simpósio
13. MARIANO, H. L. Galois groups and a valuation theory for Special Groups. 2019. Apresentação de Trabalho/Congresso
14. BERNI, J. C. ; MARIANO, H. L.. Von Neumann Regular C ∞−Rings and Applications to Boolean algebras. 2019. 2019. Apresentação de Trabalho/Congresso
15. BERNI, J. C. ; MARIANO, H. L.. Some Algebraic and Logical Aspects of C-infty Rings. 2019. Apresentação de Trabalho/Seminário
16. ROBERTO, K. M. A. ; MARIANO, H. L.. Logical and categorial aspects of abstract quadratic forms theories. 2019. Apresentação de Trabalho/Seminário
17. MARIANO, H. L. Logical and categorical aspects of abstract quadratic forms theories. 2018. Apresentação de Trabalho/Congresso
18. ARNDT, P. ; MARIANO, H. L. ; PINTO, D. C.. kappa-filter pairs and non-finitary logics. 2017. Apresentação de Trabalho/Congresso
19. FREIRE, R. A. ; MARIANO, H. L. ; VENTURI, G.. Genericidade e arbitrariedade em teoria dos conjuntos. 2017. Apresentação de Trabalho/Congresso
20. MARIANO, H. L. Algumas conexões entre Categorias, Lógica e Computação. 2017. Apresentação de Trabalho/Conferência ou palestra
21. MARIANO, H. L. Abstract aspects of quadratic forms. 2016. Apresentação de Trabalho/Simpósio
22. Carnielli, W. A. ; MARIANO, H. L. ; MATULOVIC, M.. A new algebraic semantics for rst-order logic built with polynomials. 2016. Apresentação de Trabalho/Congresso
23. MARIANO, H. L.; PINTO, D. C.. Institutions for propositional logics and an abstract approach to Glivenko's theorem. 2016. Apresentação de Trabalho/Congresso
24. MARIANO, H. L.; PINTO, D. C.. An abstract approach to Glivenko's theorem. 2016. Apresentação de Trabalho/Conferência ou palestra
25. MARIANO, H. L. Toposes and some of its applications in Geometry and Physics. 2016. Apresentação de Trabalho/Conferência ou palestra
26. MARIANO, H. L.; ARNDT, P.. The von Neumann-regular Hull of (preordered) rings and quadratic forms. 2015. Apresentação de Trabalho/Simpósio
27. MARIANO, H. L.; VILLAVECES, A. ; ZAMBRANO, P. H.. A global approach to AECs. 2014. Apresentação de Trabalho/Congresso
28. MARIANO, H. L.; MIRAGLIA, F.. Some preservation properties of the Profinite Hull Functor of special groups and applications. 2014. Apresentação de Trabalho/Congresso
29. MARIANO, H. L.; PINTO, D. C.. Representation Theory of Logics: a Categorial Approach. 2013. Apresentação de Trabalho/Congresso
Demais tipos de produção bibliográfica (37)
1. ALEXANDRE, T. ; RIOS, G. B. ; MARIANO, H. L.. On homotopical and cohomological interpretations of Logic. arxiv.org. 2023. Pre-print
2. ROBERTO, K. M. A. ; MARIANO, H. L. ; RIBEIRO, H. R. O. ; SANTOS, K. R. P.. Linear Systems, Matrices and Vector Spaces over Superfields. arxiv.org. 2023. Pre-print
3. ALVIM, J. G. ; MENDES, C. A. ; MARIANO, H. L.. Q-Sets and Friends: Regarding Singleton and Gluing Completeness. arxiv.org. 2023. Pre-print
4. ALVIM, J. G. ; MENDES, C. A. ; MARIANO, H. L.. Q-Sets and Friends: Categorical Constructions and Categorical Properties. arxiv.org. 2023. Pre-print
5. ROBERTO, K. M. A. ; RIBEIRO, H. R. O. ; MARIANO, H. L.. Quadratic Extensions of Special Hyperfields and the general Arason-Pfister Hauptsatz. arxiv.org. 2022. Pre-print
6. ROBERTO, K. M. A. ; MARIANO, H. L. ; RIBEIRO, H. R. O.. On algebraic extensions and algebraic closures of superfields. arxiv.org. 2022. Pre-print
7. TENORIO, A. L. C. ; MENDES, C. A. ; MARIANO, H. L.. Introducing sheaves over commutative semicartesian quantales. arxiv.org. 2022. Pre-print
8. RIBEIRO, H. R. O. ; MARIANO, H. L.. von Neumann regular Hyperrings and applications to Real Reduced Multirings. arxiv.org. 2021. Pre-print
9. ROBERTO, K. M. A. ; MARIANO, H. L.. On superrings of polynomials and algebraically closed multifields. arxiv.org. 2021. Pre-print
10. ARNDT, P. ; MARIANO, H. L. ; PINTO, D. C.. Congruence Filter Pairs, Adjoints and Leibniz Hierarchy. arxiv.org. 2021. Pre-print
11. BERNI, J. C. ; MARIANO, H. L.. Separation Theorems in Smooth Commutative Algebra and Applications. arxiv.org. 2021. Pre-print
12. BERNI, J. C. ; FIGUEIREDO, R. ; MARIANO, H. L.. On the order theory for C∞−reduced C∞−Rings and applications. 2020. Pre-print
13. RIOS, G. B. ; SOUZA, D. A. ; PINTO, D. C. ; MARIANO, H. L.. Connecting abstract logics and adjunctions in the theory of (π-)institutions: some theoretical remarks and applications. 2020. π-)institutions: some theoretical remarks and applications 2020 (Pre-print
14. TENORIO, A. L. C. ; MARIANO, H. L.. On sheaf cohomology and natural expansions. 2020. Pre-print
15. SCHWARZ, J. F. ; MARIANO, H. L.. First-order characterization of noncommutative birational equivalence. 2020. Pre-print
16. ARNDT, P. ; PINTO, D. C. ; MARIANO, H. L.. Filter pairs and natural extensions of logics. 2020. Pre-print
17. BERNI, J. C. ; MARIANO, H. L.. Topics on Smooth Commutative Algebra. 2019. Pre-print
18. BERNI, J. C. ; MARIANO, H. L.. A Universal Algebraic Survey of C∞−Rings. 2019. Pre-print
19. BERNI, J. C. ; MARIANO, H. L.. Von Neumann Regular C∞−Rings and Applications. 2019. Pre-print
20. ROBERTO, K. M. A. ; MARIANO, H. L.. Non Reduced Theory of Quadratic Forms Over Rings. 2019. Pre-print
21. FIGUEIREDO, R. ; MARIANO, H. L.. On categories of o-minimal structures. 2019. Pre-print
22. ALVIM, J. G. ; CAHALI, A. F. S. ; MARIANO, H. L.. Induced morphisms between Heyting-valued models. 2019. Pre-print
23. RANGEL, D. R. ; MARIANO, H. L.. An algebraic (set) theory of surreal numbers, I. 2019. set) theory of surreal numbers, I 2019 (Pre-print
24. MELEIRO, J. F. ; MARIANO, H. L.. Formalizing the Curry-Howard Correspondence. 2019. Pre-print
25. FAJARDO, R. ; MARIANO, H. L.. Lógica Matemática. SÃO PAULO, 2019. (Prefácio. 2019.
26. BERNI, J. C. ; MARIANO, H. L.. Classifying toposes for some theories of C∞−rings. 2018. Pre-print
27. FIGUEIREDO, R. ; MARIANO, H. L.. Remarks on expansions of the real field: tameness, Hardy fields and smooth rings. 2018. Pre-print
28. ROBERTO, K. M. A. ; RIBEIRO, H. R. ; MARIANO, H. L.. Functorial relationship between multirings and the various abstract theories of quadratic forms. 2016. Pre-print
29. PINTO, D. C. ; MARIANO, H. L.. An abstract approach to Glivenko's theorem. 2016. Pre-print
30. RIBEIRO, H. R. ; ROBERTO, K. M. A. ; MARIANO, H. L.. Promiscuously Quadratic Rings. 2016. Pre-print
31. FERREIRA, L. A. ; MARIANO, H. L.. Some consequences of the Firoozbakht's conjecture. 2016. Pre-print
32. PINTO, D. C. ; MARIANO, H. L.. Remarks on Propositional Logics and the categorial relationship between Institutions and Π-Institutions. 2016. Pre-print
33. MENDES, C. A. ; Hugo Luiz Mariano. Towards a good notion of categories of logics. 2014. Pre-print
34. PINTO, D. C. ; Hugo Luiz Mariano. Representation theory of logics: a categorial approach. 2014. Pre-print
35. Hugo Luiz Mariano; VILLAVECES, A. ; ZAMBRANO, P. H.. A global approach to AECs. 2014. Pre-print
36. PINTO, D. C. ; MARIANO, H. L.. Algebraizable Logics and a functorial encoding of its morphisms. 2014. Pre-print
37. MARIANO, H. L. Profinite Structures are Retracts of Ultraproducts of Finite Structures. 2004. Pre-print

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 (2)
1. ARENHART, J. R. B. ; MARIANO, H. L. ; SANZ, W. ; VENTURA, D.. South American Journal of Logic: Proceedings of the XVIII Brazilian Logic Conference. 2018. Editoração/Periódico
2. Coniglio, M. E. ; MARIANO, H. L. ; LOPES, V. C.. South American Journal of Logic: A Festschrift for Francisco Miraglia. 2016. Editoração/Periódico

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 (8)
1. Emanuele Rose Romero de Santana. Contribuições à teoria de modelos de feixes sobre quantales. Tese (Doutorado em Doutorado em Matemática) - IME USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. Início: 2023.
  Orientador: Hugo Luiz Mariano.
2. Thiago Alexandre. The theory of topological derivators. Tese (Doutorado em Doutorado em Matemática) - Instituto de Matemática e Estatística da USP, . Início: 2022.
  Orientador: Hugo Luiz Mariano.
3. James Miller Simeão Toledo da Silva. Category Theory and Topology of Quantum Channels. Tese (Doutorado em Doutorado em Matemática) - Instituto de Matemática e Estatística da USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2021.
  Orientador: Hugo Luiz Mariano.
4. Mayk Alves de Andrade. Aplicações de métodos categoriais a geometria. Tese (Doutorado em Doutorado em Matemática) - Instituto de Matemática e Estatística da USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2021.
  Orientador: Hugo Luiz Mariano.
5. Kaique Ribeiro Prates Santos. Uma teoria abstrata de formas hermitianas. Tese (Doutorado em Doutorado em Matemática) - Instituto de Matemática e Estatística da USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2021.
  Orientador: Hugo Luiz Mariano.
6. Fernando Garcia Yamauti. Homotopy theory in topoi. Tese (Doutorado em Doutorado em Matemática) - Instituto de Matemática e Estatística da USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2021.
  Orientador: Hugo Luiz Mariano.
7. Juan Ferrer Meleiro. Matemática orientada a teorias. Tese (Doutorado em Doutorado em Matemática) - Instituto de Matemática e Estatística da USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2021.
  Orientador: Hugo Luiz Mariano.
8. José Goudet Alvim. Topos não cartesianos e Lógica Linear. Tese (Doutorado em Doutorado em Matemática) - Instituto de Matemática e Estatística da USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2020.
  Orientador: Hugo Luiz Mariano.
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 (1)
1. Jéssica Duarte Severino. Tópicos de teoria algébrica de formas quadráticas e aplicações à teoria de anéis. Iniciação científica (Graduando em Matemática) - ICMC USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2024.
  Orientador: Hugo Luiz Mariano.
Orientações de outra natureza (0)

Supervisões e orientações concluídas

Supervisão de pós-doutorado (6)
1. Luan Alberto Ferreira. . IME USP, . 2023.
  Supervisor: Hugo Luiz Mariano.
2. Alfredo Roque de Oliveira Freire Filho. . IME USP, . 2021.
  Supervisor: Hugo Luiz Mariano.
3. Luan Alberto Ferreira. . IME USP, . 2020.
  Supervisor: Hugo Luiz Mariano.
4. Jean Cerqueira Berni. . Instituto de Matemática e Estatística da USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020.
  Supervisor: Hugo Luiz Mariano.
5. Rodrigo Figueiredo. . IME USP, . 2019.
  Supervisor: Hugo Luiz Mariano.
6. Jean Cerqueira Berni. . IME USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019.
  Supervisor: Hugo Luiz Mariano.
Tese de doutorado (8)

Caio de Andrade Mendes. Categories of commutative semicartesian quantales valued sets. Tese (Doutorado em Doutorado em Matemática) - IME USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2024.
Orientador: Hugo Luiz Mariano.
Kaique Matias de Andrade Roberto. Multialgebraic structures and applications in abstract theories of quadratic forms and graded rings. Tese (Doutorado em Doutorado em Matemática) - IME USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2023.
Orientador: Hugo Luiz Mariano.
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. Tese (Doutorado em Doutorado em Matemática) - IME USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2023.
Orientador: Hugo Luiz Mariano.
Hugo Rafael de Oliveira Ribeiro. Anel de Witt para Semigrupos Reais, Envoltória von Neumann e B-pares. Tese (Doutorado em Doutorado em Matemática) - IME USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2021.
Orientador: Hugo Luiz Mariano.
Dimi Rocha Rangel. Um referencial algébrico para uma teoria de conjuntos baseada nos números surreais. Tese (Doutorado em Doutorado em Matemática) - IME USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: Hugo Luiz Mariano.
Jean Cerqueira Berni. Aspectos lógicos e algébricos dos anéis C-infinito. Tese (Doutorado em Doutorado em Matemática) - IME USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: Hugo Luiz Mariano.
Luan Alberto Ferreira. Bases aditivas de um ponto de vista topologico e prime gaps de um ponto de vista algebrico. Tese (Doutorado em Doutorado em Matemática) - Instituto de Matemática e Estatística da USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: Hugo Luiz Mariano.
Darllan Conceição Pinto. Uma fundamentação categorial para uma teoria de representações de lógicas. Tese (Doutorado em Doutorado em Matemática) - Instituto de Matemática e Estatística da USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: Hugo Luiz Mariano.
Dissertação de mestrado (9)

Kaue de Mello Nogueira Piza. Categorical Probability Theory. Dissertação (Mestrado em Mestrado em Matemática) - IME USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2023.
Orientador: Hugo Luiz Mariano.
David Reyes Gaona. Internal and external aspects of continuous logic and categorical logic for sheaves over quantales. Dissertação (Mestrado em Maestria em Matemáticas) - Universidad Nacional de Colombia - Bogotá, . 2023.
Orientador: Hugo Luiz Mariano.
Thiago Alexandre. On the Homotopy Types. Dissertação (Mestrado em Mestrado em Matemática) - IME USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2022.
Orientador: Hugo Luiz Mariano.
Daniel de Almeida Souza. Motivic cohomology, Milnor K-theory, and Galois cohomology. Dissertação (Mestrado em Mestrado em Matemática) - IME USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2022.
Orientador: Hugo Luiz Mariano.
Javier Alberto Aponte Barrios. Uma visão conjuntista de alguns resultados em colimites de estruturas. Dissertação (Mestrado em Mestrado em Matemática) - IME USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021.
Orientador: Hugo Luiz Mariano.
Kaique Matias de Andrade Roberto. Multirings e teorias abstratas de formas quadráticas. Dissertação (Mestrado em Mestrado em Matemática) - IME USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019.
Orientador: Hugo Luiz Mariano.
Ana Luiza da Conceição Tenório. Álgebra homológica em toposes. Dissertação (Mestrado em Mestrado em Matemática) - IME USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019.
Orientador: Hugo Luiz Mariano.
Arthur Francisco Schwerz Cahali. Lógica de Topos e aplicações. Dissertação (Mestrado em Mestrado em Matemática) - IME USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019.
Orientador: Hugo Luiz Mariano.
Duílio Ferreira Santos. Elementos da teoria algébrica das formas quadráticas e de seus anéis graduados. Dissertação (Mestrado em Matemática) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Hugo Luiz Mariano.
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 (33)

Haoyu Chen. Geometria Algébrica Real: uma Introdução. (Graduando em Bacharelado em Matemática) - IME USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2024.
Orientador: Hugo Luiz Mariano.
Haoyu Chen. Topologias de Grothendieck em Geometria Algébrica Real. (Graduando em Bacharelado em Matemática) - IME USP, . 2024.
Orientador: Hugo Luiz Mariano.
Gabriel Cerqueira Barbosa. Categorias acessíveis e lógica. (Graduando em Bacharelado em Matemática) - IME USP, . 2023.
Orientador: Hugo Luiz Mariano.
Anny Beatriz Silva de Azevedo. Uma introdução aos topos elementares e a sua lógica interna. (Graduando em Bacharelado em Matemática) - IME USP, . 2023.
Orientador: Hugo Luiz Mariano.
Gabriel Bittencourt Rios. Teoria dos Modelos inspirada em Geometria Algébrica Moderna: Representação de Categoria por Feixes. (Graduando em Bacharelado em Matemática) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2022.
Orientador: Hugo Luiz Mariano.
Priscila Almeida Soares Assunção. A dualidade de Esakia. (Graduando em Bacharelado em Matemática) - IME USP, . 2020.
Orientador: Hugo Luiz Mariano.
Mateus Schmidt M. L. Pereira. Obstruções Cohomológicas para o Problema de Mittag-Leffler. (Graduando em Bacharelado em Matemática) - IME USP, . 2020.
Orientador: Hugo Luiz Mariano.
Ricardo de Santana Murça. Logica e Aplicacoes da Teoria dos Corpos Reais Fechados. (Graduando em Bacharelado em Matemática) - IME USP, . 2019.
Orientador: Hugo Luiz Mariano.
José Goudet Alvim. Modelos a Valores Booleanos e aplicacoes em Teoria dos Conjuntos. (Graduando em Bacharelado em Matemática) - IME USP, . 2019.
Orientador: Hugo Luiz Mariano.
Daniel de Almeida Souza. Em direcao à cohomologia étale. (Graduando em Bacharelado em Matemática) - IME USP, . 2019.
Orientador: Hugo Luiz Mariano.
Juan Meleiro. Formalizando a Correspondência de Curry-Howard. (Graduando em Bacharelado em Matemática) - IME USP, . 2019.
Orientador: Hugo Luiz Mariano.
Luiz Gabriel da Silva. Elementos de lógica algébrica e álgebra universal. (Graduando em Ciencias Moleculares) - Ciências Moleculares-USP, . 2018.
Orientador: Hugo Luiz Mariano.
Kaue de Mello Nogueira Piza. Álgebra e Lógica: da perspectiva inicial de Lindenbaum-Tarski até versões atuais. (Graduando em Bacharelado em Matemática) - IME USP, . 2017.
Orientador: Hugo Luiz Mariano.
Thiago Yacov Alexandre. Elementos de Teoria dos Topos em Geometria Algébrica. (Graduando em Bacharelado em Matemática) - IME USP, . 2017.
Orientador: Hugo Luiz Mariano.
Ana Luiza da Conceição Tenório. Aneis C-infinito no contexto de Geometria Diferencial Sintetica. (Graduando em Bacharelado em Matemática) - IME USP, . 2016.
Orientador: Hugo Luiz Mariano.
Thiago Yacov Alexandre. Introdução à Linguagem dos Esquemas. (Graduando em Bacharelado em Matemática) - IME USP, . 2016.
Orientador: Hugo Luiz Mariano.
Arthur Francisco Schwerz Cahali. Introdução à Teoria Algébrica dos Conjuntos. (Graduando em Bacharelado em Matemática) - IME USP, . 2016.
Orientador: Hugo Luiz Mariano.
Kaique Matias de Andrade Roberto. Teorias abstratas de formas quadraticas e aplicações. (Graduando em Bacharelado em Matemática) - IME USP, . 2015.
Orientador: Hugo Luiz Mariano.
Kaique Matias de Andrade Roberto. Teoria de Galois, Grupos Profinitos e aplicações em formas quadráticas. (Graduando em Bacharelado em Matemática) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Orientador: Hugo Luiz Mariano.
Fernando G. Yamauti. Geometria Algébrica. (Graduando em Bacharelado em Matemática) - Instituto de Matemática e Estatística da USP, . 2013.
Orientador: Hugo Luiz Mariano.
Julio Felipe Angelini. Teoria das categorias e teoria de tipos. (Graduando em Bacharelado em Matemática) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Hugo Luiz Mariano.
Roberto Paulo de Jesus Silva. Álgebras booleanas, locales e funtores. (Graduando em Licenciatura em Matemática) - Instituto de Matemática e Estatística da USP, Reitoria da USP. 2012.
Orientador: Hugo Luiz Mariano.
Duílio Ferreira Santos. Formas quadráticas e Invariantes para Corpos. (Graduando em Licenciatura em Matemática) - Instituto de Matemática e Estatística da USP, Reitoria da USP. 2011.
Orientador: Hugo Luiz Mariano.
Amanda Oliveira Calazans. Lógica sob uma perspectiva algébrica. (Graduando em Licenciatura em Matemática) - Instituto de Matemática e Estatística da USP, . 2011.
Orientador: Hugo Luiz Mariano.
Caio de Andrade Mendes. Em busca de uma boa noção de categoria de lógicas. (Graduando em Bacharelado em Matemática) - Instituto de Matemática e Estatística da USP, . 2010.
Orientador: Hugo Luiz Mariano.
Duílio Ferreira Santos. Teoria dos Corpos e Álgebra Comutativa. (Graduando em Licenciatura em Matemática) - Instituto de Matemática e Estatística da USP, . 2010.
Orientador: Hugo Luiz Mariano.
Renato Siqueira. Teoria das Categorias. (Graduando em Bacharelado em Física) - Instituto de Física da USP, . 2009.
Orientador: Hugo Luiz Mariano.
Caio de Andrade Mendes. Lógica e Teoria das Categorias. (Graduando em Bacharelado em Matemática) - Instituto de Matemática e Estatística da USP, . 2009.
Orientador: Hugo Luiz Mariano.
Anderson Conceição de Almeida. Análise não-standard. (Graduando em Bacharelado em Matemática) - Instituto de Matemática e Estatística da USP, . 2009.
Orientador: Hugo Luiz Mariano.
Enéas Alves Nogueira Júnior. Lógicas Algebrizáveis. (Graduando em bacharelado em Matemática) - Universidade de São Paulo, . 2006.
Orientador: Hugo Luiz Mariano.
Cláudia Correia de Andrade Oliveira. Lógicas Algebrizáveis. (Graduando em bacharelado em Matemática) - Universidade de São Paulo, . 2006.
Orientador: Hugo Luiz Mariano.
Enéas Alves Nogueira Júnior. Lógica, Teoria dos Conjuntos e Álgebras Booleanas. (Graduando em Bacharelado em Matemática) - Instituto de Matemática e Estatística da USP, . 2006.
Orientador: Hugo Luiz Mariano.
Leandro Albino. Introdução à Álgebra Comutativa. (Graduando em licenciatura em Matemática) - Universidade de São Paulo, . 2005.
Orientador: Hugo Luiz Mariano.
Orientações de outra natureza (2)

Anderson Conceicao de Almeida. Lógica e a recuperação dos infinitesimais na análise. (bacharelado em Matemática) - Universidade de São Paulo, Pro-reitoria de graduacao USP. 2008.
Orientador: Hugo Luiz Mariano.
Cristiane Goncalves dos Santos. Cursos do MAT na rede. (licenciatura em Matemática) - Universidade de São Paulo, Pro-reitoria de graduacao USP. 2008.
Orientador: Hugo Luiz Mariano.

Projetos de pesquisa

Total de projetos de pesquisa (5)

2023-2024. Abstract theories of quadratic and hermitian forms, and real algebraic geometry (MATH-AMSUD)
Descrição: 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.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (2) . Integrantes: Hugo Luiz Mariano - Coordenador / Francisco Miraglia - Integrante / Max A. Dickmann - Integrante / Ricardo Bianconi - Integrante / Alejandro Petrovich - Integrante / Danielle Gondard - Integrante. Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.
Membro: Hugo Luiz Mariano.
2023-Atual. Paraconsistent set theory (JP-Fapesp)
Descrição: 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.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Hugo Luiz Mariano - Integrante / Aldo Figallo Orellano - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Outra.
Membro: Hugo Luiz Mariano.
2018-2021. Arbitrariness and genericity: or on how to speak of the unspeakable - (JP-FAPESP)
Situação: Concluído; Natureza: Pesquisa. Integrantes: Hugo Luiz Mariano - Integrante / Rodrigo de Alvarenga Freire - Integrante / Giorgio Venturi - Coordenador.
Membro: Hugo Luiz Mariano.
2010-2016. Projeto Temático Fapesp: LOGCONS (10/51038-0)
Situação: Concluído; Natureza: Pesquisa. Integrantes: Hugo Luiz Mariano - Integrante / Walter A. Carnielli - Coordenador / Itala M. L. d'Ottaviano - Integrante / Marcelo E. Coniglio - Integrante.
Membro: Hugo Luiz Mariano.
2005-2010. Projeto Temático FAPESP : ConsRel (2004/14107-2)
Situação: Concluído; Natureza: Pesquisa. Integrantes: Hugo Luiz Mariano - Integrante / Walter A. Carnielli - Coordenador / Itala M. L. d'Ottaviano - Integrante / Marcelo E. Coniglio - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Hugo Luiz Mariano.

Prêmios e títulos

Total de prêmios e títulos (6)

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

Participação em eventos

Total de participação em eventos (47)

2o Encontro USP-UFBA em Logica e Fundamentos.Towards a monoidal generalization of topos and their internal logic. 2024. (Encontro).
Toposes in Mondovì. From quantales to a Grothendieck monoidal topology: Towards a closed monoidal generalization of topos. 2024. (Congresso).
V Colóquio UnB?USP de Lógica e Filosofia da Lógica.Em direção a uma generalização monoidal dos topos e de sua lógica interna. 2024. (Encontro).
VII CLAM Congreso Latinoamericando y del Caribe de Matemática. Towards a monoidal generalization of topos and their internal logic. 2024. (Congresso).
VII CLAM Congreso Latinoamericando y del Caribe de Matemática. Craig interpolation from Horn Semantics. 2024. (Congresso).
Encontro Conjunto Brasil Portugal em Matemática- S. Lógica Mat. Algebraic and model-theoretical contributions to the theory of algebraically closed multifields. 2022. (Congresso).
1o Encontro Brasileiro de Teoria das Categorias. An algebraic framework to a theory of sets based on the surreal numbers. 2021. (Congresso).
VI Congresso Latino Americano de Matematicos-(Sesion 22). Filter pairs and natural extensions of logics. 2021. (Congresso).
VI Congresso Latino Americano de Matematicos-(Sesion 33). Logical and categorial aspects of abstract quadratic forms theories. 2021. (Congresso).
1st Joint Meeting Brazil-France in Mathematics. A Galois group functor for the category of Special Groups. 2019. (Congresso).
Coloquio de Matemáticas + Seminario de Lógica UNAL.Logical and categorial aspects of abstract quadratic forms theories. 2019. (Seminário).
Seminario Lógica y Geometría.Some Algebraic and Logical Aspects of C-infty Rings. 2019. (Seminário).
workshop Formal Logic and Foundations of Mathematics. Galois groups and a valuation theory for Special Groups. 2019. (Congresso).
XVIII Brazilian Logic Conference. Von Neumann Regular C ∞−Rings and Applications to Boolean algebras. 2019. (Congresso).
XVIII Simposio Latino Americano de Logica Matematica.The Witt ring and the Von Neumann hull of a real semigroup. 2019. (Simpósio).
Algebra: celebrating Paulo Ribenboim's ninetieth birthday.Logical and categorical aspects of abstract quadratic forms theories. 2018. (Encontro).
XVIII Brazilian Logic Conference. Genericidade e arbitrariedade em teoria dos conjuntos. 2017. (Congresso).
XVIII Brazilian Logic Conference. kappa-filter pairs and non finitary logics. 2017. (Congresso).
Escola Patricio Letelier de Física ? Matemática.Toposes and some of its applications in Geometry and Physics. 2016. (Outra).
First Joint Meeting Brazil Italy of Mathematics.Abstract aspects of quadratic forms. 2016. (Encontro).
1o Encontro Brasil-Espanha de Matemática.The von Neumann-regular Hull of (preordered) rings and quadratic forms. 2015. (Encontro).
17o EBL- 16o Encontro Brasileiro de Lógica.A global approach to AECs. 2014. (Encontro).
4th World Congress and School on Universal Logic (UNILOG 4). Representation Theory of Logics: a categorial approach. 2013. (Congresso).
MINICURSO DO PPGMAT.?Categorias, Feixes e Aplicações à Matemática?. 2013. (Outra).
seminario: Geometría y Teoría de Modelos.A global approach to Abstract Elementary Classes (part I, part II). 2013. (Seminário).
seminario: Geometría y Teoría de Modelos.Profinite structures and applications. 2013. (Seminário).
15th Latin American Symposium on Mathematical Logic (XV SLALM).Analysing categories of signatures. 2012. (Simpósio).
15th Latin American Symposium on Mathematical Logic (XV SLALM).Some preservation properties of the Profinite Hull Functor of Special Groups and applications. 2012. (Simpósio).
Minicurso-UNB.Módulo II: *Categorias, Feixes, Toposes e Aplicações à Matemática*. 2012. (Outra).
Philosophy and Mathematics of Uncertainty and Vagueness (PMUV) - MaToMUVI.NEW PERSPECTIVES ON POSSIBLE-TRANSLATIONS SEMANTICS. 2012. (Outra).
Séminaire de Structures Algébriques Ordonnées.The Boolean and Profinte Hulls of Reduced Special Groups. 2012. (Seminário).
16o EBL- 16o Encontro Brasileiro de Lógica.The Boolean and Profinite Hulls of reduced special groups. 2011. (Encontro).
Encontro "Évariste Galois" - Bicentenário.Minicurso 2 - Expansões da Teoria de Galois em Álgebra. 2011. (Encontro).
TACL 2011 - The fifth International Confererence on Topology, Algebra and Categories in Logic.Towards a good notion of category of logics. 2011. (Outra).
Séminaire de Structures Algébriques Ordonnées.Realizing profinite reduced special groups. 2009. (Seminário).
CLE-30, XV-EBL, XIV-SLALM.On Profinite Structures. 2008. (Outra).
Atelier MODNET de Théorie des Modèles des corps. 2007. (Outra).
Géométrie et Théorie des Modèles. 2007. (Encontro).
Journées Max Dickmann. 2007. (Outra).
MODNET Training Workshop. 2007. (Oficina).
Séminaire général de Logique.On Profinite Special Groups. 2007. (Seminário).
14 EBL- 14 Encontro Brasileiro de Lógica.On the category of algebraizable logic. 2006. (Encontro).
IICAI-05 - 2nd Indian International Conference on Artificial Intelligence.Fibring and Sheaves. 2005. (Outra).
SeMe-2005 -- Workshop on Semantics and Meaning.On the filtered colimits of algebraizable logics. 2005. (Outra).
Séminaire de Structures Algébriques Ordonnées.Profinite Structures are Retracts of Ultraproducts of Finite Structures. 2004. (Seminário).
XII Simposio Latinoamericano de Lógica Matemática (XII-SLALM).The Profinite Hull of Special Groups. 2004. (Simpósio).
13 EBL -13 Encontro Brasileiro de Lógica.Estruturas Profinitas são Retratos de Ultraprodutos de Estruturas Finitas. 2003. (Encontro).

Organização de eventos

Total de organização de eventos (18)

MARIANO, H. L.; JUNQUEIRA, L. ; Coniglio, M. E. ; FINGER, M. ; SILVA, S. G.. XXI- Encontro Brasileiro de Lógica. 2025. Congresso
SCACCIOTTI, M. S. A. ; MARIANO, H. L. ; FERNANDEZ, D. M.. Um Convite a Filosofia da Matemática. 2025. Outro
MARIANO, H. L.; BACELAR, R. ; SOUZA, E. G. ; WASSERMANN, R.. Escola de Lógica. 2025. Outro
TENORIO, A. L. C. ; MARIANO, H. L. ; VAGO, M. R. ; ANDRADE, M. A. ; RODRIGUES, V. S.. 3o Encontro Brasileiro em Teoria das Categorias. 2025. Congresso
TENORIO, A. L. C. ; MARIANO, H. L. ; VIANA, J. P. ; MACIEL, S.. 35o Coloquio Brasileiro de Matemática- Sessão Temática : Teoria das Categorias e Aplicações. 2025. Congresso
PAIVA, V. ; SIQUEIRA, J. V. P. M. ; MARIANO, H. L. ; MORALES, O. A.. Thematic Section "Category Theory and Applications" in VII CLAM Congreso latinoamericano y del Caribe de Matemática. 2024. Congresso
TENORIO, A. L. C. ; ANDRADE, M. A. ; ROCHA, M. M. L. ; MARIANO, H. L. ; RIBEIRO, M. F. S. ; MARTINS, Y. X. ; GARCIA, A.. 2o Encontro Brasileiro em Teoria das Categorias. 2023. Congresso
CLEMENTINO, M. M. ; PAIVA, V. ; SIQUEIRA, J. V. P. M. ; MARIANO, H. L.. Encontro Conjunto Brasil Portugal em Matemática-Seção de Teoria das Categorias. 2022. Congresso
Coniglio, M. E. ; MARIANO, H. L. ; RUSSO, C. ; SILVA, S. G. ; VILLAVECES, A. ; ZAMBRANO, P. H.. 1o Encuentro Brasil-Colombia de Lógica. 2021. Congresso
MARIANO, H. L.. Encontro de Egressos e Alunos do Programa de Pós-Graduação em Matemática do IME-USP, 2021. 2021. (Congresso).. . 0.
BEZIAU, J. ; MARIANO, H. L. ; VIANA, J. P.. Workshop "Formal Logic and Foundations of Mathematics". 2019. Congresso
MARIANO, H. L.; JUNQUEIRA, L. ; VENTURI, G. ; FREIRE, R. A.. 1o workshop "Studies in Mathematical Logic". 2019. Congresso
VENTURI, G. ; FREIRE, R. A. ; MARIANO, H. L.. Cantor meets Robinson: set Theory, Modet Theory abd their Philosophy. 2018. Congresso
JUNQUEIRA, L. ; MARIANO, H. L. ; SILVA, S. G.. 1º Encontro USP-UFBA de Lógica e Fundamentos. 2017. Congresso
JUNQUEIRA, L. ; FERENCZ, V. ; MARIANO, H. L.. 1o Workshop "Foundations of Mathematics and Applications". 2017. Congresso
Coniglio, M. E. ; LOPES, V. C. ; MARIANO, H. L.. Workshop "Logic and Applications: in honor to Francisco Miraglia by the occasion of his 70th birthday". 2016. Congresso
VIANA, J. P. ; FREITAS, R. P. ; SILVA, S. G. ; MARIANO, H. L.. ORGANIZACAO DO 17o EBL - 17o Encontro Brasileiro de Lógica. 2014. Congresso
BERTATO, F. ; d'Ottaviano, I. M. L. ; MARIANO, H. L.. Encontro Évariste Galois- Bicentenário. 2011. Congresso

Lista de colaborações

Colaborações endôgenas (0)

(*) Relatório criado com produções desde 2000 até 2025
Data de processamento: 08/07/2025 16:59:39

Relatório gerado por scriptLattes V9. Os resultados podem ser afetados por possíveis falhas decorrentes de inconsistências no preenchimento dos Currículos Lattes. E-mail de contato: webmaster@ime.usp.br