Making the use of maximal ideals constructive

DOI10.1016/j.tcs.2007.10.011zbMath1141.13303OpenAlexW1986260727MaRDI QIDQ2476020

Ihsen Yengui

Publication date: 11 March 2008

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2007.10.011

zbMATH Keywords

Quillen-Suslin theoremconstructive mathematicsHilbert's programSuslin's stability theoremSuslin's lemma

Mathematics Subject Classification ID

Projective and free modules and ideals in commutative rings (13C10)

Related Items (26)

Stably free modules over $\mathbf{R}[X$ of rank $> \dim\mathbf{R}$ are free] ⋮ Spectral schemes as ringed lattices ⋮ The Jacobson radical for an inconsistency predicate ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ A universal algorithm for Krull's theorem ⋮ Revisiting Zariski main theorem from a constructive point of view ⋮ Radical theory of Scott-open filters ⋮ Maximal elements with minimal logic ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 ⋮ Suslin's algorithms for reduction of unimodular rows ⋮ 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 ⋮ An algorithm for unimodular completion over noetherian rings ⋮ A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem ⋮ The Hermite ring conjecture in dimension one ⋮ Seminormal rings (following Thierry Coquand) ⋮ Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa ⋮ Dynamical Gröbner bases over Dedekind rings ⋮ Un anneau de Prüfer ⋮ Projective modules over polynomial rings: a constructive approach ⋮ The Hahn-Banach theorem by disjunction elimination ⋮ A note on connected reduced rings ⋮ Maximal ideals in countable rings, constructively ⋮ The computational significance of Hausdorff's maximal chain principle ⋮ Syntax for Semantics: Krull’s Maximal Ideal Theorem ⋮ Unimodular rows over Laurent polynomial rings

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dynamical Gröbner bases
• A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem
• An algorithm for unimodular completion over Laurent polynomial rings
• Algorithms for the Quillen-Suslin theorem
• A course in constructive algebra
• Serre's conjecture
• An algorithmic proof of Suslin's stability theorem for polynomial rings
• Suslin's algorithms for reduction of unimodular rows
• An algorithm for unimodular completion over noetherian rings
• Nullstellensatz effectif et Conjecture de Serre (Théorème de Quillen-Suslin) pour le Calcul Formel
• Projective modules over polynomial rings: a constructive approach
• ON THE STRUCTURE OF THE SPECIAL LINEAR GROUP OVER POLYNOMIAL RINGS
• Nontrivial Uses of Trivial Rings
• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• Projective modules over polynomial rings
• Dynamical method in algebra: Effective Nullstellensätze
• Hidden constructions in abstract algebra. I: Integral dependance.

This page was built for publication: Making the use of maximal ideals constructive