Dedekind cuts of Archimedean complete ordered abelian groups
If \(G\) is a linearly ordered abelian group, then the breadth of a Dedekind cut \((X,Y)\) of \(G\), written \(B(X,Y)\), is here defined as the largest convex subgroup \(G'\) of \(G\) for which \(x+| g'| \in X\) for all \(x\in X\) and all \(g'\in G'\). A Dedekind cut \((X,Y)\) of \(G\) is called \(B(X,Y)\)-continuous if \((X+B(X,Y),Y+B(X,Y))\) is a continuous cut in the linearly ordered factor group \(G/B(X,Y)\). The author proves that \(G\) is Archimedean complete if and only if every Dedekind cut \((X,Y)\) of \(G\) is \(B(X,Y)\)-continuous. Further he establishes a constructive proof that Dedekind cuts of Hahn groups are \(B(X,Y)\)-continuous.
- Towards computable analysis on the generalised real line
- A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs
- A candidate for the generalised real line
- On cut completions of abelian lattice ordered groups
- scientific article; zbMATH DE number 1223459 (Why is no real title available?)
- Selected methods for the classification of cuts, and their applications
- The absolute arithmetic continuum and the unification of all numbers great and small
- The rise of non-Archimedean mathematics and the roots of a misconception. I: The emergence of non-Archimedean systems of magnitudes
- Mixed-integer cuts from cyclic groups
- Arithmetic of Dedekind cuts of ordered abelian groups
This page was built for publication: Dedekind cuts of Archimedean complete ordered abelian groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1272102)
