ACF algebraically-closed fields: ℵ_α-categorical for α>0; quantifier-elimination → Chevalley constructible-sets. RCF real-closed: Tarski quantifier-elimination → Sturm-decision algorithm. Pseudo-finite-fields (Ax 1968).
ACF algebraically-closed fields: ℵ_α-categorical for α>0; quantifier-elimination → Chevalley constructible-sets. RCF real-closed: Tarski quantifier-elimination → Sturm-decision algorithm. Pseudo-finite-fields (Ax 1968).