Abstract
Axiomatisation d'une structure et description de ses ensembles definissables sont deux elements de description essentiels offerts par la theorie des modeles. Un resultat d'elimination des quantificateurs produit une description concrete des ensembles definissables. Nous montrons ici que les paires de corps algebriquement clos eliminent les quantificateurs dans le langage des anneaux enrichi des predicats de disjonction lineaire au-dessus du petit corps et des fonctions donnant les composantes lineaires de la premiere variable sur les suivantes. Les paires denses de corps values algebriquement clos eliminent les quantificateurs dans le langage precedent enrichi du predicat div.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
