Existential second-order logic (a.k.a. \(\Sigma^{1}_1\) logic)| plato.stanford.edu
Notes to Independence Friendly Logic| plato.stanford.edu
