Arithmetic of Dedekind cuts of ordered Abelian groups
| dc.creator | Fornasiero, Antongiulio | |
| dc.creator | Mamino, Marcello | |
| dc.date | 2006-12-10 | |
| dc.date | 2008-12-16 | |
| dc.date.accessioned | 2026-07-07T12:12:59Z | |
| dc.date.available | 2026-07-07T12:12:59Z | |
| dc.description | 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. | |
| dc.identifier | https://arxiv.org/abs/math/0612235 | |
| dc.identifier | http://arxiv.org/abs/math/0612235 | |
| dc.identifier | Annals of Pure and Applied Logic 156 (2008) 210-244 | |
| dc.identifier | doi:10.1016/j.apal.2008.05.001 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/210724 | |
| dc.subject | Logic | |
| dc.subject | 20F60, 06F05, 06F20, 03C64 | |
| dc.title | Arithmetic of Dedekind cuts of ordered Abelian groups | |
| dc.type | text |