Pages that link to "Item:Q5946086"
From MaRDI portal
The following pages link to Dynamical method in algebra: Effective Nullstellensätze (Q5946086):
Displayed 11 items.
- 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)
- Constructive rereading of Artin-Schreier theory (Q1382184) (← links)
- About Stone's notion of spectrum (Q1772250) (← 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)
- Forcing in Proof Theory (Q4678943) (← links)
- Hidden constructions in abstract algebra. I: Integral dependance. (Q5957771) (← links)