Three-quantifier sentences
Harvey M. Friedman · Fundamenta Mathematicae · 2003
We give a complete proof that all $3$-quantifier sentences in the primitive notation of set theory ($\in ,=$), are decided in ZFC, and in fact in a weak fragment of ZF without the power set axiom. We obtain information concerning witnesses of $2$-quantifi