Noetherianity is a fundamental property of modules, rings, and
topological spaces that underlies much of commutative algebra and
algebraic geometry. This talk concerns algebraic structures such as
the infinite-dimensional polynomial ring K[x_1,x_2...