The unsolvability of the Gödel class with identity (1984)

by W Goldfarb
Venue:Journal of Symbolic Logic