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:
“The truth is, as every one knows, that the great artists of the world are never Puritans, and seldom even ordinarily respectable. No virtuous man—that is, virtuous in the Y.M.C.A. sense—has ever painted a picture worth looking at, or written a symphony worth hearing, or a book worth reading, and it is highly improbable that the thing has ever been done by a virtuous woman.”
—H.L. (Henry Lewis)
“The spiral is a spiritualized circle. In the spiral form, the circle, uncoiled, unwound, has ceased to be vicious; it has been set free.”
—Vladimir Nabokov (1899–1977)
“O! O! another stroke! that makes the third.
He stabs me to the heart against my wish.
If that be so, thy state of health is poor;
But thine arithmetic is quite correct.”
—A.E. (Alfred Edward)