Affinization and quantifier-elimination
Seyed-Mohammad Bagheri
公開日: 2025/9/9
Abstract
Quantifier-elimination or model-completeness of the affine part of some classical first order theories are proved.
Seyed-Mohammad Bagheri
公開日: 2025/9/9
Quantifier-elimination or model-completeness of the affine part of some classical first order theories are proved.