We apply set-theoretic methods to study projective modules and their generalizations over transfinite extensions of simple artinian rings R. We prove that if R is small, then the Weak Diamond implies that projectivity of an arbitrary module can be tested at the layer epimorphisms of R.(c) 2022 Elsevier Inc.
All rights reserved.