-
The Temporal Continuum
Authors:
Mohammad Ardeshir,
Rasoul Ramezanian
Abstract:
The continuum has been one of the most controversial topics in mathematics since the time of the Greeks. Some mathematicians, such as Euclid and Cantor, held the position that a line is composed of points, while others, like Aristotle, Weyl and Brouwer, argued that a line is not composed of points but rather a matrix of a continued insertion of points. In spite of this disagreement on the structur…
▽ More
The continuum has been one of the most controversial topics in mathematics since the time of the Greeks. Some mathematicians, such as Euclid and Cantor, held the position that a line is composed of points, while others, like Aristotle, Weyl and Brouwer, argued that a line is not composed of points but rather a matrix of a continued insertion of points. In spite of this disagreement on the structure of the continuum, they did distinguish the temporal line from the spatial line. In this paper, we argue that there is indeed a difference between the intuition of the spatial continuum and the intuition of the temporal continuum. The main primary aspect of the temporal continuum, in contrast with the spatial continuum, is the notion of orientation.
The continuum has usually been mathematically modeled by Cauchy sequences and the Dedekind cuts. While in the first model, each point can be approximated by rational numbers, in the second one, that is not possible constructively. We argue that points on the temporal continuum cannot be approximated by rationals as a temporal point is a flow that sinks to the past. In our model, the continuum is a collection of constructive Dedekind cuts, and we define two topologies for temporal continuum: 1. oriented topology and 2. the ordinary topology. We prove that every total function from the oriented topological space to the ordinary one is continuous.
△ Less
Submitted 16 August, 2023;
originally announced August 2023.
-
The provably total recursive functions and the MRDP theorem in Basic Arithmetic and its extensions
Authors:
Mohammad Ardeshir,
Erfan Khaniki,
Mohsen Shahriari
Abstract:
We study Basic Arithmetic, BA introduced by W. Ruitenburg. BA is an arithmetical theory based on basic logic which is weaker than intuitionistic logic. We show that the class of the provably total recursive functions of BA is a proper sub-class of the primitive recursive functions. Three extensions of BA, called BA+U, BA_c and EBA are investigated with relation to their provably total recursive fu…
▽ More
We study Basic Arithmetic, BA introduced by W. Ruitenburg. BA is an arithmetical theory based on basic logic which is weaker than intuitionistic logic. We show that the class of the provably total recursive functions of BA is a proper sub-class of the primitive recursive functions. Three extensions of BA, called BA+U, BA_c and EBA are investigated with relation to their provably total recursive functions. It is shown that the provably total recursive functions of these three extensions of BA are exactly the primitive recursive functions. Moreover, among other things, it is shown that the well-known MRDP theorem does not hold in BA, BA+U, BA_c, but holds in EBA.
△ Less
Submitted 5 July, 2022; v1 submitted 3 March, 2020;
originally announced March 2020.
-
The $Σ_1$-Provability Logic of HA*
Authors:
Mohammad Ardeshir,
Mojtaba Mojtahedi
Abstract:
For the Heyting Arithmetic HA, HA* is defined as the theory $\{A\mid {\sf HA}\vdash A^{\Box}\}$, where $A^{\Box}$ is called the box translation of $A$. We characterize the $Σ_1$-provability logic of HA* as a modal theory ${\sf iH}_σ^*$.
For the Heyting Arithmetic HA, HA* is defined as the theory $\{A\mid {\sf HA}\vdash A^{\Box}\}$, where $A^{\Box}$ is called the box translation of $A$. We characterize the $Σ_1$-provability logic of HA* as a modal theory ${\sf iH}_σ^*$.
△ Less
Submitted 27 August, 2018; v1 submitted 12 May, 2018;
originally announced May 2018.
-
The $Σ$_1 Provability Logic of HA
Authors:
Mohammad Ardeshir,
S. Mojtaba Mojtahedi
Abstract:
In this paper we introduce a modal theory $H_σ$, which is sound and complete for arithmetical $Σ$_1 substitutions in ${\bf HA}$, in other words, we will show that $H_σ$ is the $Σ$_1-provability logic of ${\bf HA}$. Moreover we will show that $H_σ$ is decidable. As a by-product of these results, we show that ${\bf HA} + \Box\bot$ has de Jongh property.
In this paper we introduce a modal theory $H_σ$, which is sound and complete for arithmetical $Σ$_1 substitutions in ${\bf HA}$, in other words, we will show that $H_σ$ is the $Σ$_1-provability logic of ${\bf HA}$. Moreover we will show that $H_σ$ is decidable. As a by-product of these results, we show that ${\bf HA} + \Box\bot$ has de Jongh property.
△ Less
Submitted 2 November, 2017; v1 submitted 19 September, 2014;
originally announced September 2014.
