1. Representability in some systems of second-order arithmetic;Aczel;Israel J. Math.,1970
2. Admissible sets and structures;Barwise,1975
3. Logic with the quantifier “there exist uncountably many”;Keisler;Ann. Math. Logic,1970
4. P. Kolaitis: Recursion and nonmonotone induction in a quantifier, (to appear).
5. Elementary induction on abstract structures;Moschovakis,1974