Switch to: Citations

Add references

You must login to add references.
  1. Every real closed field has an integer part.M. H. Mourgues & J. P. Ressayre - 1993 - Journal of Symbolic Logic 58 (2):641-647.
    Let us call an integer part of an ordered field any subring such that every element of the field lies at distance less than 1 from a unique element of the ring. We show that every real closed field has an integer part.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • The Elementary Theory of Restricted Analytic Fields with Exponentiation.Lou van den Dries, Angus Macintyre & David Marker - 2000 - Bulletin of Symbolic Logic 6 (2):213-216.
    Download  
     
    Export citation  
     
    Bookmark   8 citations