The Unsolvability of the Godel Class with Identity

Warren D. Goldfarb. The Unsolvability of the Godel Class with Identity. Journal of Symbolic Logic, 49(4):1237-1252, 1984.

Abstract

Abstract is missing.