Bibliographical noteFunding Information:
I wish to thank audiences of the FSB seminar in Bristol and of the Axiomatizing Metatheory Workshop in Salzburg for their remarks, in particular I thank Catrin Campbell-Moore, Volker Halbach, and Carlo Nicolai. I thank two anonymous referees for their pertinent and helpful comments. I am particularly grateful to Leon Horsten and Johannes Stern for discussing with me the ideas of this paper on several occasions, and for their detailed and valuable suggestions. This work has been supported by the AHRC South, West and Wales Doctoral Training Partnership (SWW DTP), Grant No. AH/L503939/1-DTP1.
© 2021, The Author(s).