5 citations · 7 across the 7 of their papers we have counts for
13 papers
On definable groups and D-group in certain fields with a generic derivation
Ya'acov Peterzil, Anand Pillay, Francoise Point
We continue our earlier study of finite dimensional definable groups in models of the the model companion of an o-minimal L-theory T expanded by a generic derivation as in [F-K]. W…
On definable groups in real closed fields with a generic derivation, and related structures
Ya'acov Peterzil, Anand Pillay, Francoise Point
We study finite-dimensional groups definable in models of the theory of real closed fields with a generic derivation (also known as CODF). We prove that any such group definably em…
Definable groups in topological fields with a generic derivation
Francoise Point
We continue the study of a class of topological -fields endowed with a generic derivation , focussing on describing definable groups. We show that one can associate…
Differential exponential topological fields
Francoise Point, Nathalie Regnault
We axiomatize a class of existentially closed exponential fields equipped with an -derivation. We apply our results to the field of real numbers endowed with the classi…
Exponential ideals and a Nullstellensatz
Francoise Point, Nathalie Regnault
We prove a version of a Nullstellensatz for partial exponential fields , even though the ring of exponential polynomials is not a Hilbert ring. We show…
Embedded Picard-Vessiot extensions
Quentin Brouette, Greg Cousins, Anand Pillay +1
We prove that if T is a theory of large, bounded, fields of characteristic zero, with almost quantifier elimination, and T_D is the model companion of T + "D is a derivation", then…
Fractional Parts of Dense Additive Subgroups of Real Numbers
Luc Bélair, Françoise Point
Given a dense additive subgroup of containing , we consider its intersection with the interval with the induced order and the group s…
Strong density of definable types and closed ordered differential fields
Quentin Brouette, Pablo Cubides Kovacsics, Francoise Point
The following strong form of density of definable types is introduced for theories T admitting a fibered dimension function d: given a model M of T and a definable subset X of M^n,…
The Ziegler spectrum of the ring of entire complex valued functions
Sonia L'Innocente, Francoise Point, Gena Puninski +1
We will describe the Ziegler spectrum of the ring of entire complex valued functions
On differential Galois groups of strongly normal extensions
Quentin Brouette, Françoise Point
We give a detailed proof of Kolchin's results on differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically…
Separably closed fields and contractive Ore modules
Luc Bélair, Françoise Point
We consider valued fields with a distinguished contractive map as valued modules over the Ore ring of difference operators. We prove quantifier elimination for separably closed val…
On differential Galois groups of strongly normal extensions
Quentin Brouette, Francoise Point
We revisit Kolchin's results on definability of differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically…
The valuation difference rank of a quasi-ordered difference field
Salma Kuhlmann, Mickael Matusinski, Francoise Point
There are several equivalent characterizations of the valuation rank of an ordered or valued field. In this paper, we extend the theory to the case of an ordered or valued {\it dif…