I want to Resolve
a multivariate inequality but assign different quantifiers to different variables.
Example:
Resolve[Exists[{x}, x^2 + y^2 < 1]]
Now I want to add ForAll
quantifier to y. Is there any other way than the following to achieve this because the following would be mess if the number of variables are increased?
Resolve[Exists[{x}, x^2 + y^2 < 1] && ForAll[y, x^2 + y^2 < 1]]