First-Order Logic vs. Fixed-Point Logic in Finite Set Theory.

Albert Atserias, Phokion G. Kolaitis

Browse the full LICS paper archive.