Template:Pi11

\(\Pi_1^1\)-\(\text{CA}_0\)+\(\text{BI}\)

Shortcut for writing Pi11-CA0+BI, a subsystem of second-order arithmetic. Its strength is marked by TFB.