Hilbert Proof System Instance 2 Independence Results

Theorem
Let $\mathscr H_2$ be Instance 2 of the Hilbert proof systems.

Then the following independence results hold: