Arithmetical reducibility

Summary