[FOM] branching quantifiers
T.Forster at dpmms.cam.ac.uk
Fri Apr 9 09:15:30 EDT 2004
I have two questions about them.
(i) Does anybody know any useful facts relating expressive power
of quantifiers with branching quantifiers to the *width* of the
(ii) Logic with branching quantifiers is equivalent in expressive
to a logic allowing single higher-order existential quantifiers. As
far as i can see, this exploits the presence of `=' in an essential
way. Am i right? Does anyone know anything about the expressive
power of the branching-quantifier logic *without* equality?
More information about the FOM