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

Eugenio G. Omodeo, Alberto Policriti. The Bernays - Schönfinkel - Ramsey class for set theory: decidability. Journal of Symbolic Logic, 77(3):896-918, 2012. [doi]

Abstract

Abstract is missing.