Narrower Terms (9)

• Admissible sets
• ▶ Completeness theorem
• Definability theory (Mathematical logic)
• Finite model theory
• Forcing (Model theory)
• Model theoretic algebra
• Nonstandard mathematical analysis
• Parametric modeling
• Ultraproducts