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:
“With those who wish to think amiss of me, I have learnt to be perfectly indifferent: but where I know a mind to be ingenuous, and to need only truth to set it to rights, I cannot be as passive.”
—Thomas Jefferson (1743–1826)
“They set up a noise like crickets,
A chattering wise and sweet,
And her hair was a folded flower
And the quiet of love in her feet.”
—William Butler Yeats (1865–1939)
“‘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)