SMF

Théorie des modèles pour les anneaux de fonctions entières et des corps de fonctions méromorphes

Model theory for the rings of entire functions and fields of meromorphic functions

C. U. JENSEN
Théorie des modèles pour les anneaux de fonctions entières et des corps de fonctions méromorphes
  • Année : 1984
  • Tome : 16
  • Format : Électronique
  • Langue de l'ouvrage :
    Français

Pour un sous-corps $K$ de $\Bbb C$ soit $E(k)$ le sous-anneau de $K[[X]]$ formé des séries formelles dont le rayon de convergence est infini. Si $\rho \in {\Bbb R}^+$ ou $\rho = \infty $ on désigne par $E_\rho $ l'anneau des fonctions d'ordre $< \rho $. On pose $E_\rho (K) = E_\rho \cap E(K)$ On montre entre autres choses que l'anneau des polynômes $K[X]$ est définissable dans $E_\rho (K)$ si $\rho < \infty $ ou $K = \Bbb R$ ou $K = \Bbb C$. En particulier, ces anneaux sont indécidables. De plus si $K = \Bbb R$ ou $K = \Bbb C$, alors $E_\rho (K) \equiv E_\sigma (K)$ entraîne $\rho = \sigma $. Soit $M_\rho (K)$ le corps des fractions de $E_\rho (K)$. Si $\rho > 0$ les corps $M_\rho (\Bbb R)$ sont indécidables, et l'on peut même interpréter l'arithmétique du second ordre dans ces corps. Si $\rho \leq 1$ et $K$ est un sous-corps pythagoricien de $\Bbb R$, les corps $M_\rho (K)$ sont indécidables. Si $\rho > 1$ le sous anneau de $M_\rho (\Bbb R)$ formé des fonctions sans pôles réels est définissable dans $M_\rho (\Bbb R)$.

For a subfield $K$ of $\Bbb C$ let $E(K)$ be a subring of $K[[X]]$ consisting of all formal power series of infinite convergence radius. If $\rho \in {\Bbb R}^+$ or $\rho = \infty $ we denote by $E_\rho $ the ring of all entire functions of order $< \rho $. We set $E_\rho (K) = E_\rho \cap E(K)$. It is shown that the polynomial ring $K[X]$ is definable in $E_\rho (K)$ if $\rho < \infty $ or $K = \Bbb R$ or $K = \Bbb C$. In particular, these rings are undecidable. Moreover, if $K = \Bbb R$ or $K = \Bbb C$, then $E_\rho (K) \equiv E_\sigma (K)$ implies $\rho = \sigma $. Let $M_\rho (K)$ be the quotient field of $E_\rho (K)$. The fields $M (\Bbb R)$ are undecidable, and it is even possible to interpret second order number theory in this fields. If $\rho \leq 1$ and $K$ is a Pythagorean subfield of $\Bbb R$, the fields $M_\rho (K)$ are undecidable. If $\rho > 1$ the subring of $M_\rho (\Bbb R)$ consisting of all functions with no real poles is definable in $M_\rho (\Bbb R)$.



Des problèmes avec le téléchargement?Des problèmes avec le téléchargement?
Informez-nous de tout problème que vous avez...