Abstract
Let K be a field of characteristic 0 and let Q = K(( t)) be the field of formal Laurent series with coefficients in K. Let ∗K and ∗Q be obtained from K and Q by means of a nontrivial ultrapower construction. Then the elements of ∗Q are “Laurent series” with subscripts in the corresponding nonstandard integers and coefficients in ∗K . We show that the field of ordinary Laurent series with coefficients in ∗K can be embedded in ∗Q elementarily, consistently with the natural embedding of Q in ∗Q . As an application we derive an algebraic result due originally to M. J. Greenberg.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
