Showing 2025Show all
2 papers · 1 filter
math.LO2025
Affinization and quantifier-elimination
Seyed-Mohammad Bagheri
Quantifier-elimination or model-completeness of the affine part of some classical first order theories are proved.
math.LO2025
On models of affine arithmetic
Seyed-Mohammad Bagheri
By affine arithmetic is meant the set of affine consequences of Peano arithmetic. This is a continuous theory which is studied in the framework of affine logic, a sublogic of conti…