Title: Strength of nonstandard analysis
Subjects: Model theory