First order theory of cyclically ordered groups
From MaRDI portal
Publication:2636535
DOI10.1016/j.apal.2018.04.007zbMath1469.03104arXiv1311.0499OpenAlexW2963021348MaRDI QIDQ2636535
François Lucas, Gerard Leloup, Michèle Giraudet
Publication date: 5 June 2018
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1311.0499
Model-theoretic algebra (03C60) Ordered groups (06F15) Ordered groups (group-theoretic aspects) (20F60) Model theory of ordered structures; o-minimality (03C64)
Related Items
Truncations of ordered abelian groups, The logic of fractional parts of real numbers, Fractional parts of dense additive subgroups of real numbers, MV-algebras and partially cyclically ordered groups, CONSTRUCTION OF SOME SYMMETRIZED OMEGA ALGEBRAS, SYSTEMS OF ω-LINEAR BALANCES OVER SYMMETRIZED OMEGA ALGEBRA, Pseudo‐c‐archimedean and pseudo‐finite cyclically ordered groups, Expansions of the group of integers by Beatty sequences
Cites Work
- Existential equivalence of ordered abelian groups with parameters
- Model theory
- The first order properties of products of algebraic systems
- Representations of cyclically ordered groups
- On cyclically ordered groups
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
