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
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
0.7555037140846252
0 references
0.7498184442520142
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