The computability, definability, and proof theory of Artinian rings
scientific article; zbMATH DE number 6988557
scientific article