1 problem

An extensional ESO sentence $\Phi$ defines a decision problem by asking whether the sentence holds on the input structure. Extensional ESO NP-intermediate conjecture. There is an e…