Arithmetization of the field of reals with exponentiation extended abstract

Cite this paper

@article{Boughattas2008ArithmetizationOT, title={Arithmetization of the field of reals with exponentiation extended abstract}, author={Sedki Boughattas and Jean-Pierre Ressayre}, journal={ITA}, year={2008}, volume={42}, pages={105-119} }