I've been wondering this for a while, and since someone else just asked me, I though I'd ask here. Does anyone know the origin of the notation \Sigma_i and \Pi_i for the different levels of the arithmetic hierarchy? Thanks Brian Postow