First order theory of cyclically ordered groups

, &
Annals of Pure and Applied Logic 169 (9):896-927 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2018.04.007

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

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

Leloup, G., Rings of monoids elementarily equivalent to polynomial rings Miller, C., Expansions of the real field with power functions Ozawa, M., Forcing in nonstandard analysis Rathjen, M., Proof theory of reflection. [REVIEW]L. D. Beklemishev, O. V. Belegradek, K. J. Davey & J. L. Krivine - 1994 - Annals of Pure and Applied Logic 68:343.
Recursion theory and ordered groups.R. G. Downey & Stuart A. Kurtz - 1986 - Annals of Pure and Applied Logic 32:137-151.
Proof theory for lattice-ordered groups.Nikolaos Galatos & George Metcalfe - 2016 - Annals of Pure and Applied Logic 167 (8):707-724.
The Lascar groups and the first homology groups in model theory.Jan Dobrowolski, Byunghan Kim & Junguk Lee - 2017 - Annals of Pure and Applied Logic 168 (12):2129-2151.
Erratum to “Free abelian lattice-ordered groups” [Ann. Pure Appl. Logic 134 (2–3) (2005) 265–283].A. M. W. Glass, Angus Macintyre & Françoise Point - 2016 - Annals of Pure and Applied Logic 167 (4):431-433.
Model-completions for Abelian lattice-ordered groups with finitely many disjoint elements.Philip Scowcroft - 2019 - Annals of Pure and Applied Logic 170 (6):673-698.
Free abelian lattice-ordered groups.A. M. W. Glass, Angus Macintyre & Françoise Point - 2005 - Annals of Pure and Applied Logic 134 (2-3):265-283.
First-order theories of subgroups of divisible Hahn products.F. Lucas - 2003 - Annals of Pure and Applied Logic 121 (2-3):261-279.
Arithmetic of Dedekind cuts of ordered Abelian groups.Antongiulio Fornasiero & Marcello Mamino - 2008 - Annals of Pure and Applied Logic 156 (2):210-244.
Corrigendum to “Model-completions for Abelian lattice-ordered groups with finitely many disjoint elements” [Ann. Pure Appl. Logic 170 (2019) 673–698]. [REVIEW]Philip Scowcroft - 2019 - Annals of Pure and Applied Logic 170 (11):102720.

Analytics

Added to PP
2018-04-28

Downloads
19 (#824,913)

6 months
7 (#491,733)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Expansions of the group of integers by Beatty sequences.Ayhan Günaydın & Melissa Özsahakyan - 2022 - Annals of Pure and Applied Logic 173 (3):103062.

Add more citations

References found in this work

Existential equivalence of ordered abelian groups with parameters.V. Weispfenning - 1990 - Archive for Mathematical Logic 29 (4):237-248.

Add more references