Do these mean the same?
For theories at the level of reverse-order arithmetic , the second mathematics program has much to say .
For theories at the level of second-order arithmetic , the program for reverse mathematics has much to say .

OPTIONS:
[-] no.
[-] yes.
no