Michele Caprio · msp.org

Recent Issues

Volume 19
Issue 3, 361–540
Issue 2, 181–359
Issue 1, 1–179

Volume 18, 5 issues

Volume 17, 5 issues

Volume 16, 5 issues

Volume 15, 5 issues

Volume 14, 5 issues

Volume 13, 5 issues

Volume 12, 8 issues

Volume 11, 5 issues

Volume 10, 5 issues

Volume 9, 5 issues

Volume 8, 5 issues

Volume 7, 6 issues

Volume 6, 4 issues

Volume 5, 4 issues

Volume 4, 4 issues

Volume 3, 4 issues

Volume 2, 5 issues

Volume 1, 2 issues

Abstract

We present three classes of abstract prearithmetics, , , and . The first is weakly projective with respect to the nonnegative real Diophantine arithmetic , the second is weakly projective with respect to the real Diophantine arithmetic , while the third is exactly projective with respect to the extended real Diophantine arithmetic . In addition, we have that every and every  is a complete totally ordered semiring, while every is not. We show that the projection of any series of elements of converges in , for any , and that the projection of any nonindeterminate series of elements of converges in , for any , and in , for all . We also prove that working in and in , for any , and in , for all , allows us to overcome a version of the paradox of the heap.

Keywords

non-Diophantine arithmetics, convergence of series, paradox of the heap

Mathematical Subject Classification

Primary: 03H15

Secondary: 03C62

Milestones

Received: 6 January 2021

Revised: 27 October 2021

Accepted: 11 March 2022

Published: 3 March 2023

Communicated by Kenneth S. Berenhaut

Authors
Department of Statistical Science
Duke University
Durham, NC
United States
Andrea Aveni
Department of Statistical Science
Duke University
Durham, NC
United States
Sayan Mukherjee
Department of Statistical Science
Duke University
Durham, NC
United States

Read the original on msp.org ↗