Fixed-point extensions of first order logic (1986)

by Y Gurevich, S Shelah
Venue:Annals of Pure and Applied Logic