Voir la notice de l'article provenant de la source Numdam
Axiomatisation d'une structure et description de ses ensembles définissables sont deux éléments de description essentiels offerts par la théorie des modèles. Un résultat d'élimination des quantificateurs produit une description concrète des ensembles définissables. Nous montrons ici que les paires de corps algébriquement clos éliminent les quantificateurs dans le langage des anneaux enrichi des prédicats de disjonction linéaire au-dessus du petit corps et des fonctions donnant les composantes linéaires de la première variable sur les suivantes. Les paires denses de corps valués algébriquement clos éliminent les quantificateurs dans le langage précédent enrichi du prédicat div.
@article{CML_2012__4_2_A3_0,
author = {Delon, Fran\c{c}oise},
title = {\'Elimination des quantificateurs dans les paires de corps alg\'ebriquement clos},
journal = {Confluentes Mathematici},
publisher = {World Scientific Publishing Co Pte Ltd},
volume = {4},
number = {2},
year = {2012},
doi = {10.1142/S179374421250003X},
language = {fr},
url = {http://geodesic.mathdoc.fr/articles/10.1142/S179374421250003X/}
}
TY - JOUR AU - Delon, Françoise TI - Élimination des quantificateurs dans les paires de corps algébriquement clos JO - Confluentes Mathematici PY - 2012 VL - 4 IS - 2 PB - World Scientific Publishing Co Pte Ltd UR - http://geodesic.mathdoc.fr/articles/10.1142/S179374421250003X/ DO - 10.1142/S179374421250003X LA - fr ID - CML_2012__4_2_A3_0 ER -
%0 Journal Article %A Delon, Françoise %T Élimination des quantificateurs dans les paires de corps algébriquement clos %J Confluentes Mathematici %D 2012 %V 4 %N 2 %I World Scientific Publishing Co Pte Ltd %U http://geodesic.mathdoc.fr/articles/10.1142/S179374421250003X/ %R 10.1142/S179374421250003X %G fr %F CML_2012__4_2_A3_0
Delon, Françoise. Élimination des quantificateurs dans les paires de corps algébriquement clos. Confluentes Mathematici, Tome 4 (2012) no. 2. doi: 10.1142/S179374421250003X
Cité par Sources :