1 Introduction

Whenever the motion of a particle is described in classical, special relativistic or general relativistic space and time it is always implicitly assumed that the particle moves from an initial event to a final event through a sequence of consecutive intermediate events. In other words, it is presumed that every element of the path has an unique successor. But even though this is a fundamental concept, it is never disclosed. It is neither named in Newton’s laws of motion or his law of gravitation nor mentioned in the basic principles of Special or General Relativity. Consequently, it is never expressed in mathematical terms.

Also without further ado these theories make constitutively use of the real number line by employing it as (local) coordinate axes or coordinate axes and parameter line for their respective manifolds which represent space and time.

Unfortunately these very two unnamed axioms are contradictory to each other. This becomes apparent most clearly in terms of ordered sets. An ordered set (AR) is a set A together with a binary order relation R that is itself a subset of the set of all ordered pairs \(A\times A\) of A; see [1, p 10, p 17], [2, p 64, p 80].

A densely ordered set is an ordered set in which between any two elements of the set exists another element of the set; see [2, p 205]. Well known examples for this are the rational numbers or the real numbers together with the natural order of numbers; see [2, p 213]. By employing the real number line as coordinate axes this is transferred into the resulting \({\mathbb {R}}^n\). The open balls as the base of the Euclidean topology are a reflection of this. For any radius \(r>0\) exists a non-empty open ball around any \(x\in {\mathbb {R}}^n\). Since Riemannian manifolds are locally homeomorphic to a suitable \({\mathbb {R}}^n\) the dense order of \({\mathbb {R}}\) is not only a characteristic of Newtonian and Special relativistic spacetime but also of the description of space and time in General Relativity.Footnote 1

Another type of ordered sets are well-ordered set in which every non-empty subset has a least element; see [2, p 224]. Therefore every element of a well-ordered set has as its definite successor the least element of the subset of all elements larger than itself. This evidently provides appropriate means to mathematically represent the idea of events in spacetime uniquely succeeding one another. The defining example for well-ordered sets are ordinal numbers. Among these the natural numbers together with the natural order of numbers are the best known instance. But they are by far not the only members of this class of numbers. In fact, they just open the gates into this transfinite realm.

Densely ordered sets and well-ordered sets are obviously irreconcilable. A familiar example for this incongruity is the countability of \({\mathbb {Q}}\): bijections form \({\mathbb {Q}}\) to \({\mathbb {N}}\) are known to exist but none of them preserve the order of \({\mathbb {Q}}\).

Since each of the two unnamed axioms of spacetime respectively incorporates one of these types of ordered sets they cannot be assumed in combination.

As it is shown in [4] or [5, chapter 1.6] the concept of ordered sets is already a part of the definition of Minkowski space. However, with regard to the question if Minkowski space should be a densely ordered set or a well-ordered set nothing is specified. In Sect. 2 it is explicated that settling this unanswered question in favour of well-ordered sets causes spacetime to be discontinuous. More specifically, well-ordered Minkowski spacetime proves to consist of representations of ordinal numbers. For the sake of completeness the alternative of a densely ordered spacetime is stated as well with the tacit understanding that this choice is equivalent to renouncing the conception of a particle moving along a sequence of consecutive events. All this is achieved without recourse to the notion of quantum gravity. Thus, already a reformulation of electrodynamics over a well-ordered spacetime which produces the existing (large amount of) experimental results can verify that time and space are discontinuous. But more importantly this will provide a link between the fundamental principle of events uniquely succeeding one another and experimental data.

As a first step towards a rephrasing of electrodynamics (or the theory of any other force) an approach to well-ordered spacetime is presented in Sect. 3 which is different and more general than that of Sect. 2: for the reason of being a field which naturally incorporates ordinal numbers (and other infinite elements) besides real numbers Conway’s class of surreal numbers \(\text {No}\) prove to be an appropriate mathematical ground for investigating well-ordered spacetimes. Especially a concise way of navigating discontinuous spacetimes by virtue of pairs of infinite elements and their additionally included multiplicative inverse elements is described. Furthermore they allow for a consistent way of handling spacetimes based on representations of ordinal numbers that contain limit ordinals. The latter leads to the definition of virtual events. This is followed by opposing the exponential map of Riemannian geometry to the idea of visiting all elements of a geodesic in their natural order by consecutively transiting to a distinct next neighbour in Sect. 4. Section 5 exhibits in terms of cardinality how much unnecessary information is introduced into path integration when a densely ordered spacetime is used instead of a well-ordered spacetime. Finally, Sect. 6 takes a look on the quantisation of the area operator of Loop Quantum Gravity from the angle of well-ordered sets and arrives at the result that LQG (unwittingly) uses the lines of argumentation presented in the preceding sections. The reconstruction of \({\mathbb {R}}^4_1\) from a \({\mathbb {R}}^4\) by means of ordered sets in Appendix A is not fully part of the main line of reasoning of this article. But it is nevertheless worth noting because it describes how the need to keep the disjoint ordered and unordered subsets of a partial causal order apart during linear transformations leads to c.

2 Causality and order types

As mentioned in the introduction, the mathematical representation of the idea of “a distinct next neighbour” is the concept of well-order. In a well-ordered set \((A,<^{\text {ord(A)}})\) every subset has a least element. Thereby, every element \(\alpha \) of a well-ordered set A has as its unique successor \(\alpha +1\) the least element of the subset of all elements of \((A,<^{\text {ord(A)}})\) larger than itself.

In contrast to this, between any two elements ac of a densely ordered set \((A,<^{\text {den}})\) always exists a third element b of \((A,<^{\text {den}})\). Thus, a subset of \((A,<^{\text {den}})\) consisting of elements larger than a specific member a of \((A,<^{\text {den}})\) has no least element. The strict mathematical formulation of the conception of infinitesimal vicinity is based on this. Consequently, there are no definite next neighbours in an infinitesimal vicinity, or more succinctly, the expression “infinitesimal next neighbour” contains a contradiction.

How dissolving this contradiction by choosing either a well-ordered or a densely ordered set shapes spacetime may be seen from the world line of a particle in Minkowski space

$$\begin{aligned} x=x^0e_0+x^1e_1+x^2e_2+x^3e_3\in M . \end{aligned}$$
(1)

Of the pair of conditions for two events \(x,y\in M\) being chronologically ordered \(x\ll y\)

$$\begin{aligned}&x^0<y^0, \end{aligned}$$
(2)
$$\begin{aligned}&{\mathscr {Q}}(c;y-x) =-c^2(y^0-x^0)^2+({\mathbf {y}}-{\mathbf {x}})^2<0, \end{aligned}$$
(3)

the second one determines if the two events are part of an admissible world line, whereas the first one establishes the sequence of events; see [4] or [5, chapter 1.6]. Therefore, matters of order of events can be discussed in the rest frame of a particle without loss of generality. For a detailed discussion of the implementation of the order given by (2) and (3) into \({\mathbb {R}}^4\) see Appendix A. Of course, all inequalities and equalities in (1)–(3) are to be understood in terms of the natural order of numbers and most certainly this understanding shall persist. Since this specifies the order relation \(R\subset A\times A\) in the pair (AR), the issue of choosing a well-ordered or a densely ordered set is rephrased to the question which set of numbers is well-ordered or densely ordered by the natural order <.

With regard to the natural order neither \(({\mathbb {R}},<)\) nor \(({\mathbb {Q}},<)\) is well-ordered, because both contain subsets which have no least element. Moreover, every uncountable subset of \(({\mathbb {R}},<)\) is not well-ordered. But all of these sets are densely ordered by <, and for this reason allow infinitesimal vicinities for all events.

On the other hand, every ordinal number is well-ordered and for every ordinal number \(\alpha =\{\beta \in \text {Ord}~|~\beta<\alpha <\omega _1\}\) less than the smallest uncountable ordinal number \(\omega _1\) exists an order embedding into \(({\mathbb {Q}},<)\), i.e. every countable ordinal number \(\alpha <\omega _1\) can be represented by a monotonic sequence of rational numbers; see [2, p 214, theorem 3] or [6, p 350/351]. By an equally monotonic injection this sequence is easily transferred into \(({\mathbb {R}},<)\). Due to the fact that every element of \(\alpha =\{\beta \in \text {Ord}~|~\beta<\alpha <\omega _1\}\) has a unique successor there is always a non-empty interval \(\emptyset \ne (q(\beta ),q(\beta +1))\subset {\mathbb {Q}}\) between their images which is transferred by an injection to \(\emptyset \ne (x(\beta ),x(\beta +1))\subset {\mathbb {R}}\). Therefore, the set that represents \(\alpha \) in \({\mathbb {Q}}\) or \({\mathbb {R}}\) is a discontinuous union of singletons:

$$\begin{aligned} Q(\alpha )= & {} \bigcup _{\beta<\alpha }\{q(\beta )\} \nonumber \\= & {} \{q\in {\mathbb {Q}}|q\ge q(0)\}-\bigcup _{\beta <\alpha }\left( q(\beta ),q(\beta +1)\right) \nonumber \\ \end{aligned}$$
(4)
$$\begin{aligned} \rightarrow R(\alpha )= & {} \bigcup _{\beta<\alpha }\{x(\beta )\} \nonumber \\= & {} \{x\in {\mathbb {R}}|x\ge x(0)\}-\bigcup _{\beta <\alpha }\left( x(\beta ),x(\beta +1)\right) .\nonumber \\ \end{aligned}$$
(5)

For \({\mathbb {N}}\ni \alpha <\omega \) the first sets in (4) and (5) reduce to \(\left[ q(0),q(\alpha )\right] \) and \(\left[ x(0),x(\alpha )\right] \).

In summary, if events are to have distinct successors and if this order is to be expressed by the natural order <, they have to be elements of a countable ordinal number \(\alpha <\omega _1\) to which \(({\mathbb {R}},<)\) merely serves as an embedding space. Notably, admissible events necessarily form a discontinuous subset of \(({\mathbb {R}},<)\). Quantisation is the special case of discontinuity where events are evenly timed and spaced.

By Lorentz transformations the spatial dimensions contribute to all other admissible time axes. For this reason, they must be ordered by the same order type as the time axis or otherwise the order type chosen for the \(x^0\)-coordinate differs between different frames of reference:

$$\begin{aligned} x^0\in \left( {\mathbb {R}},<\right)\Rightarrow & {} x^j\in \left( {\mathbb {R}},<\right) ~,~j=1,2,3 \end{aligned}$$
(6)
$$\begin{aligned}&\veebar&\nonumber \\ x^0\in \left( R^0(\alpha ),<\right)\Rightarrow & {} x^j\in \left( R^i(\alpha ),<\right) ~,~j=1,2,3.\nonumber \\ \end{aligned}$$
(7)

The \(R^{i}(\alpha ),i=0,1,2,3\) are different representations of \(\alpha \), which clearly exist. Though the \(R^j(\alpha ),j=1,2,3\) are well-ordered this does not say their order has to be followed strictly in every step. As long as (3) is satisfied their respective values can be associated to a \(x^0_\beta \) as freely as the \(x^j\) of \(\left( {\mathbb {R}},<\right) \) can be associated to a \(x^0\in \left( {\mathbb {R}},<\right) \). Only the \(x^0\)-coordinates are restrained to grow to larger values in their respective orders.

In case of a well-order (7), Lorentz transformations are understood to be causal automorphismen of the embedding space

$$\begin{aligned} M\supset M(\alpha )=\times _{i=0}^3(R^i(\alpha ),<), \end{aligned}$$
(8)

which also lends its quadratic form to its subspaces.

Requiring the exclusive choice between (6) xor (7) to be conserved by Lorentz transformations seems at first glance to enlarge the set of invariants of the causal automorphismen group of M. But this requirement is already a member of said set because, as has just been shown, the causality condition (2) actually states the formation of an ordered type, or respectively, an ordered set \(\left( A,R\subset A\times A\right) \). Firstly, the constraint of events being put in sequence along the \(x^0\)-axis by the standard order < determines the binary relation R:

$$\begin{aligned} R=<. \end{aligned}$$
(9)

Secondly, the choice of a set

$$\begin{aligned} A={\mathbb {R}}~\veebar ~A=R(\alpha ) \end{aligned}$$
(10)

of whose set of ordered pairs < is a subset

$$\begin{aligned}<\subset {\mathbb {R}}\times {\mathbb {R}}~\veebar ~<\subset R(\alpha )\times R(\alpha ) \end{aligned}$$
(11)

completes the assembly of an order type, or respectively, an ordered set:

$$\begin{aligned} \left( A,R\subset A\times A\right)= & {} \left( {\mathbb {R}},<\subset {\mathbb {R}}\times {\mathbb {R}}\right) \nonumber \\&\veebar&\nonumber \\ \left( A,R\subset A\times A\right)= & {} \left( R(\alpha ),<\subset R(\alpha )\times R(\alpha )\right) . \end{aligned}$$
(12)

As the contradiction in the term “infinitesimal next neighbour” reveals, physics cannot avoid to encompass the full extent of the causality condition (2). The use of a well-order the author is biased to, may be declared by replacing M by \(M(\alpha )\) in (1); cf the rhs of (8).

For a sequence of events on the cone the above argumentation is valid if it is restricted to sequences of events for which the relation \(x\lessdot y\)

$$\begin{aligned} x^0< & {} y^0 \end{aligned}$$
(13)
$$\begin{aligned} {\mathscr {Q}}(c;y-x)= & {} -c^2(y^0-x^0)^2+({\mathbf {y}}-{\mathbf {x}})^2=0 \end{aligned}$$
(14)

is transitive, i.e. for straight lines on the cone.

For more details of the prevalence of time as the carrier of causal order over the spatial dimensions as it is expressed by \(\Rightarrow \) in (6) and (7) see Appendix A.

A question that immediately arises when utilising well-ordered spacetime is how to handle an how to interpret spacetimes that are based on ordinal numbers containing limit ordinals larger than \(\omega =|{\mathbb {N}}|\). To this end \(M(\alpha )\) is not really apt. A mathematical framework that is more suitable for these purposes are the surreal numbers which are discussed in Sect. 3.

3 Surreal spacetime

An appropriate mathematical ground for investigating well-ordered spacetimes is provided by Conway’s surreal numbers \(\text {No}\) [7]. This class of numbers comprises real numbers as well as infinite and subfinite elements like \(\omega \) and \(\frac{1}{\omega }\). In [7] elements like \(\frac{1}{\omega }\) are called infinitesimal elements. To avoid confusion with anything that is based on the concept of infinitesimal vicinity (see second paragraph of Sect. 2), \(\frac{1}{\omega }\in \text {No}\) and alike elements are called subfinites in this article. For the conceptual reasons for this distinction see Appendix B.

Since \(\text {No}\) is also a field, \(\frac{1}{\omega }\) is the multiplicative inverse of \(\omega \) in the exact sense of the group operation \(\text {No}\times \text {No}\rightarrow \text {No}\) representing multiplication on \(\text {No}\): \(\frac{1}{\omega }\omega =\omega ^{-1}\omega =1\in {\mathbb {N}}\subset {\mathbb {R}}\subset \text {No}\). Moreover, every surreal number is uniquely expandable in terms of orders of magnitude of \(\omega \), called its normal form:

$$\begin{aligned} s= & {} \sum _{\beta <\alpha }\omega ^{y_\beta }r_\beta , \end{aligned}$$
(15a)
$$\begin{aligned} \alpha ,\beta&:&\text {ordinal numbers}, \end{aligned}$$
(15b)
$$\begin{aligned} y_\beta&:&\text {sequence of surreal numbers}\, \text {decreasing along }\alpha , \nonumber \\ \end{aligned}$$
(15c)
$$\begin{aligned}&\quad r_\beta \in {\mathbb {R}}{\setminus }0. \end{aligned}$$
(15d)

Members of \(\text {No}^4\) may then be written as

$$\begin{aligned} s= & {} \sum _{\beta<\alpha }\omega ^{y_\beta }\left( r^0_\beta e_0+r^1_\beta e_1+r^2_\beta e_2+r^3_\beta e_3\right) \nonumber \\= & {} \sum _{\begin{array}{c} \beta <\alpha \\ i=0,1,2,3 \end{array}}\omega ^{y_\beta }r^i_\beta e_i. \end{aligned}$$
(16)

Other than in (15) there are a suitable number of \(r^i_\beta \) allowed to be 0 so that the sums in all components \(s^i\) of the form (15) range over the same order of magnitudes. This lets emerge a complete copy of \({\mathbb {R}}^4\) with basis \(\{e_i\}\) at each order of magnitude \(\omega ^{y_\beta }\) from which the coefficient for the associated order of magnitude can be selected. The first step in making (16) useful for physics is to designate the zeroth order of magnitude \(\omega ^0=1\) to be position space, or more precisely, to designate the coefficients \(r^i_0\) of \(\omega ^0\) to be events in spacetime \(r^i_0=x^i_0\equiv x^i\):

$$\begin{aligned} s= & {} \sum _{i=0,1,2,3}\omega ^0x^i_0 e_i + \sum _{\begin{array}{c} 0<\beta <\alpha \\ i=0,1,2,3 \end{array}}\omega ^{-y_\beta }r^i_\beta e_i, \end{aligned}$$
(17a)
$$\begin{aligned} r^i_0= & {} x^i_0\equiv x^i~,~i=0,1,2,3~,~ \end{aligned}$$
(17b)
$$\begin{aligned} y_0= & {} 0>-y_{\beta >0}. \end{aligned}$$
(17c)

Additionally, in (17c) \(y_0=0\) is chosen to be the largest order of magnitude so by virtue of (15c) all other orders of magnitude \(y_{\beta >0}\) have to be negative. This is reflected by the according negative sign in the exponents in the second sum of (17a). Hereby, the event \((x^0_0,x^1_0,x^2_0,x^3_0)\) is furnished with a surrounding of subfinite numbers \(\omega ^{-y_\beta }r^i_\beta e_i\). The coefficient of any of those subfinite orders of magnitude \(\omega ^{-y_{\beta>0}}=\frac{1}{\omega ^{y_{\beta >0}}}\) can be turned into an event in spacetime if (17a) is multiplied by the corresponding inverse infinite order of magnitude \(\omega ^{y_{\beta >0}}\):

$$\begin{aligned} s\omega ^{y_{\delta }}= & {} \sum _{\begin{array}{c} \beta<\delta \\ i=0,1,2,3 \end{array}}\omega ^{y_\beta }r^i_\beta e_i+\sum _{i=0,1,2,3}\omega ^{-y_\delta +y_\delta }x^i_0 e_i \nonumber \\&+\sum _{\begin{array}{c} \delta<\beta <\alpha \\ i=0,1,2,3 \end{array}}\omega ^{-y_\beta }r^i_\beta e_i, \end{aligned}$$
(18a)
$$\begin{aligned} x^i_0= & {} r^i_\delta . \end{aligned}$$
(18b)

The three terms in (18a) sustainably spark a perception of past (\(\beta<\delta \leftrightarrow \omega ^{y_\beta }\gg \omega ^0\leftrightarrow y_{\beta <\delta }>0\)), present (\(\beta =\delta \leftrightarrow \omega ^{-y_\delta +y_\delta }=\omega ^0=1\)) and future (\(\beta>\delta \leftrightarrow \omega ^{-y_\beta }\ll \omega ^0\leftrightarrow y_{\beta >\delta }<0\)).Footnote 2 Thus the exponents of the orders of magnitude establish a causal order of events, which is the task already committed to the \(x^0\)-components of events. These two orders are accordable by an order-reversing bijection between the sets \(\{y_\beta \}\) and \(\{r^0_\beta \}\):

$$\begin{aligned} f:\{y_\beta \} \leftrightarrow \{-r^0_\beta \}~,~\beta \in \alpha ,y_\beta \in \text {No},r^0_\beta \in {\mathbb {R}}. \end{aligned}$$
(19)

By this the inverted well-ordering (15c) of the sequence \(\{y_\beta \}\) becomes relevant to the set \(\{r^0_\beta \}\). Conversely, \(\{r^0_\beta \}\in {\mathbb {R}}\) restricts \(\alpha \) to countable ordinal numbers as there are no uncountable well-ordered subsets of \(({\mathbb {R}},<)\) [1, 6, p 350]. For violation of causality occurring when a well-order and a dense order are collocated see Sect. 4.

Summarised, in (17a) and (18a) \(\alpha \) is strictly less than \(\omega _1\) and \(r^0_\beta \in (R^0(\alpha ),<)\). In yet other words: when the inverted well-order of the order of magnitudes of an element s of \(\text {No}^4\) in its normal form is harmonised with the natural order of real numbers, \(\text {No}^4\) relegates to its subset of elements of countable normal length \(\alpha =\text {nl}(s)<\omega _1\) with causally ordered members of different \(\omega ^{y_\beta }{\mathbb {R}}^4\) as candidates for events in spacetime:

$$\begin{aligned}&{\mathbb {S}}^4_{causal}(\alpha ) = \nonumber \\&\quad \left\{ s = \sum _{\begin{array}{c} \beta<\alpha<\omega _1\\ i=0,1,2,3 \end{array}}\omega ^{-r^0_\beta }r^i_\beta e_i|\alpha<\omega _1\wedge \kappa<\rho :r^0_\kappa <r^0_\rho \right\} \nonumber \\&\quad \subset \text {No}^4 . \end{aligned}$$
(20)

In order to establish the speed of light in each \(s\in {\mathbb {S}}^4_{causal}(\alpha )\) it must be subject to the further restraint that each \(\omega ^{-r^0_\beta }r_\beta =\omega ^{-r^0_\beta }(r^0_\beta ,r^1_\beta ,r^2_\beta ,r^3_\beta )\in \omega ^{-r^0_\beta }{\mathbb {R}}^4\) is a member of the cone

$$\begin{aligned} {\mathscr {C}}_\beta (x_0)= & {} {\mathscr {C}}^<_\beta (x_0)\cup {\mathscr {C}}^>_\beta (x_0)\cup {x_0}, \end{aligned}$$
(21a)
$$\begin{aligned} {\mathscr {C}}^<_\beta (x_0)= & {} \left\{ r_\beta \in {\mathbb {R}}^4|{\mathscr {Q}}(c;r_\beta -x_0)\le 0\wedge r^0_\beta <x^0_0 \right\} ,\nonumber \\ \end{aligned}$$
(21b)
$$\begin{aligned} {\mathscr {C}}^>_\beta (x_0)= & {} \left\{ r_\beta \in {\mathbb {R}}^4|{\mathscr {Q}}(c;r_\beta -x_0)\le 0\wedge r^0_\beta >x^0_0 \right\} ,\nonumber \\ \end{aligned}$$
(21c)

where (21b) correlates to the first term in (18a), (21c) to the third term in (18a) and \(x_0\) is the second term in (18a) denominating the present event in spacetime. For fixed \(\kappa <\delta \) and \(\delta <\rho \) (21b) and (21c) have to be iteratively true:

$$\begin{aligned} r_\kappa\in & {} {\mathscr {C}}^<_\kappa (r_\kappa )\subset \cdots \subset {\mathscr {C}}^<_\beta (r_\beta )\subset \cdots \subset {\mathscr {C}}^<_\delta (r_\delta ) \nonumber \\ \Leftrightarrow r_\kappa\in & {} \bigcap _{\kappa<\beta \le \delta } {\mathscr {C}}^<_\beta (r_\beta )={\mathscr {C}}^{\kappa <\delta }(r_\kappa ), \end{aligned}$$
(22a)
$$\begin{aligned} r_\rho\in & {} {\mathscr {C}}^>_\rho (r_\rho )\subset \cdots \subset {\mathscr {C}}^>_\beta (r_\beta )\subset \cdots \subset {\mathscr {C}}^>_\delta (r_\delta )\nonumber \\ \Leftrightarrow r_\rho\in & {} \bigcap _{\delta \le \beta <\rho } {\mathscr {C}}^>_\beta (r_\beta )={\mathscr {C}}^{\rho >\delta }(r_\rho ). \end{aligned}$$
(22b)

All in all, for fixed \(\alpha \) the set of candidates for events in spacetime is composed of the following surreal numbers:

$$\begin{aligned}&{\mathbb {M}}(\alpha )=\{s\in {\mathbb {S}}^4_{causal}(\alpha )|\kappa<\delta :r_\kappa \in {\mathscr {C}}^{\kappa <\delta }(r_\kappa ) \nonumber \\&\wedge \rho>\delta :r_\rho \in {\mathscr {C}}^{\rho >\delta }(r_\rho )\}. \end{aligned}$$
(23)

(20)–(22) are the analogues of (2) and (3) resp. (A.4a) and (A.4b) for subsets of \(\text {No}^4\) with the addition of harmonising the inverse well-order of the orders of magnitude with the order of position space to make (23) fully internally ordered.

It should be clear by now that \(\text {No}^4\) is utilised in terms of paths. Every element of (23) constitutes a discontinuous path to be paced out by multiplication by eligibly selected \(\omega ^{r^0_\delta }\). The information about the transition from \(r_0\) to \(r_\delta \) is contained in the pair \((r_0+\frac{r_\delta }{\omega ^{r^0_\delta }},\omega ^{r^0_\delta })\); for a detailed discussion of this with regard to topology see Appendix B. Obviously forces act whenever the \(r_\beta \) do not form a straight line and/or the distance between consecutive coefficients \(r_{\beta +1}-r_\beta \) and \(r_{\beta +2}-r_{\beta +1}\) varies. Furthermore every \(r_\delta \) is a point of intersection for many paths each of which offers a different succeeding event. In this vein \({\mathbb {M}}(\alpha )\) (23) acts as a stage of potential next events.

But even that there are \(\omega _1\)-many paths intersecting at \(r_\delta \), i.e. that there is a full \({\mathbb {R}}^4_1\)-cone of successors \(r_\pi \) available at \(r_\delta \), this does not cure the contradiction in the statement “infinitesimal next neighbour”, because each of this potential next events \(r_\pi \) can only be reached by means of a discontinuous path. And what is even more important, all potential events with time component less than that of the successor \(r_\eta \) which became reality \(r^0_\delta<r^0_\pi <r^0_\eta \) cannot be revisited, as it would be necessary to establish the density needed for an infinitesimal vicinity, or else causality is breached. See Sect. 4 for more on this. On the other hand the interpretation of every \(r_\pi \) having a probability to be picked as the next real event is readily at hand. A \(s\in {\mathbb {M}}(\alpha )\) is then established step-by-step instead of being regarded as an already complete entity which deterministically fixes a path.

Reversely, a stage-like \(M(\alpha )\) is transformed into \({\mathbb {M}}(\alpha )\) by firstly generating the set of all path (2) and (3) allow in (8) and repeating this step for all combinations \(\times _{i=0}^3(R^i(\alpha ),<)\) of all order embeddings of \(\alpha \). After this, aligning all these paths along orders of magnitude by using the negative of the \(r^0\)-components of their points as exponents for \(\omega \) leads to \({\mathbb {M}}(\alpha )\).

When employing well-ordered Minkowski space by means of path-inclined causal normal forms of surreal numbers (23) acknowledging the question how to handle spacetimes involving limit ordinals \(\lambda \), which is pending since the end of Sect. 2, should no longer be postponed. Limit ordinals \(\lambda \) are elements of every ordinal number \(\alpha \) larger than \(\omega \) and are characterised by lacking a definite predecessor. Hence the corresponding \((r^0_\lambda ,\mathbf {r}_\lambda )\) is approached but cannot be reached by stepping out the trail of \((r^0_{\beta<\lambda },\mathbf {r}_{\beta <\lambda })\). The full and mathematically exact usability of the realms of the subfinite and the infinite within the framework of surreal numbers facilitates the following answer to this question: Only coefficients of orders of magnitude whose exponent \(r^0_\lambda \) corresponds to a limit ordinal \(\lambda \in \alpha \) are permitted to become reality:

$$\begin{aligned} \delta \in \{\lambda \in \alpha >\omega |\lambda :\text { limit ordinal}\} \end{aligned}$$
(24)

Multiplying a \(s\in {\mathbb {M}}(\alpha >\omega )\) by \(\omega ^{r^0_\lambda }\) sends all \(\omega ^{-r^0_{\delta<\beta<\lambda }}r_{\delta<\beta <\lambda }\) between the present event \(\omega ^0r_\delta \) and its designated successor \(\omega ^{r^0_\lambda }r_\lambda \) directly to \(\omega ^{(-r^0_{\delta<\beta<\lambda }+r^0_\lambda )}r_{\delta<\beta <\lambda }\), i.e. directly from the future (\(-r^0_{\delta<\beta<\lambda }<0\)) to the past \((-r^0_{\delta<\beta <\lambda }+r^0_\lambda )>0\) without a stop at the present. These sections of virtual events of \(s\in {\mathbb {M}}(\alpha )\) (23) therefore offer stages on which additional structures may play out any desired real feature. “Real” denotes at first real numbers promptly implying accessibility to measurement. Examples for such virtual formation processes of real features that immediately come to mind are the generation of a dressed inertial mass from bare inertial masses or the shaping of a dressed electric charge from bare electric charges. Producing divergences while constituting the final real feature along a sequence of virtual stages should be avoidable by using suitably chosen subfinite bare instances of the desired feature on each virtual stage. Two of the measures for the suitability of the subfiniteness of the bare instances of the feature under consideration are surely the length of a virtual section and the weight of a single virtual stage in it. If multiple features are to be formed between two real events the index set for real events (24) needs to be refined to limit ordinals which themselves comprise a sufficient number of limit ordinals to furnish enough virtual structure to assemble all that is requested. In such situations mass may serve as a bracket with inertial mass being the first feature to arise and gravitational mass being the last characteristic to be accrued until its numerical value is that of inertial mass. GTR strongly suggests that the subfinite bare instances of every other feature are accompanied by a subfinite bare instance of gravitational mass, unless the bare instances of the other features are the bare instances of gravitational mass themselves, merely in disguise. Thereby the well-order of spacetime transfers to all other physical theories as a guiding principle; for some effects of this on path integration see Sect. 5. By the respective orientation and distances of its events to each other every \(s\in {\mathbb {M}}(\alpha )\) (23) generally prescribes if and how forces are acting leaving it to the additional structures to describe which force(s) exactly mould(s) a given portion of s.

Finally, the independent \({\mathbb {R}}^4\) at different orders of magnitude \(\omega ^\beta \) need not have parallel bases. Whenever the bases \(\{e_{\beta i}\}\) between the respective \({\mathbb {R}}^4\) at each \(\omega ^\beta \) are nonparallel, \({\mathscr {Q}}(c;r_\beta -x_0)\) in (21) has to be replaced by \({\mathscr {Q}}(c;Tr_\beta -x_0)\) where T is a transformation that aligns \(\{e_{\beta i}\}\) and \(\{e_{0i}\}\).

4 Comparing subsets of \(\text {No}^n\) to Riemannian geometry

As stated in Sect. 2 there are neither order isomorphic nor order embedding mappings

$$\begin{aligned} f:({\mathbb {R}},<^{\text {ord}({\mathbb {R}})})\rightarrow ({\mathbb {R}},<) \end{aligned}$$
(25)

between the well-ordered \(({\mathbb {R}},<^{\text {ord}({\mathbb {R}})})\) and the naturally ordered \(({\mathbb {R}},<)\). For the topics to be discussed in this section it is instructive to see what especially bijections between these two sets look like in their images. Because \(({\mathbb {R}},<)\) is densely ordered there exists at least one \(y\in ({\mathbb {R}},<)\) between the images \(f(\chi )\) and \(f(\chi +1)\) of a \(\chi \in ({\mathbb {R}},<^{\text {ord}({\mathbb {R}})})\) and its direct successor \(\chi +1\) which in addition is necessarily the image \(f(\xi )=y\) of an \(\xi \in ({\mathbb {R}},<^{\text {ord}({\mathbb {R}})})\) that is either less than \(\chi \) or larger than \(\chi +1\).Footnote 3 In all formal glory:

$$\begin{aligned}&\forall \chi ,\chi +1\in ({\mathbb {R}},<^{\text {ord}({\mathbb {R}})}):f(\chi )< f(\chi +1) \nonumber \\&\exists \xi \in ({\mathbb {R}},<^{\text {ord}({\mathbb {R}})}):f(\chi )<f(\xi )< f(\chi +1) \nonumber \\&\wedge (\xi<^{\text {ord}({\mathbb {R}})} \chi \!\vee \chi +1<^{\text {ord}({\mathbb {R}})}\xi ). \end{aligned}$$
(26)

Thus pacing out \(({\mathbb {R}},<)\) by means of a bijection from \(({\mathbb {R}},<^{\text {ord}({\mathbb {R}})})\) always takes place in leaps and necessarily disregards the natural order of numbers. From within \(({\mathbb {R}},<)\), i.e. without reference to the bijection, this way of organising the reals appears therefore to be devoid of any order. In consequence, an intrinsic order relying on the natural order of numbers like \(<^{1+3}\) (A.3) or \(<^4_1\) (A.4) can either make use of the real numbers thereby renouncing the idea of a definite next event or hold on to the latter effecting that time (and hence space) is a representation of some countable ordinal number, which are the only well-ordered entities for which order embeddings into \(({\mathbb {R}},<)\) exist; compare (12).

This necessity to choose is highly visible in every member of the set

$$\begin{aligned}&{\mathbb {S}}^n((\text {ord}({\mathbb {R}}))\supseteq \omega _1)= \nonumber \\&\left\{ s=\sum _{\begin{array}{c} \chi \in ({\mathbb {R}},<^{\text {ord}({\mathbb {R}})})\\ i=0,\ldots ,n \end{array}}\omega ^{-\chi }r^i(\chi )e_i|r(\chi )\in \times _{i=0}^n({\mathbb {R}},<) \right\} \nonumber \\&\subset \text {No}^4. \end{aligned}$$
(27)

\(({\mathbb {R}},<^{\text {ord}({\mathbb {R}})})=\varXi \ge \omega _1\) is a ordinal number from the infinite realm of \(\text {No}\) which contains an ordinal sequence of the real numbers. The \(\chi \) are the ordinal numbers \(\chi <\varXi \) constituting \(\varXi \) in the sense of the usual definition of an ordinal number as the union of all its predecessors (or a suitable subset thereof if \(({\mathbb {R}},<^{\text {ord}({\mathbb {R}})})\) is a proper subset of \(\varXi \)). For \(\varXi \) exists its additive inverse \(-\varXi \) in \(\text {No}\) and the \(-\chi \) are its elements as the \(\chi \) are elements of \(\varXi \). There is more than one bijection \(r^i: ({\mathbb {R}},<^{\text {ord}({\mathbb {R}})})\subseteq \varXi \leftrightarrow ({\mathbb {R}},<)\) and (27) is the union of all s resulting from combining \(\varXi \) with all possible \(\times _{i=0}^nr^i\) among these bijections. Multiplying an element s of (27) by every element of the sequence \(\{\omega ^\chi \}\) yields the sequence \(\{s\omega ^\chi \}\) in which the respective coefficients of the order of magnitude \(\omega ^0=\omega ^{-\chi +\chi }\) form an uncountable sequence \(\{r(\chi )\}\) of members of \({\mathbb {R}}^n\) which is of course the sequence of coefficients of \(\omega ^{-\chi }\) in (27). But no matter which s is the basis for this sequence, none of the involved images \(r^i(\chi )\) reflects the order of \(\{r(\chi )\}\). Inversely, regrouping \(\{r(\chi )\}\) by using one of the \(r^i\) in its natural order calls up the \(\chi \) erratically; see (26). Since the orders of magnitude in the definition of the normal form of a \(s\in \text {No}^n\) decline along a well-order, surreal numbers sustain the idea of a definite next element. In the orders of magnitude’s set of real coefficients in a natural order the transitions between orders of magnitudes are always leaps even when the well-order and the natural order are harmonised as it is done in the following of (18). (26) and the ensuing choice is also present in the exponential map of Riemannian geometry, though not as obvious as in (27). By definition the exponential map takes tangent vectors \(v\in T_o(M)\) at a point o in a complete manifold M to the point \(\gamma _v(1)\) of the geodesic with \(\gamma _v(0)=o\) whose tangent vector at o is v [3, p 70]:

$$\begin{aligned} \exp _o: T_o(M)\rightarrow M: \exp _o(v)=\gamma _v(1). \end{aligned}$$
(28)

In other words: a member of the tangent space \(T_o(M)\) at o determines by virtue of the exponential map a transition from \(o=\gamma _v(0)\in M\) to \(p=\gamma _v(1)\in M\) in such a way that the portion of M belonging to \(\gamma _v:(0,1)\subset {\mathbb {R}}\rightarrow M\) is omitted. So \(\exp _o\) mediates a leap from o to p (with v being the designator of p at o) instead of facilitating a smooth passage between them. The attempt to restore the idea of a smooth progression from o to p is made by virtue of the density of \({\mathbb {R}}\) that transpires \(\exp _o\); see [3, p 71]:

$$\begin{aligned} \exp _0(tv)= & {} \gamma _v(t), \nonumber \\ t\in & {} {\mathbb {R}}. \end{aligned}$$
(29)

This shows indeed that every point of \(\gamma _v\subset M\) between o and p is accessible by means of \(\exp _o\). But the idea of smoothly progressing from o to p, i.e. visiting all elements of \(\gamma _v\) in their natural order by consecutively transiting to a distinct next neighbour is not included in (29). If it were a part of (29), the real interval \([0,1]\subset {\mathbb {R}}\) in its entirety would have to be the representation of an (necessarily innumerable) ordinal number which it is not. Since Riemannian geometry is fundamentally build on the concept of infinitesimal vicinities it is not very surprising that the notion of elements of tangent spaces link elements of a Riemannian manifold as definite next neighbours that (28) hints at does not resonate with the rest of the theory. The ignorance of members of a interval of \(\gamma _v\) this requires is for example in contradiction with the topological concept of neighbourhoods which are constitutively woven into the idea of a manifold; cf [3, p 71, proposition 30] and footnote 1.

For discontinuously charting a geodesic (or any other curve) (27) is the instrument of choice. In \({\mathbb {S}}^n((\text {ord}({\mathbb {R}}))\supseteq \omega _1)\) surely exists a s which produces \(\gamma _v\) when successively multiplied by all \(\omega ^\chi \); see also Appendix C. For \(n=4\) all subsets of this s corresponding to a countable ordinal number and whose coefficients of the involved orders of magnitudes additionally satisfy (23) are eligible for physics. As only the coefficients of orders of magnitude associated with a limit ordinal may become reality (24), the coefficients of all other orders of magnitude, i.e. the virtual events, do not need to adhere to \(\gamma _v\). Thus all members of (27) with physical subsets whose real events are congruent, are affiliated to \(\gamma _v\) from the angle of physics.

5 Well-ordered spacetime and path integration

Some first implications of selecting a well-ordered spacetime for quantum theory are attainable by just jumping right in the middle of path integration. For this purpose, the most useful part of this method is the step in the derivation of the orthodox form of the bosonic path integral just before introducing time integration in the exponential function (see for example [9]):

(30)
(31)

By reason that the order type of spacetime is not dense, it is not possible to turn \(\varDelta t\) into an infinitesimal dt. Accordingly for the associated sum the transition into an integral is barred, even though \(\varDelta t\) is assumed to be already small enough to permit \(H(Q(t_k),P(t_{k-1})) \rightarrow H(q_k,p_{k-1})\). Now this first simple deduction only states a restriction. But starting out from the definition of the Riemann integral, there is another way to obtain the same result which casts some light on the full ordinal quality of N:

$$\begin{aligned} \int _a^bf(x)d(x):= & {} \lim _{n\rightarrow \infty }\sum _{i=1}^nf(\xi _i)(x_i-x_{i-1}), \end{aligned}$$
(32a)
$$\begin{aligned} P^n\left( \left[ a,b\right] ,\xi \right)= & {} \bigcup _{i=1}^n\left[ x_i,x_{i-1}\right] , \end{aligned}$$
(32b)
$$\begin{aligned} a=x_0<\xi _1< & {} x_1<\cdots<x_{n_1}<\xi _n<x_n=b. \end{aligned}$$
(32c)

The limit on the rhs of (32a) is understood in terms of infinitesimal refinement of the tagged partition (32b), that is to say, every \(\xi \in [a,b]\) is approximated from the left and the right respectively by a sequence \(\{x_{i(n)}^n\}\). Essentially, this procedure is the same as the one by which \({\mathbb {R}}\) is constructed from \({\mathbb {Q}}\). In consequence, a single map \({\mathbb {N}}\rightarrow [a,b]\subset {\mathbb {Q}}\) does not suffice for the intended purpose. Instead, the whole set \({}^{{\mathbb {N}}}{\mathbb {Q}}([a,b])=\{g|g:{\mathbb {N}}\rightarrow [a,b]\subset {\mathbb {Q}}\}\) of functions from \({\mathbb {N}}\) to \([a,b]\subset {\mathbb {Q}}\) is needed. Since already \(2^{{\mathbb {N}}}={}^{{\mathbb {N}}}\{0,1\}\leftrightarrow {}^{{\mathbb {N}}}\{q_1,q_2\},~q_{1,2}\in {\mathbb {Q}}\) is of the same cardinality as \({\mathfrak {c}}\), the cardinality of \({}^{{\mathbb {N}}}{\mathbb {Q}}([a,b])\supset {}^{{\mathbb {N}}}\{q_1,q_2\}\) must at least be \({\mathfrak {c}}\); in fact, it is the same. Thus, in (32a) the vague \(\infty \) should be replaced by an ordinal number \(\gamma \ge \omega _1\), or, more precisely, the limit should be omitted and the sum should run from 1 to \(\gamma \).

The approximation of a function f by simple functions \(f_n\) supports this claim:

$$\begin{aligned}&I \!\!_{n,k}=\left[ \frac{k-1}{2^n},\frac{k}{2^n}\right) , \end{aligned}$$
(33a)
$$\begin{aligned}&f_n =\sum _{k=1}^{2^{2n}+1}\frac{k-1}{2^n}{\mathbf {1}}_{A_{n,k}}=\sum _{k=1}^{2^{2n}+1}\frac{k-1}{2^n}{\mathbf {1}}_{f^{-1}(I_{n,k})}, \end{aligned}$$
(33b)
$$\begin{aligned}&k =1,2,\ldots ,2^{2n}+1, \end{aligned}$$
(33c)
$$\begin{aligned}&f =f_{{\mathbb {N}}}=\lim _{n\rightarrow \infty }f_n. \end{aligned}$$
(33d)

If for a non-constant continuous function \(f: [a,b]\rightarrow {\mathbb {R}}^+\) the objective of the procedure (33) really is to realise every value of f by a single indicator function, the limit must aim at least at \(\omega _1\). Otherwise, there will be not enough terms in the sum (33b) to exhaust the range of f completely. In unison with this, \(2^n\) and \(2^{2n}\) should be read as \(2^{{\mathbb {N}}}\) and \(2^{2{\mathbb {N}}}\) to indicate the necessary cardinality of the process (33). Replacing them by an ordinal number \(\gamma \ge \omega _1\) converts the rhs of (33b) into the transfinite expression that it is at its heart.Footnote 4 See [7] for an axiomatic definition of terms like \(\frac{1}{\gamma }\).

As it was shown in Sect. 2, a well-ordered spacetime consists of representations of a countable ordinal number \(\alpha <\omega _1\). Hence, if (30) is evaluated over such a spacetime, N has to be strictly less than \(\omega _1\) and the associated sum in the exponential function cannot turn into an integral. For \(\omega<N<\omega _1\) see Sect. 3. Section 4 gives the details on the unavoidable violation of causality by bijections \(({\mathbb {R}},<^{\text {ord}({{\mathbb {R}}})}\supseteq \omega _1)\leftrightarrow ({\mathbb {R}},<)\).

As a matter of course, the sum over a in (30) cannot be made into an integral for the same reasons that apply to the sum over k. Furthermore, (30) should be adjusted to the use of a well-ordered spacetime by replacing \(\int [\prod _{k=1}^N\prod _adq_{k,a}]\) and \(\frac{1}{2\pi }\int [\prod _{k=1}^{N+1}\prod _adp_{k-1,a}]\) with \(\sum _{q\in {}^{\alpha }{\mathbb {R}}}\) and \(\sum _{p\in {}^{\alpha }{\mathbb {R}}}\) where q and p are order embeddings. In terms of surreal spacetime the sum over order embeddings q is replaced by \(\sum _{s\in {\mathbb {M}}{\alpha }}\) whereas the information contained in the p is now embodied in the according set of pairs \((r_0+\frac{r_\delta }{\omega ^{r^0_\delta }},\omega ^{r^0_\delta })\); cf (23) and the subsequent discussion.

From the point of view of a well-ordered space time, exchanging \(\sum _k\) and \(\sum _a\) in (30) with integrals introduces much unnecessary information which has to be retracted at some point. This may be seen alone from a purely quantitative argumentation: The replacement of these sums by integrals expands the domain of calculations from countable ordinal numbers \(\beta <\omega _1\) to uncountable ordinal numbers \(\gamma \ge \omega _1\), i.e. causes a leap in the cardinality of the set of allowed events of each path which in turn affects the cardinality of the sets that are the domains of \(\sum _{q\in {\mathbb {M}}(\alpha )}\) and \(\int [\prod _{k=1}^N\prod _adq_{k,a}]\):

$$\begin{aligned} q\in {\mathbb {M}}(\alpha )\subset & {} \{\times _{i=0}^4(f^i:\alpha \rightarrow {\mathbb {R}})\}={}^{\alpha }({\mathbb {R}}^4), \end{aligned}$$
(34)
$$\begin{aligned} \rightarrow |{\mathbb {M}}(\alpha )|\le & {} |{}^{\alpha }{\mathbb {R}}^4|=|{\mathbb {R}}|={\mathfrak {c}}. \end{aligned}$$
(35)

(20)-(22) restrict each \(f^i\) for respective \(\beta \in \alpha \) to an interval of \({\mathbb {R}}\). But every interval of \({\mathbb {R}}\) is of the same cardinality as \({\mathbb {R}}\) itself so the \(\le \) in (35) turns into a \(=\):

$$\begin{aligned} \aleph _0<|{\mathbb {M}}(\alpha )|={\mathfrak {c}}. \end{aligned}$$
(36)

In a densely ordered real spacetime

$$\begin{aligned}&q_{k,a}\in {\mathscr {M}}(({\mathbb {R}},<)) \subset \{\times _{i=0}^4(g^i:{\mathbb {R}}\rightarrow {\mathbb {R}})\}={}^{{\mathbb {R}}}({\mathbb {R}}^4),\nonumber \\ \end{aligned}$$
(37)
$$\begin{aligned}&\rightarrow |{\mathscr {M}}(({\mathbb {R}},<))| \le |{}^{{\mathbb {R}}}({\mathbb {R}}^4)|=|{}^{{\mathbb {R}}}{\mathbb {R}}|={\mathfrak {f}}, \end{aligned}$$
(38)

where the \(g^i\) are restricted by versions of (21)–(22) adapted to a dense order and a real spacetime; the order embedding in (20) turns into confining \(g^0\) to be strictly monotonic increasing. By this the \(g^i\) are restricted for each \(x^0\in ({\mathbb {R}},\le )\) to intervals of \({\mathbb {R}}\), like the \(f^i\) are for each \(\beta \in \alpha \), thus:

$$\begin{aligned}&{\mathfrak {c}}< |{\mathscr {M}}(({\mathbb {R}},<))|={\mathfrak {f}} \end{aligned}$$
(39)
$$\begin{aligned}&\Rightarrow |{\mathbb {M}}(\alpha )|< |{\mathscr {M}}(({\mathbb {R}},<))|. \end{aligned}$$
(40)

It is then no surprise that the retraction of the excess information involves infinities. So all in all, even without taking into account the qualitative differences between the members of the domains of \(\sum _{q\in {\mathbb {M}}(\alpha )}\) and \(\int [\prod _{k=1}^N\prod _adq_{k,a}]\), renormalisation strongly points to a well-ordered spacetime.

6 Well-order and loop quantum gravity

Though without reference to causality, Loop Quantum Gravity uses the lines of argumentation presented in the preceding sections, especially Sect. 5, when determining the main sequence of the spectrum of the area operator \({\mathbf {A}}({\mathscr {S}})\). In order to see this, rewrite equation (6.72) on page 247 in [10] as a transfinite sum by replacing \(\lim _{N\rightarrow \infty }\sum _n\) with \(\sum _{n\in \alpha \in \text {Ord}}\); cf the discussion following (32):

$$\begin{aligned}&{\mathbf {A}}({\mathscr {S}}) = \sum _{n\in \alpha }\sqrt{E^2({\mathscr {S}}_n)} \nonumber \\&\alpha : \text {ordinal number}. \end{aligned}$$
(41)

If \(\alpha \) is chosen to be an uncountable ordinal number like \(\chi \) in Sect. 4 or \(\gamma \) in Sect. 5 this expression turns into the classical case (6.73) on page 247 in [10]. (Of course, in this case the sum should be replaced by a double sum \(\sum _{n_1\in \chi _1}\sum _{n_2\in \chi _2}\) with \(\chi _1,\chi _2\) suitably chosen to exhaust the area under consideration.)

If on the other hand \(\alpha \) is chosen to be a countable ordinal number, (41) is barred from turning into a continuous expression. This barring is done by setting \(\alpha \) equal to the set \({\mathscr {S}}\cap \varGamma \). As detailed in the text underneath equation (6.73) on page 247 in [10], there is a maximum of \(N_0\)-many elements in \({\mathscr {S}}\cap \varGamma \):

$$\begin{aligned}&|{\mathscr {S}}\cap \varGamma | = N_0<N\le \omega \nonumber \\&\omega : \text {first transfinite ordinal}. \end{aligned}$$
(42)

Since the natural numbers constitute the initial segment of the ordinal numbers and \(N_0\in {\mathbb {N}}\) the index set of (41) is now equal to a countable ordinal number. Because \(\omega \) is not exceeded it is even equal to some finite countable ordinal number. From the point of view of ordered sets and ordinal numbers this is unnecessarily strict. For preventing (41) from being a continuous expression it is just enough that \(\alpha \) is not an uncountable ordinal. It would be interesting to know if there are \(\varGamma \) which intersect \({\mathscr {S}}\) in such a way that the set of their intersections from a transfinite countable ordinal number. In combination with operators which exhibit this characteristicFootnote 5 spacetime will be endowed with more (sub)structure than it obtains form the natural numbers alone; see also Sect. 3 for more on this matter, especially the discussion below equation (24).