Applications logiques en théorie des anneaux et des modules
Publications des séminaires de mathématiques et informatique de Rennes, Colloque d'algèbre, no. S3 (1980), pp. 29-37.
@article{PSMIR_1980___S3_29_0,
     author = {Jensen, C. U.},
     title = {Applications logiques en th\'eorie des anneaux et des modules},
     journal = {Publications des s\'eminaires de math\'ematiques et informatique de Rennes},
     pages = {29--37},
     publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
     number = {S3},
     year = {1980},
     language = {fr},
     url = {http://www.numdam.org/item/PSMIR_1980___S3_29_0/}
}
TY  - JOUR
AU  - Jensen, C. U.
TI  - Applications logiques en théorie des anneaux et des modules
JO  - Publications des séminaires de mathématiques et informatique de Rennes
PY  - 1980
SP  - 29
EP  - 37
IS  - S3
PB  - Département de Mathématiques et Informatique, Université de Rennes
UR  - http://www.numdam.org/item/PSMIR_1980___S3_29_0/
LA  - fr
ID  - PSMIR_1980___S3_29_0
ER  - 
%0 Journal Article
%A Jensen, C. U.
%T Applications logiques en théorie des anneaux et des modules
%J Publications des séminaires de mathématiques et informatique de Rennes
%D 1980
%P 29-37
%N S3
%I Département de Mathématiques et Informatique, Université de Rennes
%U http://www.numdam.org/item/PSMIR_1980___S3_29_0/
%G fr
%F PSMIR_1980___S3_29_0
Jensen, C. U. Applications logiques en théorie des anneaux et des modules. Publications des séminaires de mathématiques et informatique de Rennes, Colloque d'algèbre, no. S3 (1980), pp. 29-37. http://www.numdam.org/item/PSMIR_1980___S3_29_0/

1. J. Ax and S. Kochen, Diophantine problems over local fields III Decidable fields, Ann.of Math. 83 (1966), 437-456. | MR | Zbl

2.J.L. Bell and A.B. Slomsom, Models and Ultraproducts, North Holland Publ.Comp. 1969. | Zbl

3.W.W. Comfort and S. Negrepontis, The Theory of Ultrafilters, Grundlehren der mathematischen Wissenschaften, Springer, 1974. | MR | Zbl

4.G. Cherlin, Ideals in some nonstandard Dedekind rings, Logique et Analyse, 71-72 (1975), 379-406. | MR | Zbl

5.P. Gabriel, Finite representation type is open, in Representation of Algebras, Lecture Notes in Mathematics 488, Springer, 1975. | MR | Zbl

6.C. Hermann, C.U. Jensen and H. Lenzing, Applications of model theory to representations of finite dimensional algebras, (à paraître). | Zbl

7.C.U. Jensen, Peano rings of arbitrary global dimension, à paraître au J.London Math.Soc. | Zbl

8.C.U. Jensen and H. Lenzing, Model theory and representations of algebras,Proceedings of the 2nd Int.Conference on Representations of Algebras, Ottawa 1979, Springer Lecture Notes, (à paraître). | MR | Zbl

9.J. Robinson, Definability and decision problems in arithmetic, J.Symb.Logic 14 (1949), 98-114. | MR | Zbl