A remark on Ax's theorem on solvability modulo primes.
Algebraic dimension over Frobenius fields.
Analytic cell decomposition and analytic motivic integration
Arithmetization of the field of reals with exponentiation extended abstract
(1) Shepherdson proved that a discrete unitary commutative semi-ring A+ satisfies IE0 (induction scheme restricted to quantifier free formulas) iff A is integral part of a real closed field; and Berarducci asked about extensions of this criterion when exponentiation is added to the language of rings. Let T range over axiom systems for ordered fields with exponentiation; for three values of T we provide a theory in the language of rings plus exponentiation such that the ...
Around Podewski's conjecture
A long-standing conjecture of Podewski states that every minimal field is algebraically closed. Known in positive characteristic, it remains wide open in characteristic zero. We reduce Podewski's conjecture to the (partially) ordered case, and we conjecture that such fields do not exist. We prove the conjecture in case the incomparability relation is transitive (the almost linear case). We also study minimal groups with a (partial) order, and give a complete classification of...
Constructing ω-stable structures: Computing rank
This is a sequel to [1]. Here we give careful attention to the difficulties of calculating Morley and U-rank of the infinite rank ω-stable theories constructed by variants of Hrushovski's methods. Sample result: For every k < ω, there is an ω-stable expansion of any algebraically closed field which has Morley rank ω × k. We include a corrected proof of the lemma in [1] establishing that the generic model is ω-saturated in the rank 2 case.
Corps C-minimaux, en l’honneur de François Lucas
La classe des constructibles de la géométrie algébrique est close par projection. La théorie des modèles exprime ce fait en disant que les corps algébriquement clos éliminent les quantificateurs dans le langage des anneaux. De façon analogue, les corps algébriquement clos non trivialement valués éliminent les quantificateurs dans le langage des anneaux enrichi de la relation dite de divisibilité . Cela implique en particulier la « -minimalité » : une partie définissable d’un corps algébriquement...
Corps équivalents à leur corps de séries
Definable sets over finite fields.
Definable subgroups of algebraic groups over finite fields.
Der Hilbertsche Irreduzibilitätssatz.
Elementary equivalence and codimension in p-adic fields.
Elementary equivalence of lattices of open sets definable in o-minimal expansions of real closed fields
We prove that the boolean algebras of sets definable in elementarily equivalent o-minimal expansions of real closed fields are back-and-forth equivalent, and in particular elementarily equivalent, in the language of boolean algebras with new predicates indicating the dimension, Euler characteristic and open sets. We also show that the boolean algebra of semilinear subsets of [0,1]ⁿ definable in an o-minimal expansion of a real closed field is back-and-forth equivalent to the boolean algebra of definable...
Existentially closed domains with radical relations.
Fundamental theorems of analysis in formally real fields.
Idéaux et types sur les corps séparablement clos
Immediate and Purely Wild Extensions of Valued Fields.
La théorie d'un anneau de polynômes
Le théorème de MacIntyre sur les ensembles définissables dans les corps -adiques
Levelled O-minimal structures.
We introduce the notion of leveled structure and show that every structure elementarily equivalent to the real expo field expanded by all restricted analytic functions is leveled.