@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, no. S3 (1980), pp. 29-37. http://www.numdam.org/item/PSMIR_1980___S3_29_0/
1. Diophantine problems over local fields III Decidable fields, Ann.of Math. 83 (1966), 437-456. | MR | Zbl
and ,2.Models and Ultraproducts, North Holland Publ.Comp. 1969. | Zbl
and ,3.The Theory of Ultrafilters, Grundlehren der mathematischen Wissenschaften, Springer, 1974. | MR | Zbl
and ,4.Ideals in some nonstandard Dedekind rings, Logique et Analyse, 71-72 (1975), 379-406. | MR | Zbl
,5.Finite representation type is open, in Representation of Algebras, Lecture Notes in Mathematics 488, Springer, 1975. | MR | Zbl
,6.Applications of model theory to representations of finite dimensional algebras, (à paraître). | Zbl
, and ,7.Peano rings of arbitrary global dimension, à paraître au J.London Math.Soc. | Zbl
,8.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
and ,9.Definability and decision problems in arithmetic, J.Symb.Logic 14 (1949), 98-114. | MR | Zbl
,