| Publication | Date of Publication | Type |
|---|
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 |
Recognizable sets of power series over finite fields
Comptes Rendus. Mathématique. Académie des Sciences, Paris | 2018-02-07 | 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 |
| scientific article; zbMATH DE number 6314680 (Why is no real title available?) | 2014-07-08 | Paper |
Corrigendum to: ``Quantifier elimination in valued Ore modules''
The Journal of Symbolic Logic | 2012-06-19 | Paper |
Quantifier elimination in valued Ore modules
Journal of Symbolic Logic | 2010-10-04 | Paper |
Approximation for Frobenius algebraic equations in Witt vectors
Journal of Algebra | 2009-06-30 | Paper |
Quantifier elimination in linear difference equations over Witt vectors
Comptes Rendus. Mathématique. Académie des Sciences, Paris | 2008-08-06 | Paper |
Model theory of the Frobenius on the Witt vectors
American Journal of Mathematics | 2007-07-09 | Paper |
| scientific article; zbMATH DE number 2220963 (Why is no real title available?) | 2005-10-31 | Paper |
Difference equations in Witt vectors
Comptes Rendus. Mathématique. Académie des Sciences, Paris | 2005-02-23 | Paper |
Integer-valued difference rational functions over Witt vectors
Comptes Rendus. Mathématique. Académie des Sciences, Paris | 2004-08-20 | Paper |
La définissabilité des entiers dans les corps de courbes réelles archimédiens. (Definability of the natural numbers in function fields over an Archimedean field)
Comptes Rendus. Mathématique. Académie des Sciences, Paris | 2003-09-15 | Paper |
L'automorphisme de Frobenius des vecteurs de Witt
Comptes Rendus de l'Académie des Sciences - Series I - Mathematics | 2000-12-19 | Paper |
Pseudovaluation domains with vapnik-chervonenkis classes of definable sets
Communications in Algebra | 2000-01-01 | Paper |
Types in valued fields with coefficient maps
Illinois Journal of Mathematics | 1999-11-23 | Paper |
Dependence on parameters in analogues of hilberts seventeenth problem
Communications in Algebra | 1998-01-05 | Paper |
Anneaux de fonctions <i>p</i>-adiques
Journal of Symbolic Logic | 1997-08-19 | Paper |
| scientific article; zbMATH DE number 952495 (Why is no real title available?) | 1996-12-01 | Paper |
Indécidabilité des corps de courbe réelle
Journal of Symbolic Logic | 1994-06-13 | Paper |
Infinitesimally stable theories of henselian rings
Journal of Pure and Applied Algebra | 1993-12-20 | Paper |
Anneaux <i>p</i>-adiquement clos et anneaux de fonctions définissables
Journal of Symbolic Logic | 1992-06-27 | Paper |
Definissabilite dans les Corps de Fonctions p-Adiques
Journal of Symbolic Logic | 1992-06-27 | Paper |
| scientific article; zbMATH DE number 4204480 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4181477 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4150338 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4097513 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4132137 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4132137 (Why is no real title available?) | 1988-01-01 | Paper |
Substructures and uniform elimination for p-adic fields
Annals of Pure and Applied Logic | 1988-01-01 | Paper |
Elementary equivalence and codimension in p-adic fields
Manuscripta Mathematica | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4006400 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3893904 (Why is no real title available?) | 1985-01-01 | Paper |
