| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6198347 | 2024-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6198348 | 2024-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6198352 | 2024-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6198356 | 2024-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6151301 | 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 | 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 | 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 | 2022-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5039182 | 2022-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5039186 | 2022-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5039196 | 2022-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5039197 | 2022-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5039198 | 2022-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5039201 | 2022-10-12 | Paper |
| Functorial relationships between multirings and the various abstract theories of quadratic forms | 2022-09-30 | Paper |
| On algebraic extensions and algebraic closures of superfields | 2022-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5077351 | 2022-05-18 | Paper |
| On sheaves on semicartesian quantales and their truth values | 2022-04-18 | Paper |
| On sheaf cohomology and natural expansions | 2021-12-03 | Paper |
| On superrings of polynomials and algebraically closed multifields | 2021-11-23 | Paper |
| Separation Theorems in Smooth Commutative Algebra and Applications | 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 | 2020-09-09 | Paper |
| First-order characterization of noncommutative birational equivalence | 2020-09-07 | Paper |
| Reconciling First-Order Logic to Algebra | 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 | 2020-02-01 | Paper |
| Formalizing the Curry-Howard Correspondence | 2019-12-23 | Paper |
| Prime gaps and the Firoozbakht conjecture | 2019-12-12 | Paper |
| An algebraic (set) theory of surreal numbers, I | 2019-11-28 | Paper |
| Induced morphisms between Heyting-valued models | 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 |
| OUP accepted manuscript | 2019-01-08 | Paper |
| Algebraizable logics and a functorial encoding of its morphisms | 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 | 2013-06-11 | Paper |
| Realizing profinite reduced special groups | 2011-04-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086701 | 2011-03-30 | Paper |
| The profinite hull of special groups and local-global principles | 2011-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5441073 | 2008-02-07 | Paper |
| A global glance on categories in logic | 2007-04-10 | Paper |
