  We show that all maximal Hardy fields are elementarily equivalent as
differential fields, and give various applications of this result and its
proof. We also answer some questions on Hardy fields posed by Boshernitzan.
