Minimal predicates, fixed-points, and definability’, (2005)

by J van Benthem
Venue:J. Symbolic Logic,