This document is unfortunately not available for download at the moment.
Geoffrey Hellman, Roy T. Cook (2018) Hilary Putnam on logic and mathematics, Dordrecht, Springer.
Putnam's constructivization argument
Akihiro Kanamori
pp. 235-247
Not implemented yet !