First order theory of cyclically ordered groups

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

zbMATH Keywords

first-order theoryorderableuniversal theorycyclically ordered groups

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Ordered groups (06F15) Ordered groups (group-theoretic aspects) (20F60) Model theory of ordered structures; o-minimality (03C64)

Related Items (8)

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: First order theory of cyclically ordered groups