| Publication | Date of Publication | Type |
|---|
An invitation to the algebraic theory of quadratic and Hermitian forms (edit)
LAJM. Latin American Journal of Mathematics | 2026-04-01 | Paper |
A universal algebraic survey of \(\mathcal{C}^\infty\)-rings
LAJM. Latin American Journal of Mathematics | 2026-04-01 | Paper |
On elementary equivalence of real semigroups of preordered rings
Logic Journal of the IGPL | 2025-10-30 | Paper |
On sheaves on semicartesian quantales and their truth values
Journal of Logic and Computation | 2025-10-15 | Paper |
Congruence filter pairs, equational filter pairs and adjoints
Journal of Logic and Computation | 2025-10-15 | Paper |
Sheaves and C^-rings. Lecture notes from the 35th Brazilian mathematics colloquium -- 35\degree Colóquio Brasileiro de Matemática, IMPA, Rio de Janeiro, Brazil, Juli 2025
Publicações Matemáticas do IMPA | 2025-10-13 | Paper |
The Gelfand-Kirillov conjecture as a first-order formula
Algebra and Logic | 2025-09-17 | Paper |
Quantale valued sets: categorical constructions and properties
Studia Logica | 2025-05-07 | Paper |
Classification of Boolean algebras through von Neumann regular \(\mathcal{C}^{\infty}\)-rings
Categories and General Algebraic Structures with Applications | 2024-09-10 | Paper |
| scientific article; zbMATH DE number 7808137 (Why is no real title available?) | 2024-02-21 | Paper |
| Horn filter pairs and Craig interpolation in propositional logic | 2024-02-21 | Paper |
| On categories of quantale valued sets | 2024-02-21 | Paper |
| The essence of Scott's ``continuous lattices'' | 2024-02-21 | Paper |
| \(\mathcal{C}^\infty\)-rings: an interplay between geometry and logics | 2024-02-09 | Paper |
| Geometric contexts and applications to logic | 2023-11-06 | Paper |
| Inductive graded rings, hyperfields and quadratic forms | 2023-07-04 | Paper |
Filter pairs and natural extensions of logics
Archive for Mathematical Logic | 2023-04-27 | Paper |
| On homotopical and cohomological interpretations of Logic | 2023-04-26 | Paper |
Separation theorems in the commutative algebra of C∞-rings and applications
Communications in Algebra | 2023-04-13 | Paper |
| Linear Systems, Matrices and Vector Spaces over Superfields | 2023-03-25 | Paper |
| $\mathscr Q$-Sets and Friends: Categorical Constructions and Categorical Properties | 2023-02-06 | Paper |
| $\mathscr Q$-Sets and Friends: Regarding Singleton and Gluing Completeness | 2023-02-06 | Paper |
K-theories and free inductive graded rings in abstract quadratic forms theories
Categories and General Algebraic Structures with Applications | 2022-12-06 | Paper |
| scientific article; zbMATH DE number 7599996 (Why is no real title available?) | 2022-10-12 | Paper |
On superrings of polynomials and algebraically closed multifields
(available as arXiv preprint) | 2022-10-12 | Paper |
Induced morphisms between Heyting-valued models
(available as arXiv preprint) | 2022-10-12 | Paper |
An algebraic (set) theory of surreal numbers. I
(available as arXiv preprint) | 2022-10-12 | Paper |
| Horn-geometric axioms for faithfully quadratic rings | 2022-10-12 | Paper |
scientific article; zbMATH DE number 7600007 (Why is no real title available?)
(available as arXiv preprint) | 2022-10-12 | Paper |
Functorial relationships between multirings and the various abstract theories of quadratic forms
São Paulo Journal of Mathematical Sciences | 2022-09-30 | Paper |
| On algebraic extensions and algebraic closures of superfields | 2022-08-17 | Paper |
| Quadratic structures associated to (multi)rings | 2022-05-18 | Paper |
| On sheaves on semicartesian quantales and their truth values | 2022-04-18 | Paper |
On sheaf cohomology and natural expansions
São Paulo Journal of Mathematical Sciences | 2021-12-03 | Paper |
On superrings of polynomials and algebraically closed multifields
(available as arXiv preprint) | 2021-11-23 | Paper |
Separation Theorems in Smooth Commutative Algebra and Applications
(available as arXiv preprint) | 2021-10-25 | Paper |
| Congruence Filter Pairs, Adjoints and Leibniz Hierarchy | 2021-09-02 | Paper |
| von Neumann regular Hyperrings and applications to Real Reduced Multirings | 2021-01-16 | Paper |
Filter pairs and natural extensions of logics
(available as arXiv preprint) | 2020-09-09 | Paper |
| First-order characterization of noncommutative birational equivalence | 2020-09-07 | Paper |
Reconciling first-order logic to algebra
Trends in Logic | 2020-08-06 | Paper |
| On the order theory for $\mathcal{C}^\infty$-reduced $\mathcal{C}^\infty$-Rings and applications | 2020-02-01 | Paper |
Connecting abstract logics and adjunctions in the theory of ($\pi$-)institutions: some theoretical remarks and applications
(available as arXiv preprint) | 2020-02-01 | Paper |
| Formalizing the Curry-Howard Correspondence | 2019-12-23 | Paper |
Prime gaps and the Firoozbakht conjecture
São Paulo Journal of Mathematical Sciences | 2019-12-12 | Paper |
An algebraic (set) theory of surreal numbers, I
(available as arXiv preprint) | 2019-11-28 | Paper |
Induced morphisms between Heyting-valued models
(available as arXiv preprint) | 2019-10-17 | Paper |
| On categories of o-minimal structures | 2019-10-12 | Paper |
| Non Reduced Theory of Quadratic Forms Over Rings | 2019-06-03 | Paper |
| Von Neumann Regular $\mathcal{C}^{\infty}-$Rings and Applications | 2019-05-23 | Paper |
| Topics on Smooth Commutative Algebra | 2019-04-04 | Paper |
| A Universal Algebraic Survey of $\mathcal{C}^{\infty}-$Rings | 2019-04-04 | Paper |
Algebraizable logics and a functorial encoding of its morphisms
Logic Journal of the IGPL | 2019-01-08 | Paper |
Categorial forms of the axiom of choice
Logic Journal Of The Igpl | 2019-01-08 | Paper |
| Remarks on expansions of the real field: tameness, Hardy fields and smooth rings | 2018-11-22 | Paper |
| Classifying toposes for some theories of $\mathcal{C}^{\infty}-$rings | 2018-11-21 | Paper |
| An abstract approach to Glivenko's theorem | 2016-12-11 | Paper |
| Promiscuously Quadratic Rings | 2016-11-28 | Paper |
| Remarks on Propositional Logics and the categorial relationship between Institutions and {\Pi}-Institutions | 2016-11-05 | Paper |
| Some consequences of the Firoozbakht's conjecture | 2016-04-12 | Paper |
| A global approach to AECs | 2014-05-18 | Paper |
| Representation theory of logics: a categorial approach | 2014-05-10 | Paper |
| Towards a good notion of categories of logics | 2014-04-14 | Paper |
The Boolean and profinite hulls of reduced special groups
Logic Journal of the IGPL | 2013-06-11 | Paper |
Realizing profinite reduced special groups
Pacific Journal of Mathematics | 2011-04-18 | Paper |
| On profinite structures | 2011-03-30 | Paper |
The profinite hull of special groups and local-global principles
Studia Logica | 2011-03-14 | Paper |
Profinite structures are retracts of ultraproducts of finite structures
(available as arXiv preprint) | 2008-02-07 | Paper |
A global glance on categories in logic
Logica Universalis | 2007-04-10 | Paper |
The Galois group of a Special Group
(available as arXiv preprint) | N/A | Paper |
K-theories and Free Inductive Graded Rings in Abstract Quadratic Forms Theories
(available as arXiv preprint) | N/A | Paper |
Classification of Boolean Algebras through von Neumann regular $\mathcal{C}^{\infty}-$Rings
(available as arXiv preprint) | N/A | Paper |
Grothendieck prelopologies: towards a closed monoidal sheaf category
(available as arXiv preprint) | N/A | Paper |
Expanding \v{C}ech cohomology for quantales
(available as arXiv preprint) | N/A | Paper |
