Sentences with three quantifiers are decidable in set theory
Volume 102 / 1979
Fundamenta Mathematicae 102 (1979), 1-8
DOI: 10.4064/fm-102-1-1-8
