| Publication | Date of Publication | Type |
|---|
| Dense pairs of rings | 2023-10-22 | Paper |
| A decidable expansion of $(\Gamma,+,F)$ with the independence property | 2023-09-01 | Paper |
| On definable groups and D-group in certain fields with a generic derivation | 2023-05-26 | Paper |
Topological fields with a generic derivation
Annals of Pure and Applied Logic | 2022-12-23 | Paper |
| On definable groups in real closed fields with a generic derivation, and related structures | 2022-08-17 | Paper |
| Differential exponential topological fields | 2020-07-28 | Paper |
| Definable groups in topological fields with a generic derivation | 2020-07-23 | Paper |
The valuation difference rank of a quasi-ordered difference field
Groups, Modules, and Model Theory - Surveys and Recent Developments | 2020-07-14 | Paper |
On expansions of \((\mathbf{Z},+,0)\)
Annals of Pure and Applied Logic | 2020-06-02 | Paper |
On differential Galois groups of strongly normal extensions
Mathematical Logic Quarterly | 2020-05-11 | Paper |
| Exponential ideals and a Nullstellensatz | 2020-04-22 | Paper |
Topological fields with a generic derivation
(available as arXiv preprint) | 2019-12-17 | Paper |
Valued modules on skew polynomial rings and Bézout domains
Model Theory of Modules, Algebras and Categories | 2019-10-22 | Paper |
Strong density of definable types and closed ordered differential fields
Journal of Symbolic Logic | 2019-09-17 | Paper |
Bézout domains and lattice-valued modules
Journal of Pure and Applied Algebra | 2019-08-15 | Paper |
The Ziegler spectrum of the ring of entire complex valued functions
Journal of Symbolic Logic | 2019-03-15 | Paper |
Definability of types and VC density in differential topological fields
Archive for Mathematical Logic | 2019-01-14 | Paper |
Fractional parts of dense additive subgroups of real numbers
Algebra Universalis | 2018-12-05 | Paper |
Fractional parts of dense additive subgroups of real numbers
Algebra Universalis | 2018-12-05 | Paper |
Embedded Picard-Vessiot extensions
Communications in Algebra | 2018-10-22 | Paper |
Recognizable sets of power series over finite fields
Comptes Rendus. Mathématique. Académie des Sciences, Paris | 2018-02-07 | Paper |
| Definable groups in topological differential fields | 2017-07-25 | Paper |
Defining multiplication in some additive expansions of polynomial rings
Communications in Algebra | 2016-06-24 | Paper |
The logic of fractional parts of real numbers
Comptes Rendus. Mathématique. Académie des Sciences, Paris | 2016-06-08 | Paper |
Separably closed fields and contractive Ore modules
The Journal of Symbolic Logic | 2016-03-22 | Paper |
Separably closed fields and contractive Ore modules
The Journal of Symbolic Logic | 2016-03-22 | Paper |
Erratum to: ``Free abelian lattice-ordered groups
Annals of Pure and Applied Logic | 2016-03-02 | Paper |
| On differential Galois groups of strongly normal extensions | 2015-12-18 | Paper |
Exponentiations over the quantum algebra \(U_q(\mathrm{sl}_2(\mathbb{C}))\)
Confluentes Mathematici | 2015-03-31 | Paper |
Corrigendum to: ``Existentially closed ordered difference fields and rings
Mathematical Logic Quarterly | 2015-03-19 | Paper |
Alternatives for pseudofinite groups.
Journal of Group Theory | 2014-01-07 | Paper |
On the model theory of the logarithmic function in compact Lie groups
Journal of Algebra and its Applications | 2013-09-11 | Paper |
Topological differential fields and dimension functions
Journal of Symbolic Logic | 2013-01-07 | Paper |
Corrigendum to: ``Quantifier elimination in valued Ore modules
The Journal of Symbolic Logic | 2012-06-19 | Paper |
On differentially closed ordered fields
Comptes Rendus. Mathématique. Académie des Sciences, Paris | 2011-10-21 | Paper |
Topological differential fields
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
Exponentiations over the universal enveloping algebra of \(\text{sl}_2(\mathbb C)\)
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
Quantifier elimination in valued Ore modules
Journal of Symbolic Logic | 2010-10-04 | Paper |
Existentially closed ordered difference fields and rings
Mathematical Logic Quarterly | 2010-06-10 | Paper |
Quantifier elimination in linear difference equations over Witt vectors
Comptes Rendus. Mathématique. Académie des Sciences, Paris | 2008-08-06 | Paper |
Finitely Presented Abelian Lattice-Ordered Groups
Lecture Notes in Computer Science | 2007-11-15 | Paper |
On von Neumann regular rings with an automorphism
Journal of Algebra | 2007-10-17 | Paper |
Some model theory of Bézout difference rings -- a survey
Bulletin of the Belgian Mathematical Society - Simon Stevin | 2007-08-10 | Paper |
Asymptotic theory of modules of separably closed fields
Journal of Symbolic Logic | 2006-01-16 | Paper |
| scientific article; zbMATH DE number 2220963 (Why is no real title available?) | 2005-10-31 | Paper |
Free abelian lattice-ordered groups
Annals of Pure and Applied Logic | 2005-06-23 | Paper |
The theory of modules of separably closed fields. II.
Annals of Pure and Applied Logic | 2004-11-22 | Paper |
On the definability of verbal subgroups
Archive for Mathematical Logic | 2003-09-16 | Paper |
Milnor Property in Finitely Generated Soluble Groups
Communications in Algebra | 2003-04-14 | Paper |
The theory of modules of separably closed fields 1
Journal of Symbolic Logic | 2002-11-27 | Paper |
Essentially periodic ordered groups
Annals of Pure and Applied Logic | 2002-02-17 | Paper |
On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers
Journal of Symbolic Logic | 2001-10-30 | Paper |
| scientific article; zbMATH DE number 1512851 (Why is no real title available?) | 2001-06-04 | Paper |
Ultraproducts and Chevalley groups
Archive for Mathematical Logic | 1998-09-08 | Paper |
On the Cobham-Semenov theorem
Theory of Computing Systems | 1997-09-07 | Paper |
Milnor identities
Communications in Algebra | 1997-07-14 | Paper |
Nilpotency criteria for multiplicative Lie algebras
Journal of Pure and Applied Algebra | 1997-06-03 | Paper |
Groups of polynomial growth and their associated metric spaces
Journal of Algebra | 1996-03-12 | Paper |
Conditions of quasi-nilpotency in certain varieties of groups
Communications in Algebra | 1995-05-23 | Paper |
| scientific article; zbMATH DE number 554989 (Why is no real title available?) | 1994-10-19 | Paper |
| scientific article; zbMATH DE number 510790 (Why is no real title available?) | 1994-03-10 | Paper |
| scientific article; zbMATH DE number 64883 (Why is no real title available?) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 27182 (Why is no real title available?) | 1992-06-27 | Paper |
| scientific article; zbMATH DE number 11157 (Why is no real title available?) | 1992-06-25 | Paper |
Groups with identities
Annals of Pure and Applied Logic | 1989-01-01 | Paper |
Decidability for Theories of Modules
Journal of the London Mathematical Society | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4049626 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4031630 (Why is no real title available?) | 1986-01-01 | Paper |
Quantifier elimination in discriminator varieties
Annals of Pure and Applied Logic | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3993564 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3989332 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3941516 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3918351 (Why is no real title available?) | 1985-01-01 | Paper |
Finitely generic models of TUH, for certain model companionable theories T
Journal of Symbolic Logic | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3819694 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3745134 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3697094 (Why is no real title available?) | 1980-01-01 | Paper |
