| Homotopy-theoretic models of type theory P Arndt, K Kapulkin International Conference on Typed Lambda Calculi and Applications, 45-60, 2011 | 37 | 2011 |
| A global glance on categories in Logic P Arndt, RA Freire, OO Luciano, HL Mariano Logica Universalis 1 (1), 3-39, 2007 | 23 | 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 | 15 | 2016 |
| On the category of algebraizable logics P Arndt, RA Freire, OO Luciano, HL Mariano CLE e-Prints 6 (1), 1-24, 2006 | 9 | 2006 |
| Fibring and Sheaves. P Arndt, R de Alvarenga Freire, OO Luciano, HL Mariano IICAI, 1679-1698, 2005 | 8 | 2005 |
| Finitary filter pairs and propositional logics P Arndt, HL Mariano, DC Pinto South American Journal of Logic 4 (2), 257–280, 2018 | 7 | 2018 |
| On the automorphic side of the K-theoretic Artin symbol P Arndt, O Braunling Selecta Mathematica 25, 1-47, 2019 | 6 | 2019 |
| Filter pairs and natural extensions of logics P Arndt, HL Mariano, DC Pinto Archive for Mathematical Logic 62 (1-2), 113-145, 2023 | 4 | 2023 |
| Congruence filter pairs, adjoints and Leibniz hierarchy P Arndt, HL Mariano, DC Pinto arXiv preprint arXiv:2109.01065, 2021 | 4 | 2021 |
| Homotopical categories of logics P Arndt The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves …, 2015 | 2 | 2015 |
| Horn filter pairs and Craig interpolation property P Arndt, HL Mariano, DC Pinto Book of Abstracts, 2019 | 1 | 2019 |
| κ-filter pairs and non-finitary logics P Arndt, HL Mariano, DC Pinto Handbook of the 6th World Congress and School on Universal Logic, 375, 2018 | 1 | 2018 |
| Homotopical fibring P Arndt To appear, 2011 | 1 | 2011 |
| Filter functors in logic and applications to cate-gorial analysis of meta-logic properties P Arndt, R Jansana, HL Mariano, DC Pinto preparation, 0 | 1 | |
| Cyclophobic Reinforcement Learning SS Wagner, P Arndt, J Robine, S Harmeling | | 2022 |
| Ranges of functors and elementary classes via topos theory P Arndt TACL 2019, 27, 2019 | | 2019 |
| Topos theory and Caramello’s bridge technique P Arndt Handbook of the 6th World Congress and School on Universal Logic, 26, 2018 | | 2018 |
| Filter pairs: A new way of presenting logics P Arndt, R Jansana, HL Mariano, DC Pinto Handbook of abstracts, 2018 | | 2018 |
| Linström’s Theorem P Arndt UNIVERSAL LOGIC, 20, 2015 | | 2015 |
| Homotopy theoretical aspects of abstract logic P Arndt Handbook of the 5th World Congress and School on Universal Logic, 243, 2015 | | 2015 |
Hugo Luiz MarianoProfessor Associado RDIDP, Instituto de Matemática e Estatística, Universidade de São Paulo在 ime.usp.br 的电子邮件经过验证
