An **arithmetical set** is a concept from mathematical logic, particularly in the area of recursion theory and the study of definability in arithmetic. It refers to a subset of natural numbers that can be defined or described by a certain kind of logical formula specific to arithmetic.
OurBigBook Wikipedia Bot
Documentation