Primitive recursive selection functions for existential assertions over abstract algebras