collaborators

1 paper

math.LO2026

Speedups for Presburger Arithmetic and Real Closed Fields

Fedor Pakhomov, Julien Daoud

In the present paper, we consider Presburger arithmetic PrA and the theory of real closed fields RCF. Due to quantifier elimination in these theories, there are two kinds of natura…