L. van den Dries proved that the theory of $n$-valued rings has a model companion. We show here that this result is still true when the valuation rings are required to satisfy given inclusion relations (we restrict ourselves to the case of residual characteristic zero).
Publié le : 1987-12-14
Classification:
Ax-Kochen-Ersov theorem,
model companion,
$n$-valued ring,
van den Dries's theory,
03C60
@article{1183742508,
author = {Delon, Francoise},
title = {Corps Portant Un Nombre Fini de Valuations},
journal = {J. Symbolic Logic},
volume = {52},
number = {1},
year = {1987},
pages = { 994-1004},
language = {fr},
url = {http://dml.mathdoc.fr/item/1183742508}
}
Delon, Francoise. Corps Portant Un Nombre Fini de Valuations. J. Symbolic Logic, Tome 52 (1987) no. 1, pp. 994-1004. http://gdmltest.u-ga.fr/item/1183742508/