Two Options for the Branching of Histories

Nuel Belnap,Thomas MÜller,Tomasz Placek
DOI: https://doi.org/10.1093/oso/9780190884314.003.0003
2021-12-16
Abstract:The chapter discusses how the histories in a common BST structure are related. By the axioms of the core theory of BST, any two histories share some past, but there are different ways to implement this. These are distinguished by the so-called prior choice principles, which make specific demands on the way in which histories branch. On one option (which yields structures of BST 92 ), histories branch, or remain undivided, at points, which means that there is a maximal element in the overlap of any two histories. The other option (which yields BST NF structures) prohibits the existence of such maximal elements and works with so-called choice sets. The chapter discusses the pattern of branching in the two theories, BST 92 and BST NF , also with respect to topology. As it turns out, the two theories are are intertranslatable. The chapter ends with a sketch of these translatability results.
What problem does this paper attempt to address?