Arithmetic of Dedekind cuts of ordered Abelian groups

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

Abstract

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

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2008.05.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

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.
An elementary presentation of the equivalence between MV-algebras and l-groups with strong unit.Roberto Cignoli & Daniele Mundici - 1998 - Studia Logica 61 (1):49-64.
Boolean Skeletons of MV-algebras and ℓ-groups.Roberto Cignoli - 2011 - Studia Logica 98 (1-2):141-147.
Review: Robert I. Soare, Recursion Theory and Dedekind Cuts; Robert I. Soare, Cohesive Sets and Recursively Enumerable Dedekind Cuts. [REVIEW]Brian H. Mayoh - 1971 - Journal of Symbolic Logic 36 (1):148-148.
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.
Undecidable lt theories of topological Abelian groups.Gregory L. Cherlin & Peter H. Schmitt - 1981 - Journal of Symbolic Logic 46 (4):761 - 772.
The logic of equilibrium and abelian lattice ordered groups.Adriana Galli, Renato A. Lewin & Marta Sagastume - 2004 - Archive for Mathematical Logic 43 (2):141-158.
On pairs of free modules over a Dedekind domain.Saverio Cittadini & Carlo Toffalori - 2006 - Archive for Mathematical Logic 45 (1):75-95.
Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties.Francesco Paoli, Matthew Spinks & Robert Veroff - 2008 - Logica Universalis 2 (2):209-233.
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.

Analytics

Added to PP
2013-12-26

Downloads
11 (#1,105,752)

6 months
6 (#522,885)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

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