[FOM] Two Questions About Second-order Branching Quantifiers

Richard Heck rgheck at brown.edu
Fri Jan 26 14:49:35 EST 2007

As said.

(1) Consider a very simple branching structure
Every such formula is clearly \Delta^1_1. Is it also the case that every
\Delta^1_1 formula is equivalent to some such simple branching formula? If
not, what is the strength of a system (semantically characterized, for now)
admitting comprehension for such formulae?

(2) Does anyone know a good way to do branching quantifiers in LaTeX?

Richard Heck

Richard G Heck Jr
rgheck at brown.edu

More information about the FOM mailing list