T. G. Kucera Philipp Rothmaler Pure-Projective Modules and Positive Constructibility. 103-110 2000 65 J. Symb. Log. 1 db/journals/jsyml/jsyml65.html#KuceraR00