Example: The Truth Set of Arithmetic
Every arithmetical set is hyperarithmetical, but there are many other hyperarithmetical sets. One example of a hyperarithmetical, nonarithmetical set is the set T of Gödel numbers of formulas of Peano arithmetic that are true in the standard natural numbers . The set T is Turing equivalent to the set, and so is not high in the hyperarithmetical hierarchy, although it is not arithmetically definable by Tarski's indefinability theorem.
Read more about this topic: Hyperarithmetical Theory
Famous quotes containing the words truth, set and/or arithmetic:
“We often think ourselves inconsistent creatures, when we are the furthest from it, and all the variety of shapes and contradictory appearances we put on, are in truth but so many different attempts to gratify the same governing appetite.”
—Laurence Sterne (1713–1768)
“We find it easy to set limits when the issue is safety.... But 99 percent of the time there isn’t imminent danger; most of life takes place on more ambiguous ground, and children are experts at detecting ambivalence.”
—Cathy Rindner Tempelsman (20th century)
“‘Tis no extravagant arithmetic to say, that for every ten jokes,—thou hast got an hundred enemies; and till thou hast gone on, and raised a swarm of wasps about thine ears, and art half stung to death by them, thou wilt never be convinced it is so.”
—Laurence Sterne (1713–1768)