True Theory of Second-order Arithmetic
The true theory of second-order arithmetic consists of all the sentences in the language of second-order arithmetic that are satisfied by the standard model of second-order arithmetic, whose first-order part is the structure and whose second-order part consists of every subset of .
The true theory of first-order arithmetic, Th, is a subset of the true theory of second order arithmetic, and Th is definable in second-order arithmetic. However, the generalization of Post's theorem to the analytical hierarchy shows that the true theory of second-order arithmetic is not definable by any single formula in second-order arithmetic.
Simpson (1977) has shown that the true theory of second-order arithmetic is computably interpretable with the theory of the partial order of all Turing degrees, in the signature of partial orders, and vice versa.
Read more about this topic: True Arithmetic
Famous quotes containing the words true, theory and/or arithmetic:
“There have been others also just as true and devoted to the cause—I wish I could name every one—but with such women consecrating their lives, failure is impossible!”
—Susan B. Anthony (1820–1906)
“A theory if you hold it hard enough
And long enough gets rated as a creed....”
—Robert Frost (1874–1963)
“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)