User blog comment:Deedlit11/Ordinal Notations III: Collapsing Higher Cardinalities/@comment-1605058-20130702110055

What is the definition of Pi11-TR0 system? I mean, what does TR mean here?