User blog comment:Vel!/Second-order arithmetic/@comment-39162-20170404112859/@comment-1605058-20170404163210

Reverse mathematics of third-order arithmetic or higher has not been analysed very much, in part because it lacks really natural subsystems to study. If you are interested, this article contains some results, but there doesn't seem to be much about it out there.