Linear orders in Presburger arithmetic

Logic Journal of IGPL 2026 Open access

Read full text
Authors: Fedor Nikolaevich Pakhomov, Alexander Zapryagaev
DOI: 10.1093/jigpal/jzag045
Cited by: 0

Abstract

Abstract We prove the linear orders first-order definable in the standard model $(\mathbb{Z};

Fields of Study & Subjects

Computability Logic AI Algorithms Advanced Topology and Set Theory semigroups and automata theory

Publication details

Journal / source
Logic Journal of IGPL
Volume
34
Issue
4
Publication date
13 July 2026
Language
EN