References
- Delon , F. 1991 . Indecidabilite de la Theorie des paires immediates de corps values henseliens . Symbolic Logic ,
- Mourgues , M.H. 1993 . Applications des corps de series formelles a l'etude des corps reels clos et des corps exponentiels . These de doctorat, Paris ,
- Mourgues , M.H. and Ressayre , J.P. 1993 . Every real closed field has an integer part . Symbolic Logic ,
- Neumann , B.H. 1949 . On ordered division rings . Trans.A.M.S , 66
- Prestel , A. 1984 . Lectures on formally real fields . Springer LNM n° 1093 , 66
- Ribenboim , P. 1968 . Theorie des valuations . Les presses de l'universite de montreal, 2e , 66
- Trillat , B. 1991 . Series sur k((x)τ . Memoire de DEA, notes dactylographies , 66
- van den Dries , L. 1992 . Embedding valued fields as truncation closed subfields of power . Preprint , 66