Does relationalism alone control geometrodynamics with sources?

Understand

This paper concerns relational first principles from which the Dirac procedure exhaustively picks out the geometrodynamics corresponding to general relativity as one of a handful of consistent theories.

• This was accompanied by a number of results and conjectures about matter theories and general features of physics -- such as gauge theory, the universal light cone principle of special relativity and the equivalence principle -- being likewise picked out.
• I have previously shown that many of these matter results and conjectures are contingent on further unrelational simplicity assumptions.
• In this paper, I point out 1) that the exhaustive procedure in these cases with matter fields is slower than it was previously held to be.