| Publication | Date of Publication | Type |
|---|
A model theoretic perspective on matrix rings
Mathematische Zeitschrift | 2025-01-20 | Paper |
Differentially large fields
Algebra & Number Theory | 2024-02-15 | Paper |
| On ordinary differentially large fields | 2023-07-24 | Paper |
Differential Weil descent
Communications in Algebra | 2022-02-04 | Paper |
Defining integer-valued functions in rings of continuous definable functions over a topological field
Journal of Mathematical Logic | 2021-05-19 | Paper |
| A Model Theoretic Perspective on Matrix Rings | 2018-10-21 | Paper |
| Spectral spaces | 2018-09-04 | Paper |
| Differential Weil Descent and Differentially Large Fields | 2018-07-24 | Paper |
On the strength of some topological lattices
Ordered Algebraic Structures and Related Topics | 2018-04-16 | Paper |
| Interpreting formulas of divisible lattice ordered abelian groups | 2016-09-23 | Paper |
Comparison of exponential-logarithmic and logarithmic-exponential series
Mathematical Logic Quarterly | 2012-12-10 | Paper |
Non-axiomatizability of real spectra in \(\mathcal L_{ \infty \lambda} \)
Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI | 2012-08-01 | Paper |
| Bounded super real closed rings | 2011-03-02 | Paper |
Elementary properties of minimal and maximal points in Zariski spectra
Journal of Algebra | 2010-03-12 | Paper |
Heirs of box types in polynomially bounded structures
Journal of Symbolic Logic | 2010-01-07 | Paper |
The prime spectrum and the extended prime spectrum of noncommutative rings.
Algebras and Representation Theory | 2007-09-06 | Paper |
Super real closed rings
Fundamenta Mathematicae | 2007-05-30 | Paper |
Pseudo completions and completions in stages of o-minimal structures
Archive for Mathematical Logic | 2007-01-24 | Paper |
Computation of the z-radical in C(X)
advg | 2006-09-22 | Paper |
Model completeness of o-minimal structures expanded by Dedekind cuts
Journal of Symbolic Logic | 2006-02-08 | Paper |
Valuation theoretic content of the Marker-Steinhorn theorem
Journal of Symbolic Logic | 2005-08-29 | Paper |
The elementary theory of Dedekind cuts in polynomially bounded structures
Annals of Pure and Applied Logic | 2005-08-25 | Paper |
The uniform companion for large differential fields of characteristic 0
Transactions of the American Mathematical Society | 2005-07-26 | Paper |
Axiomatization of local-global principles for pp-formulas in spaces of orderings
Archive for Mathematical Logic | 2005-02-22 | Paper |
A structure theorem for differential algebras
Differential Galois Theory | 2003-09-09 | Paper |
An existence theorem for systems of implicit differential equations
Differential Galois Theory | 2003-09-09 | Paper |
Subfitness in distributive (semi)lattices
(available as arXiv preprint) | N/A | Paper |
