Fixed-point extensions of first-order logic

Yuri Gurevich, Saharon Shelah. Fixed-point extensions of first-order logic. Annals of Pure and Applied Logic, 32:265-280, 1986. [doi]

Abstract

Abstract is missing.