Affinization and quantifier-elimination
arXiv:2509.07398
Abstract
Quantifier-elimination or model-completeness of the affine part of some classical first order theories are proved.
arXiv:2509.07398
Quantifier-elimination or model-completeness of the affine part of some classical first order theories are proved.