"Fixed-point extensions of first-order logic." Annals of Pure and Applied Logic 32 (1986): 265-280.