Pages that link to "Item:Q5946086"
From MaRDI portal
The following pages link to Dynamical method in algebra: Effective Nullstellensätze (Q5946086):
Displaying 50 items.
- A formal proof of the projective Eisenbud-Evans-Storch theorem (Q444111) (← links)
- A baby step-giant step roadmap algorithm for general algebraic sets (Q486687) (← links)
- An algebraic certificate for Budan's theorem (Q531342) (← links)
- On syzygy modules over Laurent polynomial rings (Q779968) (← links)
- Dynamical Gröbner bases (Q855700) (← links)
- A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem (Q947482) (← links)
- Dynamical Gröbner bases over Dedekind rings (Q984989) (← links)
- Constructive rereading of Artin-Schreier theory (Q1382184) (← links)
- Infinitary first-order categorical logic (Q1625589) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- About Stone's notion of spectrum (Q1772250) (← 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)
- Towards formal Baer criteria (Q2099403) (← links)
- Maximal ideals in countable rings, constructively (Q2104249) (← links)
- The computational significance of Hausdorff's maximal chain principle (Q2106609) (← links)
- Directed evaluation (Q2192677) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Ribenboim's order extension theorem from a constructive point of view (Q2283062) (← links)
- Cut elimination for entailment relations (Q2312091) (← links)
- Lattice-ordered groups generated by an ordered group and regular systems of ideals (Q2326029) (← links)
- Real or natural number interpretation and their effect on complexity (Q2346989) (← links)
- A constructive notion of codimension (Q2445023) (← links)
- Seminormal rings (following Thierry Coquand) (Q2476016) (← links)
- Making the use of maximal ideals constructive (Q2476020) (← links)
- Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa (Q2481800) (← links)
- Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert) (Q2575772) (← links)
- Strongly Noetherian rings and constructive ideal theory (Q2643522) (← links)
- A universal algorithm for Krull's theorem (Q2672666) (← links)
- Radical theory of Scott-open filters (Q2682912) (← links)
- On the Generation of Positivstellensatz Witnesses in Degenerate Cases (Q3088010) (← links)
- Constructive Gelfand duality for C*-algebras (Q3183160) (← links)
- Point-Free Spectra of Linear Spreads (Q3305641) (← links)
- (Q4553278) (← links)
- Théories géométriques pour l’algèbre des nombres réels (Q4635369) (← links)
- Forcing in Proof Theory (Q4678943) (← links)
- Un anneau de Prüfer (Q4682433) (← links)
- BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH (Q4984866) (← links)
- Geometric Rules in Infinitary Logic (Q5020172) (← 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)
- An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th problem (Q5108709) (← links)
- Spectral Spaces Versus Distributive Lattices: A Dictionary (Q5119701) (← links)
- CONSTRUCTIVE REFLECTIVITY PRINCIPLES FOR REGULAR THEORIES (Q5207556) (← links)
- Ordering groups constructively (Q5238136) (← links)
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)
- Saturation of finitely-generated submodules of free modules over Prüfer domains (Q5872904) (← links)
