Arithmetical set

ID: arithmetical-set

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.

New to topics? Read the docs here!