Linear orders in Presburger arithmetic

Clicks: 2
ID: 320978
2026
Free PDF
Article Quality & Performance Metrics
Overall Quality
Not rated
Combines reader engagement with the AI quality analysis. This article has not been analysed, so there is no overall score — reader engagement is measured and shown alongside.
AI Quality Assessment
Not analyzed
Readership in this journal

Ranked #1 of 5 articles by views in Logic Journal of IGPL

Most read Least read

Bar heights use a square-root scale.

Mint this article as an NFT
Not yet minted

Create a permanent, verifiable on-chain record of this article on the Scimatic Network. The NFT is held in your Journament account, and you can withdraw it to your own wallet at any time.

5 SUSD one-off · no wallet required
Sign in to mint
Abstract
Abstract We prove the linear orders first-order definable in the standard model $(\mathbb{Z};<,+)$ of Presburger arithmetic are exactly those that are $(\mathbb{Z};<,+)$-definably embeddable into the lexicographic ordering on $\mathbb{Z}^{n}$ for some $n$.
Reference Key
openalex_W4297163928 Use this key to autocite in the manuscript while using SciMatic Manuscript Manager or Thesis Manager
Authors Fedor Pakhomov, Alexander Zapryagaev
Journal Logic Journal of IGPL
Year 2026
DOI
10.1093/jigpal/jzag045
URL
https://doi.org/10.1093/jigpal/jzag045
Keywords Keywords not found

Citations

No citations found. To add a citation, contact the admin at info@scimatic.org

Comments

No comments yet. Be the first to comment on this article.