On models of affine arithmetic
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866908661160345600 |
|---|---|
| author | Bagheri, Seyed-Mohammad |
| author_facet | Bagheri, Seyed-Mohammad |
| contents | By affine arithmetic is meant the set of affine consequences of Peano arithmetic. This is a continuous theory which is studied in the framework of affine logic, a sublogic of continuous logic. Affine arithmetic is undecidable. Also, its models are generally lattice ordered and carry a nontrivial metric. Classical models are then characterized as those which are linearly ordered. In this paper, the affine variants of several classical results in Peano arithmetic are proved. In particular, an affine form of Gaifman's splitting theorem is proved. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_18266 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | On models of affine arithmetic Bagheri, Seyed-Mohammad Logic 03C62, 03C66, 03H15 By affine arithmetic is meant the set of affine consequences of Peano arithmetic. This is a continuous theory which is studied in the framework of affine logic, a sublogic of continuous logic. Affine arithmetic is undecidable. Also, its models are generally lattice ordered and carry a nontrivial metric. Classical models are then characterized as those which are linearly ordered. In this paper, the affine variants of several classical results in Peano arithmetic are proved. In particular, an affine form of Gaifman's splitting theorem is proved. |
| title | On models of affine arithmetic |
| topic | Logic 03C62, 03C66, 03H15 |
| url | https://arxiv.org/abs/2508.18266 |