arithmetic hierarchies