Dynamical method in algebra: Effective Nullstellensätze

DOI10.1016/S0168-0072(01)00026-4zbMath0992.03076arXiv1701.05794MaRDI QIDQ5946086

Henri Lombardi, Michel Coste, Marie-Françoise Roy

Publication date: 19 February 2002

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1701.05794

zbMATH Keywords

constructive mathematics ordered groups algebraically closed valued fields dynamical proofs geometric conditions Nullstellensatz Positivstellensatz simultaneous collapse

Mathematics Subject Classification ID

Topoi (18B25) Ordered groups (06F15) Other constructive mathematics (03F65) Ordered fields (12J15) Valued fields (12J10)

Related Items

Infinitary first-order categorical logic, Constructive Gelfand duality for C*-algebras, Dynamical Gröbner bases, Strongly Noetherian rings and constructive ideal theory, The Jacobson radical for an inconsistency predicate, THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY, Constructive rereading of Artin-Schreier theory, A universal algorithm for Krull's theorem, Eliminating disjunctions by disjunction elimination, Directed evaluation, Radical theory of Scott-open filters, An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th problem, Valuative Lattices and Spectra, ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION, Valuative dimension, constructive points of view, Spectral Spaces Versus Distributive Lattices: A Dictionary, A formal proof of the projective Eisenbud-Evans-Storch theorem, A constructive notion of codimension, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017, A baby step-giant step roadmap algorithm for general algebraic sets, Théories géométriques pour l’algèbre des nombres réels, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting), Dynamic evaluation of integrity and the computational content of Krull's lemma, Point-Free Spectra of Linear Spreads, A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem, Seminormal rings (following Thierry Coquand), Making the use of maximal ideals constructive, An algebraic certificate for Budan's theorem, Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa, About Stone's notion of spectrum, Unnamed Item, Forcing in Proof Theory, Dynamical Gröbner bases over Dedekind rings, Un anneau de Prüfer, Hidden constructions in abstract algebra. I: Integral dependance., Ribenboim's order extension theorem from a constructive point of view, CONSTRUCTIVE REFLECTIVITY PRINCIPLES FOR REGULAR THEORIES, On the Generation of Positivstellensatz Witnesses in Degenerate Cases, Cut elimination for entailment relations, BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH, The Hahn-Banach theorem by disjunction elimination, A note on connected reduced rings, Ordering groups constructively, Lattice-ordered groups generated by an ordered group and regular systems of ideals, On syzygy modules over Laurent polynomial rings, Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert), Towards formal Baer criteria, Maximal ideals in countable rings, constructively, Real or natural number interpretation and their effect on complexity, The computational significance of Hausdorff's maximal chain principle, Geometric Rules in Infinitary Logic, Syntax for Semantics: Krull’s Maximal Ideal Theorem, Saturation of finitely-generated submodules of free modules over Prüfer domains

Cites Work