Dynamical method in algebra: Effective Nullstellensätze - Université de Rennes Accéder directement au contenu
Article Dans Une Revue Annals of Pure and Applied Logic Année : 2001

Dynamical method in algebra: Effective Nullstellensätze

Résumé

We give a general method for producing various effective Null and Positivstellensätze, and getting new Positivstellensätze in algebraically closed valued fields and ordered groups. These various effective Nullstellensätze produce algebraic identities certifying that some geometric conditions cannot be simultaneously satisfied. We produce also constructive versions of abstract classical results of algebra based on Zorn's lemma in several cases where such constructive version did not exist. For example, the fact that a real field can be totally ordered, or the fact that a field can be embedded in an algebraically closed field. Our results are based on the concepts we develop of dynamical proofs and simultaneous collapse.
Fichier principal
Vignette du fichier
clr.pdf (415.06 Ko) Télécharger le fichier
AMSsym.def (4.81 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01657526 , version 1 (06-12-2017)

Identifiants

Citer

Michel Coste, Henri Lombardi, Marie-Françoise Roy. Dynamical method in algebra: Effective Nullstellensätze. Annals of Pure and Applied Logic, 2001, 111 (3), pp.203 - 256. ⟨10.1016/S0168-0072(01)00026-4⟩. ⟨hal-01657526⟩
302 Consultations
74 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More