User blog comment:Boboris02/Second Order Arithmetic Subsystems in Terms of Taranovsky's C/@comment-35018170-20180319160757

what happen to first order and third order "arithmetic subsystems"?