arithmetic hierarchy