Arithmetical reducibility