model theory tarski 's proofs decidability various algebraically interesting classes real closed fields boolean algebras algebraically closed fields given characteristic considerations around saturated models ultraproduct construction led development non standard analysis abraham robinson james ax simon b kochen showed special case artin 's conjecture diophantine equations ax kochen theorem using ultraproduct construction recently connection stability geometry definable sets led several applications algebraic diophantine geometry including
Humanities Philosophy Logic Mathematical logic Model theory