A Completeness Theorem for Unrestricted First-Order Languages (2003)

by Agustín Rayo, Timothy Williamson
Venue:Liars and Heaps: New Essays on Paradox, chapter 15, 331–356