Affinization and quantifier-elimination
Logic
2025-09-10 v1
Abstract
Quantifier-elimination or model-completeness of the affine part of some classical first order theories are proved.
Cite
@article{arxiv.2509.07398,
title = {Affinization and quantifier-elimination},
author = {Seyed-Mohammad Bagheri},
journal= {arXiv preprint arXiv:2509.07398},
year = {2025}
}