Affinization and quantifier-elimination

Seyed-Mohammad Bagheri

Published: 2025/9/9

Quantifier-elimination or model-completeness of the affine part of some classical first order theories are proved.