First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

The representation of quantification over relations in monadic third-order logic is discussed; it is shown to be possible in numerous special cases of foundational interest, but not in general unless something akin to the Axiom of Choice is assumed.