[FOM] Two Questions About Second-order Branching Quantifiers

[Richard Heck]

As said.

(1) Consider a very simple branching structure
    (EF)
	B_xy(Fx,Gy,z)
    (AG)
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
http://bobjweil.com/heck/