Affinization and quantifier-elimination
Published: Sep 9, 2025
Last Updated: Sep 9, 2025
Authors:Seyed-Mohammad Bagheri
Abstract
Quantifier-elimination or model-completeness of the affine part of some classical first order theories are proved.
Loading...