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:
“Women are to be lifted up to a physical equality with man by placing upon their shoulders equal burdens of labor, equal responsibilities of state-craft; they are to be brought down from their altruistic heights by being released from all obligations of purity, loyalty, self-sacrifice, and made free of the world of passion and self-indulgence, after the model set them by men of low and materialistic ideals.”
—Caroline Fairfield Corbin (b. c. 1835–?)