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:
“All that stock of arguments [the skeptics] produce to depreciate our faculties, and make mankind appear ignorant and low, are drawn principally from this head, to wit, that we are under an invincible blindness as to the true and real nature of things.”
—George Berkeley (1685–1753)
“A theory if you hold it hard enough
And long enough gets rated as a creed....”
—Robert Frost (1874–1963)
“I hope I may claim in the present work to have made it probable that the laws of arithmetic are analytic judgments and consequently a priori. Arithmetic thus becomes simply a development of logic, and every proposition of arithmetic a law of logic, albeit a derivative one. To apply arithmetic in the physical sciences is to bring logic to bear on observed facts; calculation becomes deduction.”
—Gottlob Frege (1848–1925)