@Martin Sleziak: Thank you for fixing the dead link! Much appreciated.

@TimothyChow: Having time to reflect on your comment, I heartily concur. Thanks.

@C7X: agreed. Will text you later on chat.

@AndreasBlass: And soundness of $PRA$ is that the axioms of $PRA$ are assumed to be true and that the rules of inference preserve truth, correct?

(cont.)/? contacted me last night regarding the alternate view and I asked my question to get clarification regarding that.

@AndreasBlass: True, but can $PRA's$ soundness be proven in (say) $PRA$?

@AndreasBlass: That very well might be ( and probably is) true, but C7X (I think) believes otherwise and he/she

* $PRA$ + $TI$($\epsilon_{0}$) is consistent?

@C7X: I see your point (I think). Is it essentially that ordinal analysis of necessity seems to need to presuppose the consistency of $PRA$ + TI($\omega_{1}^{CK}$) (or worse) in order to claim that $PRA$+$TI$$($\epsilon_{0}$)$ is consistent?