Defining a Relativity-Proof Notion of the Present via Spatio-temporal Indeterminism

In this paper we describe a novel approach to defining an ontologically fundamental notion of co-presentness that does not go against the tenets of relativity theory. We survey the possible reactions to the problem of the present in relativity theory, introducing a terminological distinction between a static role of the present, which is served by the relation of simultaneity, and a dynamic role of the present, with the corresponding relation of co-presentness. We argue that both of these relations need to be equivalence relations, but they need not coincide. Simultaneity, the sharing of a temporal coordinate, need not have fundamental ontological import, so that a relativizing strategy with respect to simultaneity seems promising. The notion of co-presentness, on the other hand, does have ontological import, and can therefore not be relativized to an observer or to an arbitrarily chosen frame. We argue that a formal representation of indeterminism can provide the structure needed to anchor the relation of co-presentness, and that this addition is in fact congenial to the notion of dynamic time as requiring real (indeterministic) change. The resulting picture is one of an extended dynamic present, implying a formal distinction between static (coordinate) simultaneity and dynamic co-presentness. After working out the basics of our approach in the simpler framework of branching time, we provide our full analysis in the framework of branching space-times, which allows for a formal definition of modal correlations. The spatial extension of the dynamic present can reach as far as the modal correlations do. In the limit, the dynamic present could extend across a maximal space-like hypersurface.

two will preserve an independent reality." 1 A strong formal result appears to vindicate Minkowski's view that before the background of the space-time physics of special relativity theory, time can only be a derivative, dependent notion: there is no sensible way to define a notion of simultaneity based solely on the resources of the spatiotemporal ordering of events in Minkowski space-time. What are the metaphysical consequences of this result?
Our commonsense metaphysics of time is, arguably, best expressed by presentism, which holds that "the present simply is the real considered in relation to two particular species of unreality, namely the past and the future" [32, p. 245]. Is presentism compatible with relativity theory, or does relativity theory refute presentism? The issue is complicated. Does relativity theory have an impact on metaphysics or on everyday notions at all? And if it does, what precisely is the notion of the present whose independent reality is threatened by relativity theory, and how can that threat be spelled out in a formally precise way?
In this paper, we will distinguish two different notions of the present, one based on simultaneity and one based on co-presentness. Simultaneity invokes a static role of the present in singling out something like a temporal location of an event (a time coordinate). Co-presentness, on the other hand, invokes a dynamic role of the present in separating a fixed past from an open future and in thereby anchoring a notion of coexistence. We hold that it is the latter role that is important for presentism as a doctrine in the metaphysics of time, and we will show that a relativity-proof notion of the present in its dynamical role can be defended by exploiting the idea that dynamic change must be based on the indeterministic realization of possibilities for the future.
Given the current state of the debate, the success or failure of such a defense must be assessed via formal results. We thus need to spell out which formal resources relativity theory offers, and how these can be used to ground a notion of the present. In this paper we will work within a formal framework that allows for making precise sense of spatio-temporal indeterminism and of the fixedness of the past vs. the openness of the future: branching space-times (BST; [4]). Our guiding idea will be that two events are dynamically co-present if they share exactly the same fixed past. In working out the formal details of this idea, we will make use of the fact that BST offers a rich notion of modal correlations, based on which we will be able to extend the notion of a fixed past.
Our paper is structured as follows. We introduce the basics of the debate about defining the present in special relativity in Sect. 1. We provide some motivation for our approach, which involves an extended present, in Sect. 2. In that section we stay within the Newtonian theory of branching time, which is a predecessor to BST. The main ideas of branching space-times and the necessary formal definitions are then introduced in Sect. 3. In Sect. 4 we prove our main formal result, Theorem 1, which states that a non-trivial relation of co-presentness can be defined in terms of the resources of BST. We discuss two possible definitions of co-presentness and prove their equivalence, and we indicate how space-like modal correlations can extend the dynamic present. We conclude in Sect. 5.

The Problem of Defining the Present in Special Relativity
In the Minkowski space-time of special relativity, each so-called event (element of the space-time) can be uniquely identified via its space-time coordinates, a set of four real numbers. There is, however, no unique way to divide up these coordinates into a three-dimensional spatial and a one-dimensional temporal part. Such a division is always relative to an inertial reference frame, and none of those frames is preferredthe principle of relativity states that all frames have to be treated on a par. One might therefore believe that only frame-invariant properties and relations have independent, objective reality, whereas other properties and relations cannot be taken metaphysically seriously.
Some important relations among events are frame-invariant. For example, whether one event can causally influence another one is independent of the choice of a reference frame: the causal order on Minkowski space-time is frame-invariant. Events that cannot causally influence one another are called "space-like related"; that relation, too, is frame-invariant. But whether two space-like related events have the same temporal coordinate-whether these events occur at the same time-depends on which frame one considers. The simultaneity of distant events is frame-relative.
These basic truths about the structure of Minkowski space-time can be translated into a formal claim about the definability of a notion of simultaneity. There is widespread agreement that such a notion of simultaneity has to be transitive, reflexive, and symmetric, i.e., it has to be an equivalence relation. 2 It follows that the simultaneity relation cannot be the relation of space-like relatedness, as that relation is not transitive. And there are no other sensible options either, as shown by Van Benthem's theorem 3 : If a relation R is definable on the basis of Minkowski space-time alone, it has to be invariant under that structure's automorphisms, which include the Poincaré group and contractions. But once there are x, y for which x = y and x Ry, one can employ suitable automorphisms to show that x Rz for any event z. Thus, there are only two equivalence relations that can be defined on Minkowski space-time, identity and the universal relation. None of these provides a sensible notion of simultaneity: on the first option, as each event is identical only to itself, each event would be simultaneous only with itself, and on the second option, simultaneity would not discriminate among events at all. Therefore, no frame-invariant notion of simultaneity can be defined on the basis of the Minkowski space-time of special relativity.
It seems, therefore, that simultaneity cannot be an objective relation. This, in turn, might mean that the present is just a subjective notion, or even an illusion, which would completely undermine presentism. This challenge concerns the tenability of an objective notion of simultaneity as a necessary, not as a sufficient condition of the tenability of the doctrine of presentism as a whole. The challenge, therefore, arises prior to and independently of the additional question of how, assuming that such an objective notion is available, one should model the phenomenon of the passage of time. In this paper, we do not discuss the latter question. There is fairly widespread agreement in the literature that an indexical treatment of the passage of time is appropriate (see, e.g. [10]).
The metaphysical consequences of the mentioned formal result-no frameinvariant notion of objective simultaneity is definable in special relativity theory-are debatable. There appear to be four main ways of reacting: 1. Rejection of any metaphysical status of special relativity. It is not implausible to just shrug off any suggested metaphysical import of special relativity, pointing out that that theory is only valid within its range of applicability, which is far from universal. Many well established empirical facts, from details of the orbit of planet Mercury to gravitational effects on satellites or, recently, to gravitational waves cannot be modeled on the basis of special relativity theory alone. In this sense, special relativity is empirically refuted, and therefore it is implausible to expect to get any metaphysical mileage out of it. If we are looking for a space-time theory to provide metaphysical guidance, we need to look at the general theory of relativity, or even at a successor to that theory describing some form of quantum gravity. It may well be that such a theory will provide additional resources. For example, some cosmological models of general relativity allow for the definition of a class of fundamental observers that can anchor an absolute notion of cosmic time. Given these resources, one can then define two events to be absolutely simultaneous iff they happen at the same cosmic time. 4 So the whole discussion involving special relativity might be a non-starter. 2. Acceptance and revision of temporal notions. If one accepts the apparent indefinability of simultaneity as proof that the notion of the present makes no objective sense, one can try to live without it. While this attitude had already been recommended (for different reasons) by Spinoza, 5 it appears practically impossible: "now" is an essential indexical which has both theoretical and practical import for us. 6 3. Acceptance and relativization of temporal notions. Each concrete act of communication employing temporal determinations comes from the perspective of a corporeal being. Reflecting on this fact, one can relativize temporal determinations to the rest frame of that corporeal being, 7 and one can additionally point out that relativistic effects can be neglected for most practical purposes. 8 An 4 See [38] for some pertinent qualifications. 5 See his Ethics, Book IV, Proposition 62: "Insofar as the mind conceives of things by the dictate of reason, it is equally affected whether the idea is of something in the future or in the past or in the present" [39]. 6 See, e.g., [27]. 7 See [1] for a discussion of some subtle qualifications that pertain to the definition of a relativistic object's center of mass. The resulting imprecision is negligible for our purposes. Additionally, it is enough that a speaker may provide a frame of reference in some way. The easiest way would certainly be via her body, but there are other possibilities. Compare the similarly imprecise "here" or "now". 8 See [11] for a succinct, quantitative assessment of the practical lack of impact of relativity theory for everyday communication. It should be added that the situation has changed somewhat since the publication of that paper at least if relativistic effects grounding everyday technology are considered as well. Most of us nowadays carry around GPS receivers whose underlying satellite infrastructure relies heavily on (special and general) relativistic effects. This technology, however, has no direct impact on our use of temporal determinations in communication.
absolute notion of simultaneity is not needed to account for our communication practices-even in hypothetical cases in which relativistic effects become important. If I say that events e and f are simultaneous, and you, speeding by in your space-ship, deny this, then we can understand that we are not in fact disagreeing, but saying different things: I say that e and f are simultaneous for me, and you say that they are not simultaneous for you. Such relativizations are in fact common: if I say, "It is raining", and you say, at a different place, "It is not raining", then we are not in fact disagreeing, and we can make the compatibility of our assertions explicit by mentioning our respective locations. We can also live with relativization when it comes to relativistic frames of reference. In fact, employing the Lorentz transformation between our frames, we will be able to make precise sense of the apparent disagreement and come to agree on the underlying objective facts about space-time. 4. Addition of structure. It is possible to add some structure to plain Minkowski space-time that will allow the objective anchoring of a non-trivial equivalence relation to be read, e.g., as absolute simultaneity.
In fact, nothing about the results mentioned above rules out such additions, and Rakić [34] has shown precisely in which way an equivalence relation of simultaneity can be added as a conservative extension to the structure of a single Minkowski space-time.
Which of these options should a defender of presentism choose? While option (2) seems unavailable given the importance of the notion of simultaneity, option (1) can easily be invoked. Dialectically, however, that option is not fully satisfactory: the defense of the present either becomes hostage to specific empirical facts about the actual general-relativistic space-time we inhabit, or, going beyond general relativity, the issue is deferred to a future theory of quantum gravity about which there is no consensus yet. It would be better to provide a different response, and that is what we will try in this paper. In fact, we will provide two different responses, one based on option (3) and one based on option (4), which are geared towards two different questions about the present that are mostly run together, but which need to be kept apart.
As already stated in the introduction, the notion of the present plays a double role, one static and one dynamic. Terminologically, we will distinguish the two relations that characterize these two different roles as simultaneity vs. co-presentness. We hold that these relations both have to be equivalence relations, 9 but they need not be the same.
Simultaneity characterizes the present as the time of now, indicating a temporal location. Present events in this static sense are those that are simultaneous with now, having the same temporal coordinate. This static role of the present has no immediate metaphysical or ontological import, and it should therefore not be the target of our modeling efforts in defense of presentism. In our view, the present in the sense of the time coordinate of now can be fully accounted for by the relativizing strategy (3), making it a matter of perspective. The dependence on a concrete being's rest frame is not problematic, as full agreement in communication can be ensured. As relativity theory poses no obstacle to defining an observer-relative notion of simultaneity anchoring the static present, we will not comment further on the notion of simultaneity here. 10 Co-presentness, on the other hand, characterizes the present as that which is currently (now) real, indicating an objective, dynamic boundary between the fixed past and the open future of possibilities. These modal notions have ontological import and must not be relativized to an observer or an agent. 11 Considering the above list of options, it is clear, therefore, that we need to invoke option (4): Additional formal structure over and above that provided by a single Minkowski space-time is needed to define a dynamic relation of co-presentness among events.
Rakić's strategy of adding an equivalence relation to the basic structure of a single space-time is one route that might be used to anchor a dynamic relation of copresentness. Following that recipe, one arrives at a relation that can in fact fulfill both the static and the dynamic requirements on a notion of the present: Rakić's [34] result allows for a foliation of Minkowski space-time into space-like hypersurfaces to be added conservatively, and events on the same hypersurface can then be taken to be both simultaneous and co-present. While this may be an advantage, one might also be critical of the combination, as there is a price to be paid: first, there can be no empirical test of the chosen equivalence relation, and second, one undercuts the independently motivated strategy (3) of accounting for the static (coordinate) notion of simultaneity via relativization to a speaker's rest frame. 12 In what follows we will work towards a different objective notion of dynamic copresentness that is fully anchored in the modal notions of fixed past vs. open future. This relation will generally not work as a static relation of simultaneity, as the region of copresentness will normally be extended both spatially and (coordinate-)temporally. The formal resources will be provided by the framework of branching space-times, which represents local indeterminism via sets of so-called transitions. Before we introduce that framework in Sect. 3, we first have to argue that the notion of an extended dynamic present makes good sense.

Making Room for an Extended Dynamic Present
The dynamic role of time is to account for the possibility of dynamic change, both with respect to which things exist and what their properties are. Change in that sense needs to be contrasted with so-called Cambridge change, which is just a thing's having different properties at (or with respect to) different temporal locations. Dynamic change must be more than that if it really requires a dynamic notion of time, because the static notion of temporal location is sufficient to account for Cambridge change. It is, however, notoriously difficult to spell out what dynamic change amounts to.
As announced, in this paper we will explore a radical view of dynamic change: change as the indeterministic realization of one option from among a set of alternatives. Such indeterministic happenings clearly amount to change: if a radium atom decays, or if you choose to have tea rather than coffee for breakfast, or if a cat jumps to catch a bird, these are indeterministic events that did not have to happen, and their occurrence makes a difference to what the world is like, realizing one possibility for the future in contrast to all the others.
Given this indeterministic notion of dynamic change, we need a corresponding dynamic notion of time to anchor the indeterministic realization of possibilities. In a second radical move, we will explore the view that just as dynamic time is necessary for real change, so real change is necessary for real, dynamic time: No change without time, but also no time without change. In this way, we strongly dissociate the static notion of coordinate time (temporal location) from the dynamic notion of real time. This makes room for yet another move that may be perceived to be radical: we will allow a moment of real time to be extended not just spatially, but also coordinatetemporally.
Our view needs to be distinguished sharply from other theories of an "extended present" that are neither based on indeterminism, nor on a distinction between static (coordinate) and dynamic (indeterministic) time. Taking into account indeterministic change, we have at our disposal a richer background on which to define dynamic time. This allows us to hold on to (dynamic) co-presentness as an equivalence relation, in contradistinction to theories that posit overlapping present moments [2,18]. Before we show how, we first comment on the consequences of the assumption that there is no dynamic time without indeterministic change.

Determinism: No Real Change, No Dynamic Time
If real time and real change presuppose indeterminism, it follows that there is no real change, and no real time, in a deterministic world. This may seem outrageous. Take a simple deterministic world, modeled via a single Newtonian space-time, in which a number of point particles move about on continuous trajectories. If initial conditions are properly chosen, so that there are no three-particle collisions or other problematic configurations, the motion of the particles in such a world may indeed be without physically possible alternatives, thus witnessing determinism. According to our approach, we have to say that in such a world, there is no real, indeterministic change. Never is there a non-trivial range of options from among which only one is realized; there is always and everywhere just one single option to begin with. But the particles in that world move around, changing their absolute as well as their relative locations. Surely that amounts to change in that world?
Given the distinctions we are making, we can agree that such a world harbours Cambridge change: the particles have different locations at different times. But from a dynamic perspective, nothing is really happening. The temporal coordinate is just like another spatial coordinate, along which there can of course be some variation of the configuration of the particles. But it is all just one four-dimensional block without any real dynamics. Everything is accounted for by four-dimensional geometry. From the point of view of dynamic time, every event in the whole deterministic fourdimensional space-time is co-present with every other event (and with itself, of course). The dynamic present of the deterministic world is maximally extended to the whole space-time block. 13 Matters are different once one introduces indeterminism. Are we warranted to do so? The matter is certainly controversial, and we cannot hope to provide a refutation of determinism in a few lines here. As so often in philosophy, the issue is one of which package deal one is willing to accept. Our dialectics runs as follows: If one is willing to accept a distinction of a static vs. a dynamic aspect of the present, and if one is willing to entertain the idea that dynamic time passes iff there is dynamic change iff there are indeterministic happenings, then the assumption of determinism amounts to a sceptical position: while we undoubtedly experience the world as dynamical in time, there is nothing in reality to back that experience. We believe that such scepticism is unwarranted, especially given the fundamental role of quantum indeterminism in current technological realizations of randomness. Our package deal is coherent, and it appears to us to be fruitful. One may start differently, of course. Following the Bohmian program of providing a deterministic version of quantum mechanics, one starts from a strong a priori assumption of determinism and tries to rework the existing physical theory of quantum mechanics in its light, tackling significant formal and conceptual obstacles along the way (see, e.g., [20]). In our view, that program still has to prove its fuitfulness, but the matter is certainly controversial (see, e.g., [14]). That said, we will stick with the assumption that indeterminism is available as a resource, and proceed to show what can be done with it. 14 Before we describe the indeterministic theory of branching space-times that provides all the resources we need for our definition of the dynamic, spatio-temporally extended present, we briefly discuss what an extended present looks like in a simpler theory of indeterministic branching histories that lacks a spatial dimension.

Branching Histories Without a Spatial Dimension
The theory of so-called branching time (BT) was formally developed by Prior [31], following an exchange about his earlier book, Time and modality [30], with Kripke (see [29]). Formally, the theory accounts for indeterminism as the tree-like branching of linear temporal histories (chronicles). Within a BT structure, branching occurs at socalled choice points, which are maximal in the intersection of histories. The elements of the structure are called moments. In BT, space is not formally represented. Each moment thus comprises all of space, as a momentary super-event. We provide the necessary definitions: Definition 1 (BT structure) A BT structure M, < is a partial order, i.e., a non-empty set M of moments with a relation < on M that is antisymmetric (∀x, ) and jointed (any two elements have a greatest common lower bound).  In the case of a choice point c as initial, the basic outcomes correspond exactly to the elements of the partition c : any moment in the partial ordering that comes after c belongs to one or more of the histories in the set H c , and that set is partitioned by c . Thus, the basic indeterministic event c gives rise to one of the possible outcomes represented by c . Accordingly, we can write a basic transition as Transitions have recently been used by Rumberg [37] to provide a novel semantics for formal languages based on branching time; that paper contains a good overview of the theory of transitions in branching time.
In a branching time structure, each moment m has a unique past (by left-linearity of the ordering, there is no backward branching). The indeterministic structure of that past consists exactly of the transitions from choice points c < m to those basic outcomes that keep the possibility of m's occurrence open. Given c < m, there is, provably, always exactly one such transition, for which we write c c m . We thus define the set of m-enabling transitions, TR(m), as follows: It is easy to prove that these transitions form a chain (a linearly ordered set) with respect to the natural transition ordering ≺. Along that chain, the bundle of histories becomes smaller at each indeterministic step: the occurrence of an indeterministic transition implies the exclusion of alternative histories. 16 See Fig. 1 for illustration.

The Extended Present in Branching Time
Given the formal background of branching time, we have at our hands a precise candidate definition of real time: time passes at exactly those moments that are choice points. At other moments, there is no indeterminism, no dropping off of histories, no realization of one possibility in contrast to others, no real change, and therefore no passing of dynamic time. Of course, as stressed above, static (coordinate) time also passes at other moments. 17 As dynamic time passes only at choice points, it follows that any stretch of moments between two choice points counts as co-present. Formally, we define co-presentness via the indeterministic past:
As this definition is based on an identity, the relation ∼ among the moments of M is clearly an equivalence relation. We can show that co-present moments must be members of exactly the same histories.

Fact 1 Let m 1 ∼ m 2 , and let h ∈ H m 1 . Then h ∈ H m 2 as well.
Proof Assume for reductio that m 1 ∼ m 2 and h ∈ H m 1 , but m 2 / ∈ h. We distinguish three cases.
(1) m 2 m 1 . This is impossible, as histories are closed downward. The other direction holds as well, so that we have at our hands an alternative definition of co-presentness in BT: Summing up, in BT, we can define an indeterminism-based notion of dynamic time via the indeterministic past of moments, or alternatively via the set of histories that 17 It is often even possible to define clock times (so-called instants) across different branches, so that there can be a formally well-defined meaning for assertions like "I could be in Venice now", which refer to a contemporaneous (same clock-time) moment on a different, non-actual history. While the definition of clock times is easy in discrete orderings (in which one only has to count the moments after a choice point), the matter is quite subtle for continuous orderings. See Belnap et al. [10,Ch. 8] for some pertinent remarks on sufficient conditions. the moments belong to. The non-overlapping regions of co-presentness are exactly those intervals on the tree of branching histories that lie between two consecutive choice points. Unless every moment is a choice point, some regions of dynamic copresentness contain more than one moment. So, the dynamic present in BT is generally extended in static coordinate time, and thereby, the two notions of static and dynamic time come apart. See Fig. 2 for illustration.

Branching Space-Times and Modal Correlations
Branching space-times (BST) makes the idea of branching histories compatible with relativistic space-time. BST combines two differently motivated partial orders: on the one hand, there is the causal partial ordering of space-time, e.g., the Minkowski ordering of special relativity. On the other hand, there is an indeterministic partial ordering, as in BT, which anchors local possibilities for the future. These two orderings are combined via Belnap's ingenious definition of a BST history as a maximal directed set 18 : in BST, two elements of the ordering, possible point events, belong to one history if and only if that history contains a common upper bound for them, which provides a perspective from which both of them have occurred. In this way, histories are generally not linear chains of moments as in BT, but can be full space-times. The BST partial ordering glues together several such possible histories at choice points. 19 An important feature of the spatio-temporal nature of the BST ordering is that two histories can split at different events. Such events then have to be space-like related: A consequence of multiple space-like choice points is that the respective choices might be coordinated: in BST, there is room for space-like modal correlations. That is, with respect to the set-up of Alice and Bob described above, there might be less than four resulting histories. For example, the outcomes at a and at b might be perfectly anticorrelated, leaving only two combined outcomes, a + b− and a − b+ (see Fig. 4).
There is ample empirical evidence that coordinated indeterministic events exist. 21 Such coordination could be strict, as in Fig. 4, in which expected possibilities (combinatorially possible histories) are completely absent, or it could be probabilistic, preserving the underlying full space of possibilities but showing probabilistic correlations between space-like separated events. The gist of Einstein et al.'s complaint against the supposed completeness of orthodox quantum mechanics was to point out that quantum mechanics predicts the space-like coordination of experimental outcomes due to entanglement in multi-partite systems [13]. Their initial example had a modal flavor (concerning predictions that can be made with certainty), but many subsequent examples involve just probabilistic correlations. In this paper we stick to the modal case for simplicity's sake.
The worry that quantum mechanics might be incomplete prompted the search for so-called hidden variables as completions of the quantum-mechanical description of reality, sometimes also with a view to providing a deterministic reading of the theory. Many classes of hidden variables would be detectable experimentally, as shown by research starting with Bell [3]. Experiments have vindicated the predictions of orthodox quantum mechanics to astonishing accuracy (see, e.g., [17]).
The formal apparatus of BST allows one to define a formally precise notion of space-like modal correlations. 22 We give a brief overview of the basic definitions of BST theory, referring to [4,9] for more details and motivation. 23 A chain in a partial ordering is a linearly ordered subset (i.e., a subset in which any two elements are comparable). The notion of a history, which is invoked in the clauses of Definition 6, is provided by Definition 7.
Definition 6 (BST structure) A branching space-times structure is a non-empty partial ordering W , < of possible point events that fulfills the following conditions: • The ordering is dense and without maxima or minima.
• The ordering is continuous in the following sense: each lower bounded chain in W has an infimum in W , and each upper bounded chain in W has a supremum-in-h for each history h to which the chain belongs.

Definition 7 (BST histories)
A directed set is a subset D ⊆ W such that for any e 1 , e 2 ∈ D there is some e 3 ∈ D for which e 1 e 3 and e 2 e 3 . The set Hist of histories is the set of maximal directed subsets of W . Given e ∈ W , we write H e for the set of all histories containing e. 21 See Sect. 2.1 for our dialectical defense of assuming indeterminism in the first place. 22 BST also allows one to tackle space-like probabilistic correlations. See, e.g., [22] and [16]. To repeat, we stick with modal correlations for simplicity's sake. 23 We simplify a little here: In Definition 6, the exclusion of minima and maxima is for convenience's sake only. There is also a further condition that needs to be added to allow for the introduction of spatiotemporal locations across histories, Weiner's postulate. We omit it here to keep matters simple. See [22] for discussion. As in the case of BT, undividedness-at-e is an equivalence relation on H e ; the respective partition of the set of histories H e is written e . The definition of a basic transition also carries over from BT; such a transition is of the form Basic indeterministic transitions, for which e = {H e }, are the irreducible elements of indeterminism in a BST structure. In our discussion of BT, we defined a notion of the indeterministic past of a moment m, via the set of transitions in that moment's past, TR(m). In BST, there are two corresponding notions. First, generally, given an event e, there is the set of cause-like loci for the occurrence of e. These are initials of transitions that make a difference as to the occurrence of e, i.e., at these events, all histories containing e split off from some history not containing e. One can therefore consider a narrower class of events making a difference to the occurrence of e, namely, those cause-like loci that lie in the past of e. Definition 9 (Past cause-like locus) Event c is a past cause-like locus for e, c ∈ pcl(e), iff c ∈ cll(e) and c < e.
Barring certain infinite set-ups, which will not play a role in this paper, modal correlations are present in a BST structure iff for some event e, there is a cause-like locus that does not lie in e's past, i.e., iff we have cll(e) = pcl(e) for some e. 24 For a cause-like locus c ∈ pcl(e) that lies in the past of an event e, its contribution to enabling the occurrence of e is easy to describe: one can prove that if c < e, there is exactly one basic outcome H ∈ c that is compatible with e, and indeed, we then have H e ⊆ H . In the presence of modal correlations, however, more than one basic outcome of a cause-like locus c ∈ cll(e) may be compatible with the event e, and so there will be no unique basic transition from c to one of c's immediate basic outcomes that can be singled out via e. Still, there is a usefull general definition that covers both cases: Definition 10 (Enabling outcome; enabling transition) Given some event e and some c ∈ cll(e), we define the e-enabling outcome of c, written c e , to be The e-enabling transition from c is c c e .
In case c < e, as we have just remarked, c e ∈ c , so that the enabling transition c c e is a basic indeterministic transition. If c < e, on the other hand, that transition may be non-basic. Still, it is generally the case that H e ⊆ c e for any c ∈ cll(e). Therefore, even a non-basic transition c c e properly fulfills the role of enabling the occurrence of the event e. Generally, the cause-like loci of an event e allow us to define the set of those indeterministic (basic and perhaps also non-basic) transitions that together enable the occurrence of e, the event's causae causantes (see [8]): Definition 11 (Causae causantes) The causae causantes (originating indeterministic causes) of an event e are those transitions from cause-like loci of e that enable the occurrence of e in the sense of Definition 10: The causae causantes are the BST generalization of the enabling transitions of a moment, TR(m), that were defined in Sect. 2.2 in the context of BT.

Defining an Extended Dynamic Present in BST
In our discussion of BT we found that we could define a sensible notion of the extended dynamic present among the set of moments in two equivalent ways, either via sameness of the indeterministic past of the moments, or via sameness of the set of histories in which the moments occur. Given the resources of BST, we can show that the same two approaches are available, and that they also characterize the same equivalence relation on the set of events, even in the presence of modal correlations. Based on modal correlations, we can provide BST structures in which the dynamic present extends arbitrarily far.
Our official definition of co-presentness is in terms of the indeterministic enabling conditions expressed via an event's causae causantes.
Being based on an equality, the relation ∼ is clearly an equivalence relation on W . It is well-defined no matter whether there are modal correlations or not, by the generality of Definition 11.
In BT we could show that there is an alternative way of characterizing ∼ in terms of sameness of histories. An analogue of Fact 2 holds in BST as well: To establish (*), note first that the "⊆" direction follows directly from Fact 3. For "⊇", take some h / ∈ H e and some h ∈ H e . As e ∈ h \ h, by the prior choice principle there is some c * < e for which h ⊥ c * h , and as c * < e, in fact h ⊥ c * H e , so that c * ∈ cll(e), and c * e ∈ c * is a basic outcome of c * . As e ∈ h , we have c * e = c * h , and as h ⊥ c * h , we have h / ∈ c * e . Thus, a fortiori, h / ∈ c∈cll(e) c e . This is a welcome result: even though BST allows for modal correlations, there are still two differently motivated definitions of co-presentness that characterize the same relation. 25 A typical shape of a region of co-presentness in the absence of modal correlations is shown in Fig. 5.
Modal correlations allow for more extended regions of co-presentness. A pertinent example is shown in Fig. 6. The generalization to larger sets of correlated choice points is suggestive: if many space-like related, modally correlated choice points exist, a region of co-present events can extend arbitrarily far. In BST, any history h ∈ Hist is a space-time. The restriction of ∼ to h is also an equivalence relation. That equivalence relation is (barring the deterministic onehistory case) neither the identity nor the universal relation. 26 We can sum up this result as a Theorem that shows that we have indeed reached our goal: we have defined a non-frame-dependent, non-trivial equivalence relation of co-presentness on relativistic space-times, based on spatio-temporal indeterminism.
For full precision, let us call a BST structure featureless if either (i) it contains just a single history (i.e., no indeterminism), or (ii) it has at least one history consisting wholly of choice points and in which there are no modal correlations. Our Theorem then reads as follows: Theorem 1 Let W , < be a BST structure that is not featureless. Then for any history h ∈ Hist(W ), the relation of co-presentness ∼ restricted to h, ∼ |h , is a non-trivial equivalence relation on h, i.e., neither the identity nor the universal relation on h, defined wholly in terms of the relativistically sound basic notions of BST.

Conclusion
In this paper we have tried a novel approach to defining an ontologically fundamental notion of co-presentness that does not go against the tenets of relativity theory. Such a notion could be used by presentists to strengthen their case that the doctrine of the present as the real (and the past and the possible future as unreal) does not go against modern physics. We have not worked out a full theory of presentism here. Rather, our investigation has focused on providing relativistically tenable formal foundations for presentism, culminating in Theorem 1, which states that given the resources of branching space-times, it is possible to define a non-trivial equivalence relation of co-presentness on relativistic space-time structures.
After a survey of possible reactions to the problem of the present in relativity theory, we made a terminological distinction between a static role of the present, which is served by the relation of simultaneity, and a dynamic role of the present, with the corresponding relation of co-presentness. Both of these relations need to be equivalence relations, but they need not coincide. We argued that simultaneity, the sharing of a temporal coordinate, does not by itself have any fundamental ontological import, so that a relativizing strategy with respect to simultaneity seems promising. Such a strategy is well served by remarking that each observer provides their own reference frame, which is enough to guarantee successful communication in a relativistic world, even if the observers talk about the simultaneity of distant events. The notion of copresentness, on the other hand, does have ontological import, and can therefore not be relativized to an observer or to any other arbitrarily chosen frame. Formal results about the definability of equivalence relations on Minkowski space-time imply that additional structure is needed to anchor a non-trivial relation of co-presentness.
We argued that a formal representation of indeterminism can provide the needed additional structure, and that this addition is in fact congenial to the notion of dynamic time as requiring real (indeterministic) change. The resulting picture is one of an extended dynamic present, implying a formal distinction between static (coordinate) simultaneity and dynamic co-presentness. After working out the basics of our approach in the simpler framework of branching time, we provided our full analysis in the framework of branching space-times (BST).
Given that BST allows for modal correlations, the spatial extension of the dynamic present can reach as far as the modal correlations do. In the limit, the dynamic present could extend across a maximal space-like hypersurface.
Our analysis makes no predictions about the actual spatio-temporal extension of the dynamic present, but it characterizes an interface at which empirical results about space-like correlations could be used to provide a verdict about the size of the Now. In our view, such a division of labor is a welcome result of the clarification of the formal basis of an extended dynamic present.