October 14
Chris Conidis,
CUNY
The computability of Artin-Rees and Krull Intersection
We will explore the computational content of two related algebraic theorems, namely the Artin-Rees Lemma and Krull Intersection Theorem. In particular we will show that, while the strengths of these theorems coincide for individual rings, they become distinct in the uniform context.