Théorie des modèles pour des anneaux de fonctions entières et des corps de fonctions méromorphes
Compte-rendu de la table ronde de logique des 15 et 16 octobre 1983 à Paris, Mémoires de la Société Mathématique de France, Série 2, no. 16 (1984), pp. 23-40. 
@incollection{MSMF_1984_2_16__23_0,
     author = {Jensen, Christian U.},
     title = {Th\'eorie des mod\`eles pour des anneaux de fonctions enti\`eres et des corps de fonctions m\'eromorphes},
     booktitle = {Compte-rendu de la table ronde de logique des 15 et 16 octobre 1983 \`a Paris},
     editor = {Delon, F. and Lascar, D. and Parigot, M. and Sabbagh, G.},
     series = {M\'emoires de la Soci\'et\'e Math\'ematique de France},
     pages = {23--40},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {16},
     year = {1984},
     doi = {10.24033/msmf.310},
     mrnumber = {87b:03074},
     zbl = {0562.12025},
     url = {http://www.numdam.org/articles/10.24033/msmf.310/}
}
TY  - CHAP
AU  - Jensen, Christian U.
TI  - Théorie des modèles pour des anneaux de fonctions entières et des corps de fonctions méromorphes
BT  - Compte-rendu de la table ronde de logique des 15 et 16 octobre 1983 à Paris
AU  - Collectif
ED  - Delon, F.
ED  - Lascar, D.
ED  - Parigot, M.
ED  - Sabbagh, G.
T3  - Mémoires de la Société Mathématique de France
PY  - 1984
SP  - 23
EP  - 40
IS  - 16
PB  - Société mathématique de France
UR  - http://www.numdam.org/articles/10.24033/msmf.310/
DO  - 10.24033/msmf.310
ID  - MSMF_1984_2_16__23_0
ER  - 
%0 Book Section
%A Jensen, Christian U.
%T Théorie des modèles pour des anneaux de fonctions entières et des corps de fonctions méromorphes
%B Compte-rendu de la table ronde de logique des 15 et 16 octobre 1983 à Paris
%A Collectif
%E Delon, F.
%E Lascar, D.
%E Parigot, M.
%E Sabbagh, G.
%S Mémoires de la Société Mathématique de France
%D 1984
%P 23-40
%N 16
%I Société mathématique de France
%U http://www.numdam.org/articles/10.24033/msmf.310/
%R 10.24033/msmf.310
%F MSMF_1984_2_16__23_0
Jensen, Christian U. Théorie des modèles pour des anneaux de fonctions entières et des corps de fonctions méromorphes, dans Compte-rendu de la table ronde de logique des 15 et 16 octobre 1983 à Paris, Mémoires de la Société Mathématique de France, Série 2, no. 16 (1984), pp. 23-40. doi : 10.24033/msmf.310. http://www.numdam.org/articles/10.24033/msmf.310/

1. A. Bauval, La théorie du premier ordre des anneaux de polynômes sur des corps, Thèse 3ème cycle, Univ. Paris VII, 1983.

2. J. Becker, C.W. Henson, L.A. Rubel, First-order conformal invariants, Ann. of Math., 112 (1980), 123-178. | MR | Zbl

3. É. Borel, Leçons sur les fonctions entières, Gauthier-Villars, Paris, 1921.

4. F. Delon, Indécidabilité de la théorie des anneaux de séries formelles à plusieurs indéterminées, Fund. Math., 112 (1981), 215-229. | MR | Zbl

5. O. Helmer, Divisibility properties of integral functions, Duke Math. J., 6 (1940), 38-47. | JFM | MR | Zbl

6. A. Hurwitz, Über beständig convergirende Potenzreihen mit rationalen Zahlencoefficienten und vorgeschriebenen Nullstellen, Acta Math., 14 (1890), 211-215. | JFM

7. C.U. Jensen, Propriétés homologiques et logiques des anneaux de fonctions entières, C.R. Acad. Sci. Paris 291 (1980), 515-517. | MR | Zbl

8. C.U. Jensen, La dimension globale de l'anneau des fonctions entières, C.R. Acad. Sci. Paris, 294 (1982), 385-386. | MR | Zbl

9. C.U. Jensen, L'indécidabilité d'une classe de corps des fonctions méromorphes, C.R. Acad. Sci. Canada, 5 (1983), 69-74. | MR | Zbl

10. R. Robinson, Undecidable rings, Trans. Amer. Math. Soc., 70 (1951), 137-159. | MR | Zbl

11. R. Robinson, The undecidability of pure transcendental extensions of real fields, Z. Math. Logik Grundlagen Math., 10 (1964), 275-282. | MR | Zbl

12. L.A. Rubel, Solution of Problem 6117, Amer. Math. Monthly, 85 (1978), 505-506.

13. E.C. Tichmarsch, The theory of functions, Oxford University Press, 1939. | JFM

14. J.H.M. Wedderburn, On matrices whose coefficients are functions of a single variable, Trans. Amer. Math. Soc., 16 (1915), 328-332. | JFM | MR

Cité par Sources :