The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability

Eugenio G. Omodeo, Alberto Policriti. The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability. Journal of Symbolic Logic, 75(2):459-480, 2010. [doi]

Abstract

Abstract is missing.