Mathematical logic hierarchies