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]

Authors

Eugenio G. Omodeo

This author has not been identified. Look up 'Eugenio G. Omodeo' in Google

Alberto Policriti

This author has not been identified. Look up 'Alberto Policriti' in Google