Relatively complete ordered fields without integer parts (Q4811295)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 2092527
Language Label Description Also known as
default for all languages
No label defined
    English
    Relatively complete ordered fields without integer parts
    scientific article; zbMATH DE number 2092527

      Statements

      Relatively complete ordered fields without integer parts (English)
      0 references
      0 references
      0 references
      19 August 2004
      0 references
      ordered fields
      0 references
      Scott complete
      0 references
      monotone complete
      0 references
      generalized power series
      0 references
      integer part
      0 references
      First some basic definitions used in this paper. Let \(F\) be an ordered field. \(F\) is called Scott complete, if it does not have proper extensions to an ordered field in which it is dense. \(F\) is called monotone complete, if there are no bounded strictly increasing divergent functions on \(F\). A discrete subring \(R\) of an ordered ring \(R\) with 1 is called integer part of \(R\), if for any \(r\in R\) there is \(r'\in R'\) such that \(|r- r'|< 1\). It is known that there exist ordered fields that do not have any integer parts, but that every real-closed field has an integer part. In this paper the authors examine Scott complete and monotone complete fields under that aspect. In the main' part they construct examples of Scott complete and monotone complete fields that do not have integer parts. As a further result they show that the Puiseux series field over an ordered field is not Scott complete.
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references