Arithmetic of Dedekind cuts on ordered Abelian groups
نویسندگان
چکیده
We study Dedekind cuts on ordered Abelian groups. We introduce a monoid structure on them, and we characterise, via a suitable representation theorem, the universal part of the theory of such structures. MSC: 06F05; 06F20
منابع مشابه
Arithmetic of Dedekind cuts of ordered Abelian groups
We study Dedekind cuts on ordered Abelian groups. We introduce a monoid structure on them, and we characterise, via a suitable representation theorem, the universal part of the theory of such structures. MSC: 06F05; 06F20
متن کاملDedekind cuts of Archimedean complete ordered abelian groups
A Dedekind cut of an ordered abelian group G is a pair (X, Y) of nonempty subsets of G where Y=G−X and every member of X precedes every member of Y. A Dedekind cut (X, Y) is said to be continuous if X has a greatest member or Y has a least member, but not both; if every Dedekind cut of G is a continuous cut, G is said to be (Dedekind) continuous. The ordered abelian group R of real numbers is, ...
متن کاملCounting external sets in models of arithmetic
I report on a number of ideas and results related to counting in models of arithmetic. These include: (a) the arithmetic of the Dedekind completion of a model (adding, subtracting, multiplication and division of cuts) and differentiation of cuts; (b) the methods of counting an external bounded set and their properties; and (c) possible extensions of the theory to a satisfactory notion of ‘measu...
متن کاملElliptic Curves and Dedekind Domains
Some results are obtained on the group of rational points on elliptic curves over infinite algebraic number fields. A certain naturally defined class of Dedekind domains, elliptic Dedekind domains, are described and it is shown that every countable abelian group can be realized as the class group of an elliptic Dedekind domain. Introduction. Let E be an elliptic curve defined over a field K. Le...
متن کاملEfficient Computation with Dedekind Reals
Cauchy’s construction of reals as sequences of rational approximations is the theoretical basis for a number of implementations of exact real numbers, while Dedekind’s construction of reals as cuts has inspired fewer useful computational ideas. Nevertheless, we can see the computational content of Dedekind reals by constructing them within Abstract Stone Duality (ASD), a computationally meaning...
متن کامل