arithmetical reducibility