In mathematical logic, an arithmetical set (or arithmetic set) is a set of natural numbers that can be defined by a formula of first-order Peano arithmetic. The arithmetical sets are classified by the arithmetical hierarchy.
The definition can be extended to an arbitrary countable set A (e.g. the set of n-tuples of integers, the set of rational numbers, the set of formulas in some formal language, etc.) by using Gödel numbers to represent elements of the set and declaring a subset of A to be arithmetical if the set of corresponding Gödel numbers is arithmetical.
A function is called arithmetically definable if the graph of is an arithmetical set.
A real number is called arithmetical if the set of all smaller rational numbers is arithmetical. A complex number is called arithmetical if its real and imaginary parts are both arithmetical.
Read more about Arithmetical Set: Formal Definition, Examples, Properties, Implicitly Arithmetical Sets
Famous quotes containing the word set:
“Was it an intellectual consequence of this ‘rebirth,’ of this new dignity and rigor, that, at about the same time, his sense of beauty was observed to undergo an almost excessive resurgence, that his style took on the noble purity, simplicity and symmetry that were to set upon all his subsequent works that so evident and evidently intentional stamp of the classical master.”
—Thomas Mann (1875–1955)