[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
(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/
More information about the FOM
mailing list