Context: I have arrived at Section $7$ of chapter $4$ of Smullyan and Fitting's Set Theory and the Continuum Problem during my ongoing self-study odyssey.
This section raises and proves Cowen's theorem but gives no historical background apart from providing the citation:
Cowen, R.H. (1971), 'Superinductive classes in class-set theory', Notre Dame Journal of Formal Logic 12(1) 62-68
Checking this out, we have Robert H. Cowen who reports as being a student of Ray Smullyan at the time he wrote it (1969).
From what I can tell, he is not the same Cowen as the eponym of the Cowen-Thomson Theorem, as that one seems to be attributed to C. Cowen.
However, he probably is the eponym of the Cowen-Engeler Lemma
Apart from other papers attributed to Robert Cowen in the same field of study, I have been unable to find any biographical details for him: birth date, birthplace, nationality (American assumed), etc.
Anyone out there able to help?