Constructive completions of ordered sets, groups and fields
โ Scribed by Erik Palmgren
- Publisher
- Elsevier Science
- Year
- 2005
- Tongue
- English
- Weight
- 236 KB
- Volume
- 135
- Category
- Article
- ISSN
- 0168-0072
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
## Abstract We prove that every convexly ordered valuation ring has a unique completion as a uniform space, which furthermore is a convexly ordered valuation ring. In addition, we give a model theoretic characterisation of complete convexly ordered valuation rings, and give a necessary and sufficie
Hy finding invariant embeddings of a partially ordered set X into the semigroups it is shown that the semigroup of order ideals of X. where the semigroup operation is set union, and the semigroup and semiring of order preserving maps from X into the positive cone D' of a partially tirdered integral