I am looking for some references on the theory of stably free modules. I will call (F) the following property for a ring $R$: every f.g. stably free module over $R$ is free.
1) Is there a standard name in the literature for the class of rings/commutative rings which have (F)?
2) Where can I find references for the following results:
2a) Dedekind domains have property (F);
2b) a ring $R$ has the property (F) if and only if every row $(a_1,\ldots,a_m)\in R^m$ whose entries generate $R$ can be completed to a matrix in $GL_m(R)$.
Thanks in advance for your help!