A global glance on categories in logic P Arndt, RA Freire, OO Luciano, HL Mariano | 20 | 2007 |
Algebraizable Logics and a functorial encoding of its morphisms D Conceição Pinto, H Luiz Mariano Logic Journal of the IGPL 25 (4), 524-561, 2017 | 13 | 2017 |
Profinite structures are retracts of ultraproducts of finite structures. HL MARIANO, F MIRAGLIA Reports on Mathematical Logic 42, 171-184, 2007 | 13 | 2007 |
The von Neumann-Regular Hull of (Preordered) Rings and Quadratic Forms P Arndt, HL Mariano South American Journal of Logic 2 (2), 201-244, 2016 | 12 | 2016 |
Representation theory of logics: a categorial approach HL Mariano, DC Pinto arXiv preprint arXiv:1405.2429, 2014 | 12 | 2014 |
A universal algebraic survey of C∞-rings JC Berni, HL Mariano Latin American Journal of Mathematics 1 (01), 8-39, 2022 | 11 | 2022 |
Topics on smooth commutative algebra JC Berni, HL Mariano arXiv preprint arXiv:1904.02725, 2019 | 11 | 2019 |
Towards a good notion of categories of logics CA Mendes, HL Mariano arXiv preprint arXiv:1404.3780, 2014 | 10 | 2014 |
K-theories and free inductive graded rings in abstract quadratic forms theories KMA Roberto arXiv preprint arXiv:2404.05750, 2024 | 9 | 2024 |
Quadratic structures associated to (multi) rings KMDA Roberto, HRDO Ribeiro, HL Mariano Categories and General Algebraic Structures with Applications 16 (1), 105-141, 2022 | 9 | 2022 |
Towards a good notion of categories of logics HL Mariano, CA Mendes preparation. Preliminary version in the conference book of” The fifth …, 2011 | 9 | 2011 |
On superrings of polynomials and algebraically closed multifields KMA Roberto, HL Mariano arXiv preprint arXiv:2111.12195, 2021 | 8 | 2021 |
On profinite structures HL Mariano, F Miraglia The Many Sides of Logic 21, 201-224, 2009 | 8 | 2009 |
On the Category of Algebraizable Logics P Arndt, RA Freire, OO Luciano, HL Mariano CLE e-prints 6 (1), 24 pages, 2006 | 8 | 2006 |
Classifying toposes for some theories of'C POT.∞'− rings JC Berni, HL Mariano South American Journal of Logic 4 (2), 313–350, 2018 | 7 | 2018 |
Functorial relationship between multirings and the various abstract theories of quadratic forms HR de Oliveira Ribeiro, KMA Roberto, HL Mariano arXiv e-prints, arXiv: 1610.00816, 2016 | 7 | 2016 |
Fibring and sheaves. P Arndt, R de Alvarenga Freire, OO Luciano, HL Mariano IICAI, 1679-1698, 2005 | 7 | 2005 |
Contribuições à teoria dos Grupos Especiais HL Mariano, F Miraglia Neto | 7 | 2003 |
von Neumann regular hyperrings and applications to real reduced multirings HRO Ribeiro, HL Mariano arXiv preprint arXiv:2101.06527, 2021 | 6 | 2021 |
Realizing profinite reduced special groups V Astier, H Mariano Pacific journal of mathematics 250 (2), 257-285, 2011 | 6 | 2011 |