Property: stably finite

Definition: Every matrix ring of $R$ is Dedekind finite