User talk:Vel!/Prime blocks

This is different from how I defined prime blocks - in my version successor ordinals had the empty set as a prime block, so for example P(omega*2) = union_{n < p} {omega + n}, it did not include {n | n < p}. But your version should work just fine. Deedlit11 (talk) 02:43, March 13, 2013 (UTC)