Concerning three classes of non-Diophantine arithmetics.
2021
We present three classes of abstract prearithmetics, $\{\mathbf{A}_M\}_{M \geq 1}$, $\{\mathbf{A}_{-M,M}\}_{M \geq 1}$, and $\{\mathbf{B}_M\}_{M \geq 0}$. The first one is weakly projective with respect to the conventional nonnegative real Diophantine arithmetic $\mathbf{R_+}=(\mathbb{R}_+,+,\times,\leq_{\mathbb{R}_+})$, while the other two are weakly projective with respect to the conventional real Diophantine arithmetic $\mathbf{R}=(\mathbb{R},+,\times,\leq_{\mathbb{R}})$. In addition, we have that every $\mathbf{A}_M$ and every $\mathbf{B}_M$ are a complete totally ordered semiring, while every $\mathbf{A}_{-M,M}$ is not. We show that the weak projection of any series in $\mathbf{R_+}$ converges in $\mathbf{A}_M$, for any $M \geq 1$, and that the weak projection of any non-oscillating series in $\mathbf{R}$ converges in $\mathbf{A}_{-M,M}$, for any $M \geq 1$, and in $\mathbf{B}_M$, for all $M \in \mathbb{R}_+$. We also prove that working in $\mathbf{A}_M$ and in $\mathbf{A}_{-M,M}$, for any $M \geq 1$, allows to overcome a version of the paradox of the heap, while working in $\mathbf{B}_M$ does not.
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
8
References
0
Citations
NaN
KQI