information about Second-order arithmetic field