Zobrazeno 1 - 10
of 77
pro vyhledávání: '"Point, Francoise"'
Autor:
Point, Françoise
Outside of the framework of geometric theories, we exhibit complete, respectively model-complete theories of rings whose corresponding theory of pairs is complete, respectively model-complete, using transfer results proven in the seventies for boolea
Externí odkaz:
http://arxiv.org/abs/2310.14363
Autor:
Point, Françoise
Let $(\Gamma,+,F)$ be a finitely generated $\mathbb Z[F]$-module where $F$ is an injective endomorphism of the abelian group $\Gamma$. We restrict ourselves to a finite automa presentable subclass, introduced by J. Bell and R. Moosa in "F-sets and fi
Externí odkaz:
http://arxiv.org/abs/2309.00392
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]. We generalize Buium's notion of an algebraic D-group to L-definable D-g
Externí odkaz:
http://arxiv.org/abs/2305.16747
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 embeds in a semialgebraic group. We extend the results to several more g
Externí odkaz:
http://arxiv.org/abs/2208.08293
Autor:
Point, Francoise, Regnault, Nathalie
We axiomatize a class of existentially closed exponential fields equipped with an $E$-derivation. We apply our results to the field of real numbers endowed with $exp(x)$ the classical exponential function defined by its power series expansion and to
Externí odkaz:
http://arxiv.org/abs/2007.14344
Autor:
Point, Francoise
We continue the study of a class of topological $\mathcal{L}$-fields endowed with a generic derivation $\delta$, focussing on describing definable groups. We show that one can associate to an $\mathcal{L}_{\delta}$ definable group a type $\mathcal{L}
Externí odkaz:
http://arxiv.org/abs/2007.11971
Autor:
Point, Francoise, Regnault, Nathalie
We prove a version of a Nullstellensatz for partial exponential fields $(K,E)$, even though the ring of exponential polynomials $K[X_1,\ldots,X_n]^E$ is not a Hilbert ring. We show that under certain natural conditions one can embed an ideal of $K[X_
Externí odkaz:
http://arxiv.org/abs/2004.10444
We study a class of tame $\mathcal{L}$-theories $T$ of topological fields and their $\mathcal{L}_\delta$-extension $T_{\delta}^*$ by a generic derivation $\delta$. The topological fields under consideration include henselian valued fields of characte
Externí odkaz:
http://arxiv.org/abs/1912.07912
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 for any model U of T_D, and differential subfield K of U whose field
Externí odkaz:
http://arxiv.org/abs/1709.00046
Autor:
Point, Françoise
For certain theories of existentially closed topological differential fields, we show that there is a strong relationship between $\mathcal L\cup\{D\}$-definable sets and their $\mathcal L$-reducts, where $\mathcal L$ is a relational expansion of the
Externí odkaz:
http://arxiv.org/abs/1707.07881