Rsuv Isomorphisms
Gaisi Takeuti · 1993
Abstract where by Con(S) we mean “the consistenc.r of S” and by BDCon(S) we mean the statement “there are no bounded proof to a contradiction”. (A proof P is bounded if no unbounded first order quantifiers occur in P.)