Arithmetic of Dedekind cuts of ordered abelian groups

DOI10.1016/J.APAL.2008.05.001zbMATH Open1163.06005arXivmath/0612235OpenAlexW2041915828MaRDI QIDQ998307FDOQ998307

Authors: A. Fornasiero, Marcello Mamino 

Publication date: 28 January 2009

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Abstract: We study the set of Dedekind cuts over a linearly ordered Abelian group as a structure over the language (0,<,+,-). Moreover, we obtain a simple set of axioms for the universal part of the theory of such structures. Finally, we prove that every structure satisfying the given axioms is a sub-structure of the set of cuts over a suitable group.

Full work available at URL: https://arxiv.org/abs/math/0612235

Recommendations

• Dedekind cuts of Archimedean complete ordered abelian groups
• Cuts and small extensions of abelian ordered groups
• On cut completions of abelian lattice ordered groups
• An analog of the fundamental theorem of arithmetic in ordered groupoids
• Truncations of ordered abelian groups
• Abelian groups and representations of finite partially ordered sets
• scientific article; zbMATH DE number 4105235
• Arithmetic hierarchy of Abelian groups
• The computable dimension of ordered abelian groups
• scientific article; zbMATH DE number 617980

zbMATH Keywords

decidabilityaxiomatizabilityvaluation theoryDedekind cutordered abelian groupdomdouble ordered monoid

Mathematics Subject Classification ID

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Model theory of ordered structures; o-minimality (03C64) Ordered semigroups and monoids (06F05) Models of arithmetic and set theory (03C62)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Topology of Ordered Abelian Groups
• Model completeness of o-minimal structures expanded by Dedekind cuts
• Remarks on the Dedekind completion of a nonstandard model of the reals
• Monoids of intervals of ordered abelian groups
• Undecidability of the Theory of Abelian Groups with a Subgroup
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (6)

• Selected methods for the classification of cuts, and their applications
• Truncations of ordered abelian groups
• A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs
• Towers of complements to valuation rings and truncation closed embeddings of valued fields
• Cuts and small extensions of abelian ordered groups
• Mixed-integer cuts from cyclic groups

This page was built for publication: Arithmetic of Dedekind cuts of ordered abelian groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q998307)