Arithmetic of Dedekind cuts of ordered Abelian groups

Annals of Pure and Applied Logic 156 (2):210-244 (2008)

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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2008.05.001
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,049
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

On Completing Ordered Fields.Dana Scott - 1969 - In W. A. J. Luxemburg (ed.), Applications of Model Theory to Algebra, Analysis, and Probability. New York: Holt, Rinehart and Winston. pp. 274--278.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Existential Equivalence of Ordered Abelian Groups with Parameters.V. Weispfenning - 1990 - Archive for Mathematical Logic 29 (4):237-248.
The Complexity of Bounded Quantifiers in Some Ordered Abelian Groups.Philip Scowcroft - 2007 - Notre Dame Journal of Formal Logic 48 (4):521-550.
Abelian Groups and Quadratic Residues in Weak Arithmetic.Emil Jeřábek - 2010 - Mathematical Logic Quarterly 56 (3):262-278.
Some Model Theory for Almost Real Closed Fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
The Model Theory of Finitely Generated Finite-by-Abelian Groups.Francis Oger - 1984 - Journal of Symbolic Logic 49 (4):1115-1124.
On Dp-Minimal Ordered Structures.Pierre Simon - 2011 - Journal of Symbolic Logic 76 (2):448 - 460.
On Pairs of Free Modules Over a Dedekind Domain.Saverio Cittadini & Carlo Toffalori - 2006 - Archive for Mathematical Logic 45 (1):75-95.
Expanded Theory of Ordered Abelian Groups.Yuri Gurevich - 1977 - Annals of Mathematical Logic 12 (2):193-228.
The Order Indiscernibles of Divisible Ordered Abelian Groups.David Rosenthal - 1984 - Journal of Symbolic Logic 49 (1):151-160.


Added to PP index

Total views
5 ( #1,008,558 of 2,260,175 )

Recent downloads (6 months)
2 ( #656,535 of 2,260,175 )

How can I increase my downloads?


My notes

Sign in to use this feature