Sentences with three quantifiers are decidable in set theory Daniel Gogol — 1979 Fundamenta Mathematicae