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:
“Science seems to me to teach in the highest and strongest manner the great truth which is embodied in the
Christian conception of entire surrender to the will of God. Sit down before fact as a little child, be prepared to give up every preconceived notion, follow humbly wherever and to whatever abysses nature leads, or you shall learn nothing.”
—Thomas Henry Huxley (1825–95)
“What is love itself,
Even though it be the lightest of light love,
But dreams that hurry from beyond the world
To make low laughter more than meat and drink,
Though it but set us sighing?”
—William Butler Yeats (1865–1939)
“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)