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]
@article{OmodeoP10,
title = {The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability},
author = {Eugenio G. Omodeo and Alberto Policriti},
year = {2010},
url = {http://projecteuclid.org/euclid.jsl/1268917490},
researchr = {https://researchr.org/publication/OmodeoP10},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {75},
number = {2},
pages = {459-480},
}