Pages that link to "Item:Q2476020"

The following pages link to Making the use of maximal ideals constructive (Q2476020):

Displaying 27 items.

• Revisiting Zariski main theorem from a constructive point of view (Q402421) (← links)
• A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem (Q947482) (← links)
• The Hermite ring conjecture in dimension one (Q947534) (← links)
• Dynamical Gröbner bases over Dedekind rings (Q984989) (← links)
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
• Dynamic evaluation of integrity and the computational content of Krull's lemma (Q1979322) (← links)
• The Hahn-Banach theorem by disjunction elimination (Q2074035) (← links)
• A note on connected reduced rings (Q2074409) (← links)
• Maximal ideals in countable rings, constructively (Q2104249) (← links)
• The computational significance of Hausdorff's maximal chain principle (Q2106609) (← links)
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
• Spectral schemes as ringed lattices (Q2379681) (← links)
• Suslin's algorithms for reduction of unimodular rows (Q2456568) (← links)
• An algorithm for unimodular completion over noetherian rings (Q2464486) (← links)
• Seminormal rings (following Thierry Coquand) (Q2476016) (← links)
• Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa (Q2481800) (← links)
• A universal algorithm for Krull's theorem (Q2672666) (← links)
• Radical theory of Scott-open filters (Q2682912) (← links)
• Stably free modules over $\mathbf{R}[X]$ of rank $> \dim\mathbf{R}$ are free (Q3168742) (← links)
• Projective modules over polynomial rings: a constructive approach (Q3634628) (← links)
• Un anneau de Prüfer (Q4682433) (← links)
• Syntax for Semantics: Krull’s Maximal Ideal Theorem (Q5024726) (← links)
• The Jacobson radical for an inconsistency predicate (Q5075520) (← links)
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
• Unimodular rows over Laurent polynomial rings (Q5878435) (← links)
• Projective modules and complete intersections (Q5906817) (← links)
• Maximal elements with minimal logic (Q6161463) (← links)