Model theory
Mathematics
Mathematical logic
Metalogic
Non-standard analysis
Ultraproduct
Maryanthe Malliaris
Ultrafilter
Saturated model
O-minimal theory
Type
Finite set