Showing math.LOShow all
2 papers · 1 filter
math.LO2026
On the elementary theory of the real exponential field
Alessandro Berarducci, Francesco Gallinaro
Assuming Schanuel's conjecture, we prove that the complete theory of the real exponential field is axiomatized by the axioms of definably complete exponential fields sat…
math.LO2026
Projective curves and weak second-order logic
Alessandro Berarducci, Francesco Gallinaro
Given an algebraically closed field of characteristic zero, we study the incidence relation between points and irreducible projective curves, or more precisely the poset of irr…