Because traditional ring theory places restrictive hypotheses on all submodules of a module, its results apply only to small classes of already well understood examples. Often, modules with infinite Goldie dimension have finite-type dimension, making them amenable to use with type dimension, but not Goldie dimension. By working with natural classes
